litlas
Log inCreate account

Thomas A. Henzinger

Active 1985–2026

510
Papers
40,601
Citations
95
h-index
340
i10-index

Citations

Citations per year for Thomas A. Henzinger1875: 1 citations1954: 1 citations1974: 1 citations1977: 2 citations1984: 1 citations1989: 7 citations1990: 13 citations1991: 40 citations1992: 73 citations1993: 76 citations1994: 126 citations1995: 235 citations1996: 183 citations1997: 304 citations1998: 297 citations1999: 344 citations2000: 406 citations2001: 461 citations2002: 471 citations2003: 672 citations2004: 848 citations2005: 1,037 citations2006: 951 citations2007: 1,017 citations2008: 1,142 citations2009: 1,246 citations2010: 1,296 citations2011: 1,427 citations2012: 1,447 citations2013: 1,467 citations2014: 1,391 citations2015: 1,357 citations2016: 1,168 citations2017: 1,075 citations2018: 1,050 citations2019: 1,033 citations2020: 928 citations2021: 1,010 citations2022: 832 citations2023: 806 citations2024: 759 citations2025: 574 citations2026: 209 citations1876–1953: no citations, so these years are not shown1955–1973: no citations, so these years are not shown1975–1976: no citations, so these years are not shown1978–1983: no citations, so these years are not shown1985–1988: no citations, so these years are not shown

Citation sources

Countries

World map of the countries and regions citing this authorUnited States: 4,718 citing papers, 20.9% of this breakdownGermany: 2,601 citing papers, 11.6% of this breakdownFrance: 2,378 citing papers, 10.6% of this breakdownUnited Kingdom: 1,692 citing papers, 7.5% of this breakdownItaly: 1,383 citing papers, 6.1% of this breakdownChina: 1,216 citing papers, 5.4% of this breakdownAustria: 773 citing papers, 3.4% of this breakdownNetherlands: 715 citing papers, 3.2% of this breakdownCanada: 498 citing papers, 2.2% of this breakdownSweden: 492 citing papers, 2.2% of this breakdownSwitzerland: 483 citing papers, 2.1% of this breakdownIsrael: 454 citing papers, 2% of this breakdown
0%20.9%Other 22.8%

Institutions

Fields

  • Computer Science86.6%
  • Engineering5.2%
  • Biochemistry, Genetics and Molecular Biology3.2%
  • Decision Sciences1.8%
  • Social Sciences0.5%
  • Physics and Astronomy0.4%
  • Other2.3%

Topics

  • Formal Methods in Verification20.8%
  • Logic, programming, and type systems7.2%
  • Software Testing and Debugging Techniques6.6%
  • Petri Nets in System Modeling4.5%
  • Real-Time Systems Scheduling4.2%
  • Model-Driven Software Engineering Techniques3.9%
  • Other52.8%

Coauthors

All papers

Open in search
  1. Handbook of Model Checking

    Authors: Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem - 2018 cited by 699

  2. Neural circuit policies enabling auditable autonomy

    Authors: Mathias Lechner, Ramin M. Hasani, Alexander Amini, Thomas A. Henzinger, Daniela Rus, Radu Grosu - Nature Machine Intelligence, Nat. Mach. Intell. 2020 cited by 282

  3. Probabilistic programming

    Authors: Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani - Future of Software Engineering Proceedings, FOSE 2014 cited by 361

  4. The Theory of Hybrid Automata

    Authors: Thomas A. Henzinger - Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, LICS 1996 cited by 1,856

  5. The Algorithmic Analysis of Hybrid Systems

    Authors: Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine - Theoretical Computer Science, Theor. Comput. Sci. 1995 cited by 1,876

  6. What's Decidable about Hybrid Automata?

    Authors: Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya - Journal of Computer and System Sciences, J. Comput. Syst. Sci. 1995 cited by 675

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

    Authors: Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho - Lecture notes in computer science, Hybrid Systems 1992 cited by 1,103

  8. Lazy abstraction

    Authors: Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre - ACM SIGPLAN Notices, POPL 2002 cited by 1,156

  9. The software model checker Blast

    Authors: Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar - International Journal on Software Tools for Technology Transfer, Int. J. Softw. Tools Technol. Transf. 2007 cited by 594

  10. Parametric real-time reasoning

    Authors: Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi - twenty-fifth annual ACM symposium on Theory of computing - STOC '93 1993 cited by 393

  11. Real-Time Logics: Complexity and Expressiveness

    Authors: Rajeev Alur, Thomas A. Henzinger - Information and Computation, Inf. Comput. 1990 cited by 385

  12. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis

    Authors: Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz - Lecture notes in computer science, CAV 2007 cited by 181

  13. Discrete abstractions of hybrid systems

    Authors: Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George J. Pappas - IEEE, Proc. IEEE 2000 cited by 816

  14. Markov Decision Processes with Multiple Objectives

    Authors: Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger - Lecture notes in computer science, STACS 2006 cited by 150

  15. Interface automata

    Authors: Luca de Alfaro, Thomas A. Henzinger - ACM SIGSOFT Software Engineering Notes, ESEC / SIGSOFT FSE 2001 cited by 1,182

  16. Computing Simulations on Finite and Infinite Graphs

    Authors: Monika Rauch Henzinger, Thomas A. Henzinger, Peter W. Kopke - Annual Foundations of Computer Science, FOCS 1995 cited by 479

  17. Designing Worm-inspired Neural Networks for Interpretable Robotic Control

    Authors: Mathias Lechner, Ramin M. Hasani, Manuel Zimmer, Thomas A. Henzinger, Radu Grosu - International Conference on Robotics and Automation (ICRA) 2019 cited by 43

  18. Runtime Monitoring of Dynamic Fairness Properties

    Authors: Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik - ACM Conference on Fairness, FAccT 2023 cited by 17

  19. Giotto: A Time-Triggered Language for Embedded Programming

    Authors: Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch - Lecture notes in computer science, EMSOFT 2001 cited by 414

  20. Event-Clock Automata: A Determinizable Class of Timed Automata

    Authors: Rajeev Alur, Limor Fix, Thomas A. Henzinger - Theoretical Computer Science, Theor. Comput. Sci. 1999 cited by 246

  21. Solving Games Without Determinization

    Authors: Thomas A. Henzinger, Nir Piterman - Lecture notes in computer science, CSL 2006 cited by 96

  22. Inductive sequentialization of asynchronous programs

    Authors: Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer - SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020 cited by 29

  23. Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution)

    Authors: Marek Chalupa, Thomas A. Henzinger - Lecture notes in computer science, TACAS (2) 2023 cited by 16

  24. Contracts for System Design

    Authors: Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen - Foundations and Trends® in Electronic Design Automation, Found. Trends Electron. Des. Autom. 2018 cited by 238