K
v
ire
.com
←
Back
Night
Docs
Library
Review
…
Author
Thomas A. Henzinger
also known as Henzinger Thomas A., Henzinger, Thomas, Henzinger, Thomas A
Institute of Science and Technology Austria · Johannes Kepler University of Linz · Berkeley College · Max Planck Society
About this author
Works
727
Cited by
43,892
h-index
98
i10
395
ORCID ↗
Top papers
The algorithmic analysis of hybrid systems
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, et al.
·
1995
·
Theoretical Computer Science
↗ 1,874
OA
The theory of hybrid automata
Thomas A. Henzinger
·
2002
↗ 1,850
Alternating-time temporal logic
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman
·
2002
·
Journal of the ACM
↗ 1,409
Interface automata
Luca de Alfaro, Thomas A. Henzinger
·
2001
↗ 1,177
Lazy abstraction
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, et al.
·
2002
↗ 1,155
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, et al.
·
1993
·
Lecture notes in computer science
↗ 1,100
Symbolic Model Checking for Real-Time Systems
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, et al.
·
1994
·
Information and Computation
↗ 828
OA
Discrete abstractions of hybrid systems
Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, et al.
·
2000
·
Proceedings of the IEEE
↗ 816
OA
HYTECH: a model checker for hybrid systems
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
·
1997
·
International Journal on Software Tools for Technology Transfer
↗ 775
Handbook of Model Checking
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, et al.
·
2018
↗ 686
What's Decidable about Hybrid Automata?
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, et al.
·
1998
·
Journal of Computer and System Sciences
↗ 673
OA
The software model checker Blast
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, et al.
·
2007
·
International Journal on Software Tools for Technology Transfer
↗ 594
Books
Computational Methods in Systems Biology
2013
·
Springer
Formal Modeling and Analysis of Timed Systems
2010
·
Springer
Computer Science Logic
2007
·
Springer London, Limited
Embedded Software
2003
·
Springer London, Limited
Handbook of Model Checking
2017
·
Springer
Mathematical and Engineering Methods in Computer Science
2013
·
Springer