| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 8 |       | Krystof Hoder, Laura Kovács, Andrei Voronkov: Playing in the grey area of proofs. POPL 2012: 259-272 |
| 7 | | Krystof Hoder, Andrei Voronkov: Sine Qua Non for Large Theory Reasoning. CADE 2011: 299-314 |
| 5 | | Krystof Hoder, Laura Kovács, Andrei Voronkov: Case Studies on Invariant Generation Using a Saturation Theorem Prover. MICAI (1) 2011: 1-15 |
| 4 | | Krystof Hoder, Laura Kovács, Andrei Voronkov: Invariant Generation in Vampire. TACAS 2011: 60-64 |
| 3 | | Josef Urban, Krystof Hoder, Andrei Voronkov: Evaluation of Automated Theorem Proving on the Mizar Mathematical Library. ICMS 2010: 155-166 |
| 2 | | Krystof Hoder, Laura Kovács, Andrei Voronkov: Interpolation and Symbol Elimination in Vampire. IJCAR 2010: 188-195 |
| 1 | | Krystof Hoder, Andrei Voronkov: Comparing Unification Algorithms in First-Order Theorem Proving. KI 2009: 435-443 |
Selection of 7 from 8 records - Krystof Hoder has 5 coauthors
Last update 2012-02-15 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page