Name Card

Full name Familienname, Vorname
Voronkov, Andrei
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 34 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hozzová, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei Program Synthesis in SaturationInproceedings Konferenzbeitrag 2-Sep-2023
2Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei Getting Saturated with InductionBook Contribution Buchbeitrag29-Dec-2022
3Hajdu-2022-The Vampire Approach to Induction short paper-vor.pdf.jpgHajdu, Marton ; Kovacs, Laura ; Rawson, Michael ; Voronkov, Andrei The Vampire Approach to Induction (short paper)Inproceedings Konferenzbeitrag 31-Aug-2022
4Hajdu-2021-Induction with Recursive Definitions in Superposition-vor.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Induction with Recursive Definitions in SuperpositionBeitrag in Tagungsband Inproceedings Oct-2021
5Hajdu-2021-Inductive Benchmarks for Automated Reasoning-am.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei Inductive Benchmarks for Automated ReasoningInproceedings Konferenzbeitrag 12-Aug-2021
6Hozzova-2021-Integer Induction in Saturation-am.pdf.jpgHozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Integer Induction in SaturationInproceedings Konferenzbeitrag 29-Jul-2021
7Kovacs, Laura ; Voronkov, Andrei First-Order Theorem Proving in Rigorous Systems EngineeringPräsentation Presentation2018
8Kotelnikov, Evgenii ; Kovács, Laura ; Voronkov, Andrei A FOOLish Encoding of the Next State Relations of Imperative ProgramsKonferenzbeitrag Inproceedings 2018
9Reger, Giles ; Suda, Martin ; Voronkov, Andrei Unification with Abstraction and Theory Instantiation in Saturation-Based ReasoningKonferenzbeitrag Inproceedings 2018
10Reger, Giles ; Suda, Martin ; Voronkov, Andrei Instantiation and Pretending to be an SMT Solver with VampirePräsentation Presentation2017
11Reger, Giles ; Suda, Martin ; Voronkov, Andrei Recent Improvements of Theory Reasoning in VampirePräsentation Presentation2017
12Kovacs, Laura ; Robillard, Simon ; Voronkov, Andrei Coming to Terms with Quantified ReasoningKonferenzbeitrag Inproceedings 2017
13Reger, Giles ; Suda, Martin ; Voronkov, Andrei Testing a Saturation-Based Theorem Prover: Experiences and ChallengesKonferenzbeitrag Inproceedings 2017
14Kovacs, Laura ; Voronkov, Andrei First-Order Interpolation and Interpolating Proof SystemsKonferenzbeitrag Inproceedings 2017
15Reger, Giles ; Suda, Martin ; Voronkov, Andrei New Techniques in Clausal Form GenerationPräsentation Presentation2016
16Reger, Giles ; Suda, Martin ; Voronkov, Andrei New Techniques in Clausal Form GenerationKonferenzbeitrag Inproceedings 2016
17Hoder, Kryštof ; Reger, Giles ; Suda, Martin ; Voronkov, Andrei Selecting the SelectionKonferenzbeitrag Inproceedings 2016
18Kotelnikov, Evgenii ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei The vampire and the FOOLKonferenzbeitrag Inproceedings 2016
19Kotelnikov, Evgenii ; Kovacs, Laura ; Suda, Martin ; Voronkov, Andrei A Clausal Normal Form Translation for FOOLKonferenzbeitrag Inproceedings 2016
20Reger, Giles ; Suda, Martin ; Voronkov, Andrei Finding Finite Models in Multi-sorted First-Order LogicKonferenzbeitrag Inproceedings 2016

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 22 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav Overapproximation of Non-Linear Integer Arithmetic for Smart Contract VerificationInproceedings Konferenzbeitrag 3-Jun-2023
2Hader, Thomas ; Kaufmann, Daniela ; Kovacs, Laura SMT Solving over Finite Field ArithmeticInproceedings Konferenzbeitrag Jun-2023
3Reger, Giles ; Suda, Martin Local proofs and AVATARKonferenzbeitrag Inproceedings 2018
4Kovacs, Laura ; Voronkov, Andrei Vampire 2017. Proceedings of the 4th Vampire WorkshopKonferenzband Proceedings2018
5Eiter, Thomas ; Sands, David ; Sutcliffe, Geoff ; Voronkov, Andrei IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1Konferenzband Proceedings 2017
6Ahrendt, Wolfgang ; Kovacs, Laura ; Robillard, Simon Reasoning About Loops Using Vampire in KeYKonferenzbeitrag Inproceedings 2015
7Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF SolvingKonferenzbeitrag Inproceedings 2013
8Blanc, Régis ; Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard Tree Interpolation in VampireKonferenzbeitrag Inproceedings 2013
9Fermüller, Christian ; Voronkov, Andrei Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings LPAR-17Konferenzband Proceedings2010
10Klinov, Pavel ; Parsia, Bijan ; Picado Muino, David The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic ApproachKonferenzbeitrag Inproceedings2010
11Savenkov, Vadim ; Pichler, Reinhard Towards Practical Feasibility of Core Computation in Data ExchangeKonferenzbeitrag Inproceedings 2008
12Eiter, Thomas ; Ortiz, Magdalena ; Šimkus, Mantas Reasoning Using KnotsKonferenzbeitrag Inproceedings2008
13Jakl, Michael ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Fast Counting with Bounded TreewidthKonferenzbeitrag Inproceedings2008
14Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian Cut elimination for first order Gödel logic by hyperclause resolutionKonferenzbeitrag Inproceedings2008
15Simkus, Mantas ; Eiter, Thomas FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function SymbolsKonferenzbeitrag Inproceedings 2007
16Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian Monadic Fragments of Gödel Logics: Decidability and Undecidability ResultsKonferenzbeitrag Inproceedings 2007
17Svenson, Ola ; Vorobyov, Sergei Linear Complementarity and (P)-Matrices for Stochastic GamesKonferenzbeitrag Inproceedings 2007
18Ciabattoni, Agata ; Terui, Kazushige Modular cut-elimination: finding proofs or counterexamplesKonferenzbeitrag Inproceedings2006
19Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans Nonmonotonic Description Logic Programs: Implementation and ExperimentsKonferenzbeitrag Inproceedings 2005
20Baaz, Matthias On interpolation in existence logicsKonferenzbeitrag Inproceedings2005