Florian Haftmann Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Haftmann: From higher-order logic to Haskell: there and back again. PEPM 2010: 155-158
2009
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Berghofer, Lukas Bulwahn, Florian Haftmann: Turning Inductive into Equational Specifications. TPHOLs 2009: 131-146
2008
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews: Imperative Functional Programming with Isabelle/HOL. TPHOLs 2008: 134-149
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Aehlig, Florian Haftmann, Tobias Nipkow: A Compiled Implementation of Normalization by Evaluation. TPHOLs 2008: 39-54
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Haftmann, Makarius Wenzel: Local Theory Specifications in Isabelle/Isar. TYPES 2008: 153-168
2007
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Haftmann, Donald Kossmann, Eric Lo: A framework for efficient regression tests on database applications. VLDB J. 16(1): 145-164 (2007)
2006
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Haftmann, Makarius Wenzel: Constructive Type Classes in Isabelle. TYPES 2006: 160-174
2005
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Haftmann, Donald Kossmann, Alexander Kreutz: Efficient Regression Tests for Database Applications. CIDR 2005: 95-106
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Haftmann, Donald Kossmann, Eric Lo: Parallel Execution of Test Runs for Database Application Systems. VLDB 2005: 589-600

Coauthor Index

1Klaus Aehlig [6]
2Stefan Berghofer [8]
3Lukas Bulwahn [7] [8]
4Levent Erkök [7]
5Donald Kossmann [1] [2] [4]
6Alexander Krauss [7]
7Alexander Kreutz [2]
8Eric Lo [1] [4]
9John Matthews [7]
10Tobias Nipkow [6]
11Markus Wenzel (Makarius Wenzel) [3] [5]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)