Concepedia

Reiner Hähnle

RH

Statistics

Publications

34

Citations

1.2K

H-Index

18

Active since

1994

Affiliations

Chalmers University of Technology(Current)

Technische Universität Darmstadt

Karlsruhe Institute of Technology

Universidad Complutense de Madrid

Centrum Wiskunde & Informatica

Reiner Hähnle is an author at Chalmers University of Technology specializing in computing, computer science, and formal methods.

Publications per year

1994–2024

34

Publications

34

The KeY tool

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert et al. · Software & Systems Modeling · 2004 · 261 citations · Full text

Uniform notation of tableau rules for multiple-valued logics

Reiner Hähnle · 2002 · 72 citations

Computing, Computer Science, Mathematics +12

Short Conjunctive Normal Forms in Finitely Valued Logics

Reiner Hähnle · Journal of Logic and Computation · 1994 · 68 citations

Humanities, Computer Science, Mathematics +9

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

Elvira Albert, Frank S. de Boer, Reiner Hähnle et al. · Service Oriented Computing and Applications · 2013 · 57 citations

Computing, Cloud Computing, Systems Engineering +17

Reasoning and Verification: State of the Art and Current Trends

Bernhard Beckert, Reiner Hähnle · IEEE Intelligent Systems · 2014 · 47 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 34