The chart shows the distribution of publications by all Research.com ranked scientists in the field of Engineering and Technology in 2026. The highlighted bar marks where Reiner Hähnle sits on this spectrum.
This scientist: 268 publications — 69th percentile
69% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 804 publications or more.
The chart shows the D-index (discipline H-index) distribution of Engineering and Technology scientists ranked by Research.com in 2026. The highlighted bar marks where Reiner Hähnle sits on this spectrum.
This scientist: 36 D-Index — 13th percentile
13% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 107 D-Index or more.
Reiner Hähnle is affiliated with the Technical University of Darmstadt in Germany and specializes in computer science, with a focus on fields including artificial intelligence, computational theory and mathematics, software, computer networks and communications, and information systems.
The main topics of Reiner Hähnle's research involve formal methods in verification, logic, programming, and type systems, software testing and debugging techniques, security and verification in computing, distributed systems and fault tolerance, software engineering research, and advanced software engineering methodologies.
Frequent coauthors collaborating with Reiner Hähnle include Richard Bubel, Eduard Kamburjan, Marco Scaletta, Dominic Steinhöfel, and Einar Broch Johnsen.
Reiner Hähnle has contributed papers to several publication venues, notably: arXiv (Cornell University), International Journal on Software Tools for Technology Transfer, ACM Transactions on Modeling and Computer Simulation, EPiC series in computing, and ACM Transactions on Programming Languages and Systems.
Recent papers include the following:
Reiner Hähnle has also published a book titled Deductive Software Verification: Future Perspectives in 2020, through Springer Science+Business Media.
Bernhard Beckert;Reiner Hähnle;Peter H. Schmitt
Einar Broch Johnsen;Reiner Hähnle;Jan Schäfer;Rudolf Schlatte
Wolfgang Ahrendt;Thomas Baar;Bernhard Beckert;Richard Bubel
Marcello D'Agostino;Dov M. Gabbay;Reiner Hähnle;Joachim Posegga
Wolfgang Ahrendt;Bernhard Beckert;Richard Bubel;Reiner Hähnle
Ádám Darvas;Reiner Hähnle;David Sands
Reiner Hähnle
Reiner Hähnle
Frank De Boer;Vlad Serbanescu;Reiner Hähnle;Ludovic Henrio
Antonio Flores-Montoya;Reiner Hähnle
Reiner Hähnle
Reiner Hähnle
Stijn de Gouw;Jurriaan Rot;Jurriaan Rot;Frank S. de Boer;Frank S. de Boer;Richard Bubel
Bernhard Beckert;Reiner Hähnle;Peter H. Schmitt
Reiner Hähnle
R. Hahnle
Wolfgang Ahrendt;Bernhard Beckert;Daniel Bruns;Richard Bubel
Reiner Hähnle;Marieke Huisman
Wolfgang Ahrendt;Thomas Baar;Bernhard Beckert;Martin Giese
Christian Engel;Reiner Hähnle
Reiner Hähnle
Reiner Hähnle;Kristofer Johannisson;Aarne Ranta
Bernhard Beckert;Reiner Hahnle
Elvira Albert;Frank S. Boer;Reiner Hähnle;Einar Broch Johnsen
Reiner Hähnle;Gonzalo Escalada Imaz
Reiner Hähnle;Ina Schaefer
If you think any of the details on this page are incorrect, let us know.
Tata Institute of Fundamental Research
Universitätsmedizin Göttingen
University of California, San Francisco
Blackberry (United States)
University of Helsinki
Ghent University
Institut National de la Recherche Scientifique
University of Leeds
Heriot-Watt University
Tulane University
Wageningen University & Research
University of California, San Francisco
Czech Technical University in Prague
South China University of Technology
Tokyo Medical and Dental University
Florida Museum of Natural History
