Concepedia
Statistics
Publications
4
Citations
109
H-Index
Active since
2005
Affiliations
ETH Zurich(Current)
Florian Haftmann is an author at ETH Zurich specializing in computer science, computing, and databases.
Publications per year
2005–2010
A framework for efficient regression tests on database applications
Florian Haftmann, Donald Kossmann, Eric Lo · The VLDB Journal · 2006 · 54 citations · Full text
Computing, Computer Science, Databases +6
Ecient Regression Tests for Database Applications
Florian Haftmann, Donald Kossmann, Alexander Kreutz · Conference on Innovative Data Systems Research · 2005 · 23 citations
Computing, Computer Science, Information Systems +10
Parallel execution of test runs for database application systems
Florian Haftmann, Donald Kossmann, Eric Lo · 2005 · 16 citations
Computing, Computer Science, Computer Systems +9
From higher-order logic to Haskell
Florian Haftmann · 2010 · 16 citations
Computing, Computer Science, Formal Methods +13
1–4 of 4