| * | 2009 |
|---|
| 8 | EE | Stefan Berghofer,
Lukas Bulwahn,
Florian Haftmann:
Turning Inductive into Equational Specifications.
TPHOLs 2009: 131-146 |
| 2008 |
|---|
| 7 | EE | Lukas Bulwahn,
Alexander Krauss,
Florian Haftmann,
Levent Erkök,
John Matthews:
Imperative Functional Programming with Isabelle/HOL.
TPHOLs 2008: 134-149 |
| 6 | EE | Klaus Aehlig,
Florian Haftmann,
Tobias Nipkow:
A Compiled Implementation of Normalization by Evaluation.
TPHOLs 2008: 39-54 |
| 5 | EE | Florian Haftmann,
Makarius Wenzel:
Local Theory Specifications in Isabelle/Isar.
TYPES 2008: 153-168 |
| 2007 |
|---|
| 4 | EE | Florian Haftmann,
Donald Kossmann,
Eric Lo:
A framework for efficient regression tests on database applications.
VLDB J. 16(1): 145-164 (2007) |
| 2006 |
|---|
| 3 | EE | Florian Haftmann,
Makarius Wenzel:
Constructive Type Classes in Isabelle.
TYPES 2006: 160-174 |
| 2005 |
|---|
| 2 | EE | Florian Haftmann,
Donald Kossmann,
Alexander Kreutz:
Efficient Regression Tests for Database Applications.
CIDR 2005: 95-106 |
| 1 | EE | Florian Haftmann,
Donald Kossmann,
Eric Lo:
Parallel Execution of Test Runs for Database Application Systems.
VLDB 2005: 589-600 |
