Andrei Voronkov

Cited by

	All	Since 2020
Citations	9118	2246
h-index	43	21
i10-index	125	43

460

230

115

345

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202554 115 97 134 100 105 191 160 216 195 280 283 261 308 302 321 290 339 380 366 436 417 443 423 457 417 459 436 439 425 69

Public access

View all

38 articles

1 article

available

not available

Based on funding mandates

Co-authors

Laura KovacsTU Wien, Vienna, AustriaVerified email at tuwien.ac.at
Alexandre RiazanovSoftware Development Engineer, Amazon Web ServicesVerified email at ipsnp.com
Konstantin KorovinThe University of Manchester, Depratement of Computer ScienceVerified email at manchester.ac.uk
Giles RegerAmazon (formerly University of Manchester, UK)Verified email at manchester.ac.uk
Krystof HoderGoogleVerified email at google.com
Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Evgeny DantsinProfessor of Computer Science, Roosevelt UniversityVerified email at roosevelt.edu
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaVerified email at cs.upc.edu
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Petra HozzováVienna University of TechnologyVerified email at tuwien.ac.at
Georg GottlobProfessor of Informatics, University of CalabriaVerified email at unical.it
Márton HajduPhD student, TU WienVerified email at tuwien.ac.at
Yuri GurevichProfessor of Computer Science and EngineeringVerified email at umich.edu
Juan Antonio Navarro PérezGoogleVerified email at google.com
Evgenii KotelnikovChalmers University of TechnologyVerified email at chalmers.se
Zurab KhasidashviliIntel CorporationVerified email at intel.com
R. SekarProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
IV RamakrishnanProfessor of Computer Science, Assoc. Dean of Research, College of Engr. & Applied SciencesVerified email at cs.stonybrook.edu
Alex ConstantinEcole Polytechnique Fédérale de LausanneVerified email at epfl.ch

Andrei Voronkov

The University of Manchester; EasyChair

Verified email at cs.man.ac.uk - Homepage

Automated Reasoning Web Services


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Complexity and expressive power of logic programming E Dantsin, T Eiter, G Gottlob, A Voronkov ACM Computing Surveys (CSUR) 33 (3), 374-425, 2001	1010	2001
Handbook of automated reasoning AJA Robinson, A Voronkov Elsevier Science, 2001	877	2001
First-Order Theorem Proving and Vampire L Kovács, A Voronkov International Conference on Computer Aided Verification, 1-35, 2013	778	2013
The design and implementation of VAMPIRE A Riazanov, A Voronkov AI communications 15 (2-3), 91-110, 2002	673	2002
Path feasibility analysis for string-manipulating programs N Bjørner, N Tillmann, A Voronkov International Conference on Tools and Algorithms for the Construction and …, 2009	240	2009
Finding loop invariants for programs over arrays using a theorem prover L Kovács, A Voronkov International Conference on Fundamental Approaches to Software Engineering …, 2009	213	2009
Sine qua non for large theory reasoning K Hoder, A Voronkov International Conference on Automated Deduction, 299-314, 2011	198	2011
Term indexing R Sekar, IV Ramakrishnan, A Voronkov Handbook of automated reasoning, 1853-1964, 2001	196*	2001
PDFX: fully-automated PDF-to-XML conversion of scientific literature A Constantin, S Pettifer, A Voronkov Proceedings of the 2013 ACM symposium on Document engineering, 177-180, 2013	171	2013
AVATAR: the architecture for first-order theorem provers A Voronkov Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	167	2014
Vampire 1.1 A Riazanov, A Voronkov Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001	155	2001
The anatomy of Vampire: Implementing bottom-up procedures with code trees A Voronkov Journal of automated reasoning 15, 237-265, 1995	147	1995
Complexity and expressive power of logic programming E Dantsin, T Eiter, G Gottlob, A Voronkov Proceedings of Computational Complexity. Twelfth Annual IEEE Conference, 82-101, 1997	144	1997
Splitting without backtracking A Riazanov, A Voronkov Proceedings of the 17th international joint conference on Artificial …, 2001	114	2001
Limited resource strategy in resolution theorem proving A Riazanov, A Voronkov Journal of Symbolic Computation 36 (1-2), 101-115, 2003	103	2003
Vampire A Riazanov, A Voronkov Lecture notes in computer science 1632, 0292-0292, 1999	101	1999
Interpolation and symbol elimination L Kovács, A Voronkov International Conference on Automated Deduction, 199-213, 2009	94	2009
The Inverse Method. A Degtyarev, A Voronkov Handbook of Automated Reasoning 1, 179-272, 2001	82	2001
Equality reasoning in sequent-based calculi A Degtyarev, A Voronkov Max-Planck-Institut für Informatik, 1998	80	1998
The undecidability of simultaneous rigid E-unification A Degtyarev, A Voronkov Theoretical Computer Science 166 (1-2), 291-300, 1996	74	1996

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors