| |
| 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 | Levent Erkök | [2] |
| 2 | Florian Haftmann | [2] |
| 3 | Alexander Krauss | [1] [2] |
| 4 | John Matthews | [2] |
| 5 | Tobias Nipkow | [1] |