| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Stefan Berghofer, Lukas Bulwahn, Florian Haftmann: Turning Inductive into Equational Specifications. TPHOLs 2009: 131-146 |
| 2008 | ||
| 2 | EE | Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews: Imperative Functional Programming with Isabelle/HOL. TPHOLs 2008: 134-149 |
| 2007 | ||
| 1 | EE | Lukas Bulwahn, Alexander Krauss, Tobias Nipkow: Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL. TPHOLs 2007: 38-53 |
| 1 | Stefan Berghofer | [3] |
| 2 | Levent Erkök | [2] |
| 3 | Florian Haftmann | [2] [3] |
| 4 | Alexander Krauss | [1] [2] |
| 5 | John Matthews | [2] |
| 6 | Tobias Nipkow | [1] |