| 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 |
