Florian Haftmann
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
-
- Formal Methods in Verification
Papers in
-
- Logic, programming, and type systems 11
- Logic, Reasoning, and Knowledge 5
- Security and Verification in Computing 2
-
- Formal Methods in Verification 9
- Co-authors
- Tobias Nipkow (4 shared papers)Makarius Wenzel (3 shared papers)Donald Kossmann (3 shared papers)Alexander Krauß (2 shared papers)Eric Lo (2 shared papers)John Matthews (1 shared paper)Stefan Berghofer (2 shared papers)Klaus Aehlig (2 shared papers)
- Journals
- The VLDB Journal (1 paper)Journal of Functional Programming (1 paper)Lecture notes in computer science (7 papers)ACM communications in computer algebra (1 paper)Very Large Data Bases (1 paper)
- Partner nations
- GermanySwitzerlandAustria
In The Last Decade
Florian Haftmann
14 papers receiving 404 citations
Peers
Comparison fields: 5 of 36
- Software 112
- Computational Theory and Mathematics 256
- Artificial Intelligence 332
- Hardware and Architecture 57
- Computer Networks and Communications 85
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 13 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 | 2010 | 124 | |
| 2 | 2008 | 63 | |
| 3 | 2007 | 55 | |
| 4 | 2013 | 45 | |
| 5 | 2006 | 42 | |
| 6 | 2009 | 22 | |
| 7 | 2009 | 22 | |
| 8 | Ecient Regression Tests for Database Applications | 2005 | 19 |
| 9 | Parallel execution of test runs for database application systems | 2005 | 14 |
| 10 | 2008 | 12 | |
| 11 | 2010 | 7 | |
| 12 | 2012 | 5 | |
| 13 | 2010 | 3 | |
| 14 | The Isabelle/Isar Implementation | 2016 | 3 |
About Florian Haftmann
Florian Haftmann is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Computer Networks and Communications and Software, having authored 14 papers that have together received 436 indexed citations. Recurring topics across this work include Logic, programming, and type systems (11 papers), Formal Methods in Verification (9 papers), Logic, Reasoning, and Knowledge (5 papers), Parallel Computing and Optimization Techniques (5 papers), Software Testing and Debugging Techniques (3 papers), Security and Verification in Computing (2 papers), Software Reliability and Analysis Research (1 paper) and Software System Performance and Reliability (1 paper). The work is most often cited by research in Software (112 citations), Computational Theory and Mathematics (256 citations), Artificial Intelligence (332 citations), Hardware and Architecture (57 citations) and Computer Networks and Communications (85 citations). Florian Haftmann has collaborated with scholars based in Germany, Switzerland and Austria. Frequent co-authors include Tobias Nipkow, Makarius Wenzel, Donald Kossmann, Alexander Krauß, Eric Lo, John Matthews, Stefan Berghofer, Klaus Aehlig, Cezary Kaliszyk and Lawrence C. Paulson. Their work appears in journals such as The VLDB Journal, Journal of Functional Programming, Lecture notes in computer science, ACM communications in computer algebra 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.