Florian Haftmann
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
-
- Software System Performance and Reliability
- Advanced Database Systems and Queries
- Distributed systems and fault tolerance
Papers in
-
- Logic, programming, and type systems 4
- Logic, Reasoning, and Knowledge 2
-
- Distributed systems and fault tolerance 1
- Co-authors
- Donald Kossmann (3 shared papers)Eric Lo (2 shared papers)Klaus Aehlig (1 shared paper)Cezary Kaliszyk (1 shared paper)Tobias Nipkow (1 shared paper)Alan Kay (1 shared paper)Stefan Berghofer (1 shared paper)Lawrence C. Paulson (1 shared paper)
- Journals
- Journal of Functional Programming (1 paper)The VLDB Journal (1 paper)ACM communications in computer algebra (1 paper)Conference on Innovative Data Systems Research (1 paper)Very Large Data Bases (1 paper)
- Partner nations
- SwitzerlandGermanyAustria
In The Last Decade
Florian Haftmann
7 papers receiving 74 citations
Peers
Comparison fields: 5 of 14
- Software 55
- Computer Networks and Communications 49
- Hardware and Architecture 10
- Information Systems 31
- Signal Processing 9
Countries citing papers authored by Florian Haftmann
This map shows the geographic impact of Florian Haftmann's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Florian Haftmann with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Florian Haftmann more than expected).
Fields of papers citing papers by Florian Haftmann
This network shows the impact of papers produced by Florian Haftmann. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Florian Haftmann. The network helps show where Florian Haftmann may publish in the future.
Co-authors
The 11 scholars most cited alongside Florian Haftmann, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2006 | 37 | |
| 2 | Ecient Regression Tests for Database Applications | 2005 | 18 |
| 3 | Parallel execution of test runs for database application systems | 2005 | 13 |
| 4 | 2010 | 6 | |
| 5 | 2010 | 3 | |
| 6 | 2012 | 3 | |
| 7 | The Isabelle/Isar Implementation | 2016 | 3 |
About Florian Haftmann
Florian Haftmann is a scholar working on Artificial Intelligence, Computer Networks and Communications, Software, Hardware and Architecture and Computational Theory and Mathematics, having authored 7 papers that have together received 83 indexed citations. Recurring topics across this work include Logic, programming, and type systems (4 papers), Software Testing and Debugging Techniques (3 papers), Parallel Computing and Optimization Techniques (2 papers), Formal Methods in Verification (2 papers), Logic, Reasoning, and Knowledge (2 papers), Software Engineering Research (1 paper), Distributed systems and fault tolerance (1 paper) and Scientific Computing and Data Management (1 paper). The work is most often cited by research in Software (55 citations), Computer Networks and Communications (49 citations), Hardware and Architecture (10 citations), Information Systems (31 citations) and Signal Processing (9 citations). Florian Haftmann has collaborated with scholars based in Switzerland, Germany and Austria. Frequent co-authors include Donald Kossmann, Eric Lo, Klaus Aehlig, Cezary Kaliszyk, Tobias Nipkow, Alan Kay, Stefan Berghofer, Lawrence C. Paulson, Brian W. Kernighan and Makarius Wenzel. Their work appears in journals such as Journal of Functional Programming, The VLDB Journal, ACM communications in computer algebra, Conference on Innovative Data Systems Research and Very Large Data Bases.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.