Andrei Voronkov

Cited by

	All	Since 2019
Citations	8897	2508
h-index	42	22
i10-index	124	48

460

230

115

345

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202455 127 97 137 100 106 191 139 215 199 278 285 263 304 299 321 287 332 373 359 428 412 438 434 446 406 454 439 420 342

Public access

View all

41 articles

0 articles

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 KorovinUniversity of Manchester, School of Computer ScienceVerified email at manchester.ac.uk
Giles RegerAmazon and University of ManchesterVerified 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
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaVerified email at cs.upc.edu
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
Geoff SutcliffeDepartment of Computer Science, University of MiamiVerified email at cs.miami.edu

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	977	2001
Handbook of automated reasoning AJA Robinson, A Voronkov Elsevier Science, 2001	854	2001
First-Order Theorem Proving and Vampire L Kovács, A Voronkov International Conference on Computer Aided Verification, 1-35, 2013	732	2013
The design and implementation of VAMPIRE A Riazanov, A Voronkov AI communications 15 (2-3), 91-110, 2002	661	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	235	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	210	2009
Term indexing R Sekar, IV Ramakrishnan, A Voronkov Handbook of automated reasoning, 1853-1964, 2001	195*	2001
Sine qua non for large theory reasoning K Hoder, A Voronkov International Conference on Automated Deduction, 299-314, 2011	193	2011
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	168	2013
AVATAR: the architecture for first-order theorem provers A Voronkov Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	159	2014
Vampire 1.1 A Riazanov, A Voronkov Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001	156	2001
The anatomy of Vampire: Implementing bottom-up procedures with code trees A Voronkov Journal of automated reasoning 15, 237-265, 1995	143	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	140	1997
Splitting without backtracking A Riazanov, A Voronkov IJCAI 1, 611-617, 2001	110	2001
Limited resource strategy in resolution theorem proving A Riazanov, A Voronkov Journal of Symbolic Computation 36 (1-2), 101-115, 2003	98	2003
Vampire A Riazanov, A Voronkov Lecture notes in computer science 1632, 0292-0292, 1999	97	1999
Interpolation and symbol elimination L Kovács, A Voronkov International Conference on Automated Deduction, 199-213, 2009	92	2009
The inverse method A Degtyarev, A Voronkov Handbook of Automated Reasoning, 179-272, 2001	81	2001
Equality reasoning in sequent-based calculi A Degtyarev, A Voronkov Max-Planck-Institut für Informatik, 1998	81	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