A. Paskevich
Artificial Intelligence · 2011–2013
A researcher in the Science corpus: 2 papers; trusts 5 researchers and is trusted by 3 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 10 citations into it; #24,701 of 35,345 by trust here, #26,682 by citations
- Computational Theory and Mathematics — 6 citations into it; #8,461 of 12,182 by trust here, #7,501 by citations
- Software — 5 citations into it
Whom A. Paskevich trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts A. Paskevich overall
Papers from A. Paskevich's perspective
Ordered by how strongly the researchers A. Paskevich trusts endorse each paper. Same corpus, a different order for every researcher.
- The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
- An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
- The SMT-LIB Standard Version 2.0
- ESC/Java2: Uniting ESC/Java and JML (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
- Dafny: An Automatic Program Verifier for Functional Correctness (Logic Programming and Automated Reasoning)
- Boogie: A Modular Reusable Verifier for Object-Oriented Programs (Formal Methods for Components and Objects)
- Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
- seL4: Formal Verification of an OS Kernel
- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification (International Conference on Computer Aided Verification)
- Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)
Their papers
- Why3 - Where Programs Meet Provers (2013) — 635 citations
- Why3: Shepherd Your Herd of Provers (2011) — 312 citations