| |
| 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] |
| 2 | Tobias Nipkow | [2] |