Krystof Hoder

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c11		Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov: Vinter: A Vampire-Based Tool for Interpolation. APLAS 2012: 148-156
c10		Krystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov: Preprocessing techniques for first-order clausification. FMCAD 2012: 44-51
c9		Krystof Hoder, Laura Kovács, Andrei Voronkov: Playing in the grey area of proofs. POPL 2012: 259-272
c8		Krystof Hoder, Nikolaj Bjørner: Generalized Property Directed Reachability. SAT 2012: 157-171
	2011
c7		Krystof Hoder, Andrei Voronkov: Sine Qua Non for Large Theory Reasoning. CADE 2011: 299-314
c6		Krystof Hoder, Nikolaj Bjørner, Leonardo Mendonça de Moura: μZ- An Efficient Engine for Fixed Points with Constraints. CAV 2011: 457-462
c5		Krystof Hoder, Laura Kovács, Andrei Voronkov: Case Studies on Invariant Generation Using a Saturation Theorem Prover. MICAI (1) 2011: 1-15
c4		Krystof Hoder, Laura Kovács, Andrei Voronkov: Invariant Generation in Vampire. TACAS 2011: 60-64
	2010
c3		Krystof Hoder, Laura Kovács, Andrei Voronkov: Interpolation and Symbol Elimination in Vampire. IJCAR 2010: 188-195
c2		Josef Urban, Krystof Hoder, Andrei Voronkov: Evaluation of Automated Theorem Proving on the Mizar Mathematical Library. ICMS 2010: 155-166
	2009
c1		Krystof Hoder, Andrei Voronkov: Comparing Unification Algorithms in First-Order Theorem Proving. KI 2009: 435-443

Coauthor Index

1	Nikolaj Bjørner	[c8] [c6]
2	Andreas Holzer	[c11]
3	Zurab Khasidashvili	[c10]
4	Konstantin Korovin	[c10]
5	Laura Kovács (Laura Ildikó Kovács)	[c11] [c9] [c5] [c4] [c3]
6	Leonardo Mendonça de Moura	[c6]
7	Josef Urban	[c2]
8	Andrei Voronkov	[c11] [c10] [c9] [c7] [c5] [c4] [c3] [c2] [c1]

Last update Tue May 21 12:20:47 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page