- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c9 |      | Lukas Bulwahn: The New Quickcheck for Isabelle - Random, Exhaustive and Symbolic Testing under One Roof. CPP 2012: 92-108 |
| c8 | | |
| 2011 | ||
| c7 | | Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow: Automatic Proof and Disproof in Isabelle/HOL. FroCoS 2011: 12-27 |
| c6 | | Lukas Bulwahn: Smart test data generators via logic programming. ICLP (Technical Communications) 2011: 139-150 |
| c5 | | Andreas Lochbihler, Lukas Bulwahn: Animating the Formalised Semantics of a Java-Like Language. ITP 2011: 216-232 |
| 2010 | ||
| c4 | | Lukas Bulwahn: Counterexample Generation for Higher-order Logic Using Logic Programming. AlgoSyn 2010: 146 |
| 2009 | ||
| c3 | | Stefan Berghofer, Lukas Bulwahn, Florian Haftmann: Turning Inductive into Equational Specifications. TPHOLs 2009: 131-146 |
| 2008 | ||
| c2 | | Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews: Imperative Functional Programming with Isabelle/HOL. TPHOLs 2008: 134-149 |
| 2007 | ||
| c1 | | Lukas Bulwahn, Alexander Krauss, Tobias Nipkow: Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL. TPHOLs 2007: 38-53 |
| 1 | Stefan Berghofer | |
| 2 | Jasmin Christian Blanchette | |
| 3 | Levent Erkök | |
| 4 | Florian Haftmann | |
| 5 | Alexander Krauss | |
| 6 | Andreas Lochbihler | |
| 7 | John Matthews | |
| 8 | Tobias Nipkow |
Data released under the ODC-BY 1.0 license — See also our legal information page