| |
| 2008 | ||
|---|---|---|
| 5 | EE | Alexander Krauss: Pattern minimization problems over recursive data types. ICFP 2008: 267-274 |
| 4 | EE | Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews: Imperative Functional Programming with Isabelle/HOL. TPHOLs 2008: 134-149 |
| 2007 | ||
| 3 | EE | Alexander Krauss: Certified Size-Change Termination. CADE 2007: 460-475 |
| 2 | EE | Lukas Bulwahn, Alexander Krauss, Tobias Nipkow: Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL. TPHOLs 2007: 38-53 |
| 2006 | ||
| 1 | EE | Alexander Krauss: Partial Recursive Functions in Higher-Order Logic. IJCAR 2006: 589-603 |
| 1 | Lukas Bulwahn | [2] [4] |
| 2 | Levent Erkök | [4] |
| 3 | Florian Haftmann | [4] |
| 4 | John Matthews | [4] |
| 5 | Tobias Nipkow | [2] |