| 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 |
| 1 | Donald Kossmann | [1] [2] [4] |
| 2 | Alexander Kreutz | [2] |
| 3 | Eric Lo | [1] [4] |
| 4 | Makarius Wenzel | [3] |
Colors in the list of coauthors