D-Index & Metrics Best Publications

Thomas A. Henzinger

Institute of Science and Technology Austria
Austria

Computer Science

Austria

2023

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name Citations Publications World Ranking National Ranking

Computer Science D-index 107 Citations 54,669 464 World Ranking 153 National Ranking 1

Research.com Recognitions

Awards & Achievements

2023 - Research.com Computer Science in Austria Leader Award

2022 - Research.com Computer Science in Austria Leader Award

2020 - Fellow of the American Academy of Arts and Sciences

2020 - Member of the National Academy of Sciences

2015 - European Association for Theoretical Computer Science (EATCS) Fellow For fundamental contributions to formal verification and synthesis of computer and biological systems

2012 - Wittgenstein Award

2006 - Member of Academia Europaea

2006 - ACM Fellow For contributions to formal verification and hybrid systems.

Best Publications

The theory of hybrid automata

T.A. Henzinger.
logic in computer science (1996)

2788 Citations

The algorithmic analysis of hybrid systems

Rajeev Alur;Costas Courcoubetis;Nicolas Halbwachs;Thomas A. Henzinger.
Theoretical Computer Science (1995)

2641 Citations

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

Rajeev Alur;Costas Courcoubetis;Thomas A. Henzinger;Pei-Hsin Ho.
Hybrid Systems (1993)

1810 Citations

Alternating-time temporal logic

Rajeev Alur;Thomas A. Henzinger;Orna Kupferman.
Journal of the ACM (2002)

1750 Citations

Symbolic model checking for real-time systems

Thomas A. Henzinger;Xavier Nicollin;Joseph Sifakis;Sergio Yovine.
Information & Computation (1994)

1737 Citations

Interface automata

Luca de Alfaro;Thomas A. Henzinger.
foundations of software engineering (2001)

1722 Citations

Hybrid Systems: Computation and Control.

Thomas A. Henzinger;Shankar Sastry.
(1998)

1616 Citations

HYTECH: a model checker for hybrid systems

Thomas A. Henzinger;Pei-Hsin Ho;Howard Wong-Toi.
International Journal on Software Tools for Technology Transfer (1997)

1601 Citations

Lazy abstraction

Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;Grégoire Sutre.
symposium on principles of programming languages (2002)

1541 Citations

What's Decidable about Hybrid Automata?

Thomas A. Henzinger.
Journal of Computer and System Sciences (1998)

1512 Citations

If you think any of the details on this page are incorrect, let us know.

Thomas A. Henzinger

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Research.com Recognitions

Awards & Achievements

Best Publications

Report an issue

Citations by year

Frequent Co-Authors

External Links

Best Scientists Citing Thomas A. Henzinger

Trending Scientists