Andrei Voronkov Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

University of Manchester, UK

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
i12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiles Reger, Martin Suda, Andrei Voronkov: Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version). CoRR abs/1704.03391 (2017)
c128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Kovács, Simon Robillard, Andrei Voronkov: Coming to terms with quantified reasoning. POPL 2017: 260-270
e43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Kovács, Andrei Voronkov: Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. EPiC Series in Computing 44, EasyChair 2017
2016
i11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiles Reger, Martin Suda, Andrei Voronkov: Finding Finite Models in Multi-Sorted First Order Logic. CoRR abs/1604.08040 (2016)
i10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiles Reger, Martin Suda, Andrei Voronkov, Krystof Hoder: Selecting the Selection. CoRR abs/1604.08055 (2016)
i9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Kovács, Simon Robillard, Andrei Voronkov: Coming to Terms with Quantified Reasoning. CoRR abs/1611.02908 (2016)
c127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov: Selecting the Selection. IJCAR 2016: 313-329
c126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov: The vampire and the FOOL. CPP 2016: 37-48
c125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiles Reger, Martin Suda, Andrei Voronkov: New Techniques in Clausal Form Generation. GCAI 2016: 11-23
c124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiles Reger, Nikolaj Bjørner, Martin Suda, Andrei Voronkov: AVATAR Modulo Theories. GCAI 2016: 39-52
c123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgenii Kotelnikov, Laura Kovács, Martin Suda, Andrei Voronkov: A Clausal Normal Form Translation for FOOL. GCAI 2016: 53-71
c122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiles Reger, Martin Suda, Andrei Voronkov: Finding Finite Models in Multi-sorted First-Order Logic. SAT 2016: 323-341
e42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Kovács, Andrei Voronkov: Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany, August 2, 2015 .EPiC Series in Computing 38, EasyChair 2016
e41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Mazzara, Andrei Voronkov: Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers .Lecture Notes in Computer Science 9609, Springer 2016, ISBN 978-3-319-41578-9
2015
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgenii Kotelnikov, Laura Kovács, Andrei Voronkov: A First Class Boolean Sort in First-Order Theorem Proving and TPTP. CoRR abs/1505.01682 (2015)
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov: The Vampire and the FOOL. CoRR abs/1510.04821 (2015)
c121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiles Reger, Dmitry Tishkovsky, Andrei Voronkov: Cooperating Proof Attempts. CADE 2015: 339-355
c120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiles Reger, Martin Suda, Andrei Voronkov: Playing with AVATAR. CADE 2015: 399-415
c119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgenii Kotelnikov, Laura Kovács, Andrei Voronkov: A First Class Boolean Sort in First-Order Theorem Proving and TPTP. CICM 2015: 71-86
e40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov, Irina Virbitskaite: Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers .Lecture Notes in Computer Science 8974, Springer 2015, ISBN 978-3-662-46822-7
e39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Gottlob, Geoff Sutcliffe, Andrei Voronkov: Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015 .EPiC Series in Computing 36, EasyChair 2015
e38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnsgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov: 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. EPiC Series in Computing 35, EasyChair 2015
e37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings .Lecture Notes in Computer Science 9450, Springer 2015, ISBN 978-3-662-48898-0
2014
c118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov: Extensional Crisis and Proving Identity. ATVA 2014: 185-200
c117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov: SAT solving experiments in Vampire. Vampire Workshop 2014: 29-32
c116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiles Reger, Martin Suda, Andrei Voronkov: The Challenges of Evaluating a New Feature in Vampire. Vampire Workshop 2014: 70-74
c115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: AVATAR: The Architecture for First-Order Theorem Provers. CAV 2014: 696-710
c114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Keynote talk: EasyChair. ASE 2014: 3-4
c113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov: Experimenting with SAT Solvers in Vampire. MICAI (1) 2014: 431-442
e36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov, Margarita V. Korovina: HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday .EasyChair 2014
e35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrina Virbitskaite, Andrei Voronkov: PSI 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. Petersburg, Russia, Poster Presentations .EPiC Series in Computing 23, EasyChair 2014
e34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth L. McMillan, Aart Middeldorp, Geoff Sutcliffe, Andrei Voronkov: LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings .EPiC Series in Computing 26, EasyChair 2014
e33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTemur Kutsia, Andrei Voronkov: 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014 .EPiC Series in Computing 30, EasyChair 2014
2013
c112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm: Harald Ganzinger's Legacy: Contributions to Logics and Programming. Programming Logics 2013: 1-18
c111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Antonio Navarro Pérez, Andrei Voronkov: Planning with Effectively Propositional Logic. Programming Logics 2013: 302-316
c110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrystof Hoder, Andrei Voronkov: The 481 Ways to Split a Clause and Deal with Propositional Variables. CADE 2013: 450-464
c109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Kovács, Andrei Voronkov: First-Order Theorem Proving and Vampire. CAV 2013: 1-35
c108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Constantin, Steve Pettifer, Andrei Voronkov: PDFX: fully-automated PDF-to-XML conversion of scientific literature. ACM Symposium on Document Engineering 2013: 177-180
c107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Kovács, Andrei Mantsivoda, Andrei Voronkov: The Inverse Method for Many-Valued Logics. MICAI (1) 2013: 12-23
c106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoan Dragan, Konstantin Korovin, Laura Kovács, Andrei Voronkov: Bound Propagation for Arithmetic Reasoning in Vampire. SYNASC 2013: 169-176
e32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov, Christoph Weidenbach: Programming Logics - Essays in Memory of Harald Ganzinger .Lecture Notes in Computer Science 7797, Springer 2013, ISBN 978-3-642-37650-4
e31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov, Geoff Sutcliffe, Matthias Baaz, Christian G. Fermüller: Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010 .EPiC Series in Computing 13, EasyChair 2013
e30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth L. McMillan, Aart Middeldorp, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings .Lecture Notes in Computer Science 8312, Springer 2013, ISBN 978-3-642-45220-8
2012
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuto Sakuma, Yasuhiko Minamide, Andrei Voronkov: Translating regular expression matching into transducers. J. Applied Logic 10(1): 32-51 (2012)
c105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov: Vinter: A Vampire-Based Tool for Interpolation. APLAS 2012: 148-156
c104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel, Andrei Voronkov: EPR-Based Bounded Model Checking at Word Level. IJCAR 2012: 210-224
c103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov: Preprocessing techniques for first-order clausification. FMCAD 2012: 44-51
c102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrystof Hoder, Laura Kovács, Andrei Voronkov: Playing in the grey area of proofs. POPL 2012: 259-272
e29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012 .EPiC Series in Computing 10, EasyChair 2012
e28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov, Laura Kovács, Nikolaj Bjørner: Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010 .EPiC Series in Computing 1, EasyChair 2012
e27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund M. Clarke, Irina Virbitskaite, Andrei Voronkov: Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers .Lecture Notes in Computer Science 7162, Springer 2012, ISBN 978-3-642-29708-3
e26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikolaj Bjørner, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings .Lecture Notes in Computer Science 7180, Springer 2012, ISBN 978-3-642-28716-9
e25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012 .IEEE Computer Society 2012, ISBN 978-1-4673-5026-6
2011
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov: Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). Dagstuhl Reports 1(7): 23-35 (2011)
c101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrystof Hoder, Andrei Voronkov: Sine Qua Non for Large Theory Reasoning. CADE 2011: 299-314
c100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: Solving Systems of Linear Inequalities by Bound Propagation. CADE 2011: 369-383
c99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Kovács, Georg Moser, Andrei Voronkov: On Transfinite Knuth-Bendix Orders. CADE 2011: 384-399
c98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: GoRRiLA and Hard Reality. Ershov Memorial Conference 2011: 243-250
c97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov: Implementing Conflict Resolution. Ershov Memorial Conference 2011: 362-376
c96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrystof Hoder, Laura Kovács, Andrei Voronkov: Case Studies on Invariant Generation Using a Saturation Theorem Prover. MICAI (1) 2011: 1-15
c95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrystof Hoder, Laura Kovács, Andrei Voronkov: Invariant Generation in Vampire. TACAS 2011: 60-64
2010
c94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrystof Hoder, Laura Kovács, Andrei Voronkov: Interpolation and Symbol Elimination in Vampire. IJCAR 2010: 188-195
c93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov: Encoding industrial hardware verification problems into effectively propositional logic. FMCAD 2010: 137-144
c92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban, Krystof Hoder, Andrei Voronkov: Evaluation of Automated Theorem Proving on the Mizar Mathematical Library. ICMS 2010: 155-166
c91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYasuhiko Minamide, Yuto Sakuma, Andrei Voronkov: Translating Regular Expression Matching into Transducers. SYNASC 2010: 107-115
c90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov: Invariant and Type Inference for Matrices. VMCAI 2010: 163-179
c89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: EasyChair. WWV 2010: 2
e24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov: Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010 .Dagstuhl Seminar Proceedings 10161, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010
e23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir Pnueli, Irina Virbitskaite, Andrei Voronkov: Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers .Lecture Notes in Computer Science 5947, Springer 2010, ISBN 978-3-642-11485-4
e22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund M. Clarke, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers .Lecture Notes in Computer Science 6355, Springer 2010, ISBN 978-3-642-17510-7
e21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian G. Fermüller, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings .Lecture Notes in Computer Science 6397, Springer 2010, ISBN 978-3-642-16241-1
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov: 10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware. Decision Procedures in Software, Hardware and Bioware 2010
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov: 10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware. Decision Procedures in Software, Hardware and Bioware 2010
2009
c88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Kovács, Andrei Voronkov: Interpolation and Symbol Elimination. CADE 2009: 199-213
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov: Conflict Resolution. CP 2009: 509-523
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Kovács, Andrei Voronkov: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. FASE 2009: 470-485
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZurab Khasidashvili, Mahmoud Kinanah, Andrei Voronkov: Verifying equivalence of memories using a first order logic theorem prover. FMCAD 2009: 128-135
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrystof Hoder, Andrei Voronkov: Comparing Unification Algorithms in First-Order Theorem Proving. KI 2009: 435-443
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov, Iman Narasamdya: Inter-program Properties. SAS 2009: 343-359
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Kovács, Andrei Voronkov: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. SYNASC 2009: 10
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Satisfiability and Theories. SYNASC 2009: 16
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov: Path Feasibility Analysis for String-Manipulating Programs. TACAS 2009: 307-321
2008
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Antonio Navarro Pérez, Andrei Voronkov: Proof Systems for Effectively Propositional Logic. IJCAR 2008: 426-440
e20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIliano Cervesato, Helmut Veith, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings .Lecture Notes in Computer Science 5330, Springer 2008, ISBN 978-3-540-89438-4
e19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings .Lecture Notes in Computer Science 5117, Springer 2008, ISBN 978-3-540-70588-8
2007
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Antonio Navarro Pérez, Andrei Voronkov: Encodings of Bounded LTL Model Checking in Effectively Propositional Logic. CADE 2007: 346-361
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: Integrating Linear Arithmetic into Superposition Calculus. CSL 2007: 223-237
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Antonio Navarro Pérez, Andrei Voronkov: Encodings of Problems in Effectively Propositional Logic. SAT 2007: 3
e18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Diekert, Mikhail V. Volkov, Andrei Voronkov: Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings .Lecture Notes in Computer Science 4649, Springer 2007, ISBN 978-3-540-74509-9
e17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrina Virbitskaite, Andrei Voronkov: Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers .Lecture Notes in Computer Science 4378, Springer 2007, ISBN 978-3-540-70880-3
e16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings .Lecture Notes in Computer Science 4790, Springer 2007, ISBN 978-3-540-75558-6
2006
c75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammed K. Jaber, Andrei Voronkov: Implementation of UNIDOOR, a Deductive Object-Oriented Database System. ADBIS 2006: 155-170
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Andrei Voronkov: Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. FoIKS 2006: 201-218
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammed K. Jaber, Andrei Voronkov: UNIDOOR: a Deductive Object-Oriented Database Management System. ICDE 2006: 157
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Inconsistencies in Ontologies. JELIA 2006: 19
e15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: Deduction and Applications, 23.-28. October 2005 .Dagstuhl Seminar Proceedings 05431, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
e14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiki Hermann, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings .Lecture Notes in Computer Science 4246, Springer 2006, ISBN 3-540-48281-4
2005
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Riazanov, Andrei Voronkov: Efficient instance retrieval with standard and relational path indexing. Inf. Comput. 199(1-2): 228-252 (2005)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: Knuth-Bendix constraint solving is NP-complete. ACM Trans. Comput. Log. 6(2): 361-388 (2005)
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Antonio Navarro Pérez, Andrei Voronkov: Generation of Hard Non-Clausal Random Satisfiability Problems. AAAI 2005: 436-442
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitri Chubarov, Andrei Voronkov: Solving First-Order Constraints over the Monadic Class. Mechanizing Mathematical Reasoning 2005: 132-138
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitri Chubarov, Andrei Voronkov: Basis of Solutions for a System of Linear Inequalities in Integers: Computation and Applications. MFCS 2005: 260-270
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: Random Databases and Threshold for Monotone Non-recursive Datalog. MFCS 2005: 591-602
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIman Narasamdya, Andrei Voronkov: Finding Basic Block and Variable Correspondence. SAS 2005: 251-267
e13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings .Lecture Notes in Computer Science 3452, Springer 2005, ISBN 3-540-25236-3
e12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeoff Sutcliffe, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings .Lecture Notes in Computer Science 3835, Springer 2005, ISBN 3-540-30553-X
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Executive Summary - Deduction and Applications. Deduction and Applications 2005
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Abstracts Collection - Deduction and Applications. Deduction and Applications 2005
2004
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Riazanov, Andrei Voronkov: Efficient Checking of Term Ordering Constraints. IJCAR 2004: 60-74
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov: TeMP: A Temporal Monodic Prover. IJCAR 2004: 326-330
2003
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: Orienting rewrite rules with the Knuth-Bendix order. Inf. Comput. 183(2): 165-186 (2003)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. J. Autom. Reasoning 30(2): 121-151 (2003)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Robert Nieuwenhuis, Andrei Voronkov: Stratified resolution. J. Symb. Comput. 36(1-2): 79-99 (2003)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Riazanov, Andrei Voronkov: Limited resource strategy in resolution theorem proving. J. Symb. Comput. 36(1-2): 101-115 (2003)
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: An AC-Compatible Knuth-Bendix Order. CADE 2003: 47-59
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Riazanov, Andrei Voronkov: Efficient Instance Retrieval with Standard and Relational Path Indexing. CADE 2003: 380-396
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLarisa Maksimova, Andrei Voronkov: Complexity of Some Problems in Modal and Intuitionistic Calculi. CSL 2003: 397-412
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatiana Rybina, Andrei Voronkov: Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture). CSL 2003: 546-573
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatiana Rybina, Andrei Voronkov: A Logical Reconstruction of Reachability. Ershov Memorial Conference 2003: 222-237
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatiana Rybina, Andrei Voronkov: Upper Bounds for a Theory of Queues. ICALP 2003: 714-724
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Automated Reasoning: Past Story and New Trends. IJCAI 2003: 1607-1612
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: Orienting Equalities with the Knuth-Bendix Order. LICS 2003: 75-
e11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings .Lecture Notes in Computer Science 2850, Springer 2003, ISBN 3-540-20101-7
2002
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Riazanov, Andrei Voronkov: The design and implementation of VAMPIRE. AI Commun. 15(2-3): 91-110 (2002)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: Knuth-Bendix constraint solving is NP-complete .CoRR cs.LO/0207068 (2002)
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatiana Rybina, Andrei Voronkov: BRAIN : Backward Reachability Analysis with Integers. AMAST 2002: 489-494
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatiana Rybina, Andrei Voronkov: Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking. CAV 2002: 386-400
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: First-Order Theorem Provers: the Next Generation. Description Logics 2002
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures. FSTTCS 2002: 230-240
e10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings .Lecture Notes in Computer Science 2392, Springer 2002, ISBN 3-540-43931-5
e9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Baaz, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings .Lecture Notes in Computer Science 2514, Springer 2002, ISBN 3-540-00010-0
2001
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3): 374-425 (2001)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMelvin Fitting, Lars Thalmann, Andrei Voronkov: Term-Modal Logics. Studia Logica 69(1): 133-169 (2001)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatiana Rybina, Andrei Voronkov: A decision procedure for term algebras with queues. ACM Trans. Comput. Log. 2(2): 155-181 (2001)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi. ACM Trans. Comput. Log. 2(2): 182-215 (2001)
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Algorithms, Datastructures, and other Issues in Efficient Automated Deduction. IJCAR 2001: 13-28
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov: On the Evaluation of Indexing Techniques for Theorem Proving. IJCAR 2001: 257-271
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Riazanov, Andrei Voronkov: Vampire 1.1 (System Description). IJCAR 2001: 376-380
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Riazanov, Andrei Voronkov: Adaptive Saturation-Based Reasoning. Ershov Memorial Conference 2001: 95-108
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: Knuth-Bendix Constraint Solving Is NP-Complete. ICALP 2001: 979-992
c47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Riazanov, Andrei Voronkov: Splitting Without Backtracking. IJCAI 2001: 611-617
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order. RTA 2001: 137-153
p5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: The Inverse Method. Handbook of Automated Reasoning 2001: 179-272
p4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: Equality Reasoning in Sequent-Based Calculi. Handbook of Automated Reasoning 2001: 611-706
p3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLI. V. Ramakrishnan, R. C. Sekar, Andrei Voronkov: Term Indexing. Handbook of Automated Reasoning 2001: 1853-1964
p2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Alan Robinson, Andrei Voronkov: Preface. Handbook of Automated Reasoning 2001
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Yuri Gurevich, Andrei Voronkov: Herbrand's Theorem and Equational Reasoning: Problems and Solutions. Current Trends in Theoretical Computer Science 2001: 303-326
e8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Alan Robinson, Andrei Voronkov: Handbook of Automated Reasoning (in 2 volumes) .Elsevier and MIT Press 2001, ISBN 0-444-50813-9
e7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Nieuwenhuis, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings .Lecture Notes in Computer Science 2250, Springer 2001, ISBN 3-540-42957-3
2000
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov: Decidability and complexity of simultaneous rigid E-unification with one variable and related results. Theor. Comput. Sci. 243(1-2): 167-184 (2000)
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: Stratified Resolution. CADE 2000: 365-384
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Riazanov, Andrei Voronkov: Partially Adaptive Code Trees. JELIA 2000: 209-223
c43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Deciding K using inverse-K. KR 2000: 198-209
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatiana Rybina, Andrei Voronkov: A Decision Procedure for Term Algebras with Queues. LICS 2000: 279-290
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Korovin, Andrei Voronkov: A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering. LICS 2000: 291-302
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi. LICS 2000: 401-412
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgeny Dantsin, Andrei Voronkov: Expressive Power and Data Complexity of Query Languages for Trees and Lists. PODS 2000: 157-165
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMelvin Fitting, Lars Thalmann, Andrei Voronkov: Term-Modal Logics. TABLEAUX 2000: 220-236
e6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Parigot, Andrei Voronkov: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings .Lecture Notes in Computer Science 1955, Springer 2000
1999
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: The Ground-Negative Fragment of First-Order Logic Is Pip2-Complete. J. Symb. Log. 64(3): 984-990 (1999)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Gurevich, Andrei Voronkov: Monadic Simultaneous Rigid E-unification. Theor. Comput. Sci. 222(1-2): 133-152 (1999)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Simultaneous Rigid E-unification and other Decision Problems Related to the Herbrand Theorem. Theor. Comput. Sci. 224(1-2): 319-352 (1999)
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Riazanov, Andrei Voronkov: Vampire. CADE 1999: 292-296
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: KK: a theorem prover for K. CADE 1999: 383-387
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgeny Dantsin, Andrei Voronkov: A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees. FoSSaCS 1999: 180-196
e5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Ganzinger, David A. McAllester, Andrei Voronkov: Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings .Lecture Notes in Computer Science 1705, Springer 1999, ISBN 3-540-66492-0
1998
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: What You Always Wanted to Know about Rigid E-Unification. J. Autom. Reasoning 20(1): 47-80 (1998)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. J. Autom. Reasoning 21(2): 205-231 (1998)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo Bachmair, Harald Ganzinger, Andrei Voronkov: Elimination of Equality via Transformation with Ordering Constraints. CADE 1998: 175-190
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Herbrand's Theorem, Automated Reasoning and Semantics Tableaux. LICS 1998: 252-263
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei G. Vorobyov, Andrei Voronkov: Complexity of Nonrecursive Logic Programs with Complex Values. PODS 1998: 244-253
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov: The Decidability of Simultaneous Rigid E-Unification with One Variable. RTA 1998: 181-195
e4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBurkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov: Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers .Lecture Notes in Computer Science 1472, Springer 1998, ISBN 3-540-65305-8
1997
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov: Complexity and Expressive Power of Logic Programming. IEEE Conference on Computational Complexity 1997: 82-101
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Gurevich, Andrei Voronkov: Monadic Simultaneous Rigid E-Unification and Related Problems. ICALP 1997: 154-165
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Strategies in Rigid-Variable Methods. IJCAI (1) 1997: 114-121
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgeny Dantsin, Andrei Voronkov: Complexity of Query Answering in Logic Databases with Complex Values. LFCS 1997: 56-66
1996
j5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Yuri Gurevich, Andrei Voronkov: Herbrand's Theorem and Equational Reasoning: Problems and Solutions. Bulletin of the EATCS 60: 78-96 (1996)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers. J. Log. Program. 28(3): 207-216 (1996)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: The Undecidability of Simultaneous Rigid E-Unification. Theor. Comput. Sci. 166(1&2): 291-300 (1996)
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. CADE 1996: 32-46
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: Equality Elimination for the Tableau Method. DISCO 1996: 46-60
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Argenius, Andrei Voronkov: Semantics of Constraint Logic Programs with Bounded Quantifiers. ELP 1996: 1-18
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: Handling Equality in Logic Programming via Basic Folding. ELP 1996: 119-136
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Merging Relational Database Technology with Constraint Technology. Ershov Memorial Conference 1996: 409-419
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: What You Always Wanted to Know About Rigid E-Unification. JELIA 1996: 50-69
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Yuri Matiyasevich, Andrei Voronkov: Simultaneous E-Unification and Related Algorithmic Problems. LICS 1996: 494-502
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: Decidability Problems for the Prenex Fragment of Intuitionistic Logic. LICS 1996: 503-512
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction. TABLEAUX 1996: 312-329
1995
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: On Computability by Logic Programs. Ann. Math. Artif. Intell. 15(3-4): 437-456 (1995)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: The Anatomy of Vampire Implementing Bottom-up Procedures with Code Trees. J. Autom. Reasoning 15(2): 237-265 (1995)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: Simultaneous Regid E-Unification Is Undecidable. CSL 1995: 178-190
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: A New Procedural Interpretation of Horn Clauses with Equality. ICLP 1995: 565-579
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: Equality Elimination for the Inverse Method and Extension Procedures. IJCAI 1995: 342-347
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Andrei Voronkov: General Connections via Equality Elimination. WOCFAI 1995: 109-120
1994
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: An Implementation Technique for a Class of Bottom-Up Procedures. PLILP 1994: 147-164
1993
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Yu. Sazonov, Andrei Voronkov: A Construction of Typed Lambda Models Related to Feasible Computability. Kurt Gödel Colloquium 1993: 301-312
e3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings .Lecture Notes in Computer Science 698, Springer 1993, ISBN 3-540-56944-8
1992
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Theorem Proving in Non-Standard Logics Based on the Inverse Method. CADE 1992: 648-662
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: On Computability by Logic Programs. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 165-
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Higher Order Functions in First Order Theory. ISTCS 1992: 43-54
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings .Lecture Notes in Computer Science 592, Springer 1992, ISBN 3-540-55460-2
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings .Lecture Notes in Computer Science 624, Springer 1992, ISBN 3-540-55727-X
1991
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: On Completeness of Program Synthesis Systems. CSL 1991: 411-418
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Logic Programming with Bounded Quantifiers. RCLP 1991: 486-514
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov: Declarative and Procedural Paradigms - Do they Really Compete? (Panel). PDK 1991: 383-398
1990
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: LISS - The Logic Inference Search System. CADE 1990: 677-678
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Towards the Theory of Programming in Constructive Logic. ESOP 1990: 421-435
1988
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei Starchenko, Andrei Voronkov: On connections between classical and constructive semantics. Conference on Computer Logic 1988: 275-285
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: A proof-search method for the first-order logic. Conference on Computer Logic 1988: 327-338
1987
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Voronkov: Deductive Program Synthesis and Markov's Principle. FCT 1987: 479-482

Coauthor Index

1Martin Argenius[c24]
2Franz Baader[e15] [e13] [i3] [i2]
3Matthias Baaz[e31] [e9]
4Leo Bachmair[c34]
5Peter Baumgartner[e15] [i3] [i2]
6Armin Biere[c117] [c113]
7Nikolaj Bjørner[c124] [e28] [e26] [i6] [e24] [i5] [i4] [c80]
8Harold Boley[c6]
9Iliano Cervesato[e20]
10Dimitri Chubarov[c70] [c69]
11Edmund M. Clarke[e27] [e22]
12Alexandru Constantin[c108]
13Evgeny Dantsin[j15] [c39] [c35] [c30] [c27]
14Martin D. Davis
Martin Davis
[e37]
15Hendrik Decker[e4]
16Anatoli Degtyarev[j18] [p5] [p4] [p1] [j11] [c45] [j7] [c31] [j5] [j4] [j3] [c25] [c23] [c21] [c20] [c19] [c17] [c16] [c15] [c14]
17Nachum Dershowitz[e16]
18Volker Diekert[e18]
19Ioan Dragan[c117] [c113] [c106]
20Thomas Eiter[j15] [c30]
21Moshe Emmer[c104] [c93]
22Ansgar Fehnker[e38] [e37]
23Christian G. Fermüller[e31] [e21]
24Melvin Fitting[j14] [c38]
25Burkhard Freitag[e4]
26Harald Ganzinger[e5] [c34]
27Georg Gottlob[e39] [j15] [c30]
28Ashutosh Gupta[c118]
29Yuri Gurevich[p1] [j11] [j9] [c31] [c29] [j5]
30Thomas A. Henzinger[c90]
31Miki Hermann[e14]
32Thomas Hillenbrand[c51]
33Krystof Hoder[i10] [c127] [c110] [c105] [c103] [c102] [c101] [c96] [c95] [c94] [c92] [c84]
34Andreas Holzer[c105]
35Ian Horrocks[c74]
36Thibaud Hottelier[c90]
37Ullrich Hustadt[c65]
38Tetsuo Ida[e25]
39Mohammed K. Jaber[c75] [c73]
40Tudor Jebelean[e25]
41Deepak Kapur[c112]
42Zurab Khasidashvili[c104] [c103] [c93] [c85]
43Michael Kifer[e4]
44Mahmoud Kinanah[c85]
45Boris Konev[c65]
46Konstantin Korovin[c106] [c104] [c103] [c100] [c98] [c97] [c93] [c87] [c77] [j21] [c68] [j20] [c64] [c57] [i1] [c53] [c48] [c46] [c41]
47Margarita V. Korovina[e36]
48Evgenii Kotelnikov[c126] [c123] [i8] [i7] [c119]
49Laura Kovács[c128] [e43] [i9] [c126] [c123] [e42] [i8] [i7] [c119] [c118] [c117] [c113] [c109] [c107] [c106] [c105] [c102] [e28] [c99] [c96] [c95] [c94] [c90] [c88] [c86] [c82]
50Bernhard Kragl[c118]
51Temur Kutsia[e33]
52Larisa Maksimova[c62]
53Andrei Mantsivoda[c107]
54Yuri Matiyasevich[c20]
55Manuel Mazzara[e41]
56David A. McAllester[e5]
57Annabelle McIver[e38] [e37]
58Kenneth L. McMillan[e34] [e30]
59Micha Meier[c6]
60Aart Middeldorp[e34] [e30]
61Yasuhiko Minamide[j23] [c91]
62Georg Moser[c99]
63Chris Moss[c6]
64Iman Narasamdya[c83] [c67]
65Paliath Narendran[j11] [c31]
66Viorel Negru[e25]
67Robert Nieuwenhuis[c112] [i6] [e24] [i5] [i4] [e15] [i3] [i2] [j18] [c51] [e7]
68Michel Parigot[e6]
69Juan Antonio Navarro Pérez[c111] [c79] [c78] [c76] [c71]
70Dana Petcu[e25]
71Steve Pettifer[c108]
72Amir Pnueli[e23]
73I. V. Ramakrishnan[p3]
74Giles Reger[i12] [i11] [i10] [c127] [c126] [c125] [c124] [c122] [i7] [c121] [c120] [c116]
75Alexandre Riazanov[j22] [c66] [c65] [j17] [c63] [j16] [c51] [c50] [c49] [c47] [c44] [c37]
76Michael M. Richter[c6]
77Simon Robillard[c128] [i9]
78John Alan Robinson[p2] [e8]
79Tatiana Rybina[c61] [c60] [c59] [c56] [c55] [j13] [c42]
80Yuto Sakuma[j23] [c91]
81Vladimir Yu. Sazonov[c12]
82R. C. Sekar[p3]
83Sergei Starchenko[c3]
84Christoph Sticksel[c104]
85Martin Suda 0001[i12] [i11] [i10] [c127] [c125] [c124] [c123] [c122] [c120] [c116]
86Geoff Sutcliffe[e39] [e38] [e34] [e31] [e12]
87Lars Thalmann[j14] [c38]
88Nikolai Tillmann[c80]
89Dmitry Tishkovsky[c121]
90Nestan Tsiskaridze[c97] [c87]
91Josef Urban[c92]
92Moshe Y. Vardi[e11]
93Margus Veanes[j11] [c31]
94Helmut Veith[i6] [e24] [i5] [i4] [e20]
95Irina Virbitskaite[e40] [e35] [e27] [e23] [e17]
96Mikhail V. Volkov[e18]
97Sergei G. Vorobyov[c32]
98Stephen M. Watt[e25]
99Christoph Weidenbach[c112] [e32]
100Reinhard Wilhelm[c112]
101Daniela Zaharie[e25]

 

Last update 2017-06-17 00:56 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page