Florian Haftmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2005–2013
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ITP | Data Refinement in Isabelle/HOL. | Florian Haftmann, Alexander Krauss, Ondrej Kuncar, Tobias Nipkow |
| 2010 | FLOPS | Code Generation via Higher-Order Rewrite Systems. | Florian Haftmann, Tobias Nipkow |
| 2010 | PEPM | From higher-order logic to Haskell: there and back again. | Florian Haftmann |
| 2005 | CIDR | Efficient Regression Tests for Database Applications. | Florian Haftmann, Donald Kossmann, Alexander Kreutz |
| 2005 | VLDB | Parallel Execution of Test Runs for Database Application Systems. | Florian Haftmann, Donald Kossmann, Eric Lo |