litlas
ログインアカウント作成

Thomas A. Henzinger

1985–2026 年に発表

510
論文数
40,601
被引用数
95
h 指数
340
i10 指数

被引用数

Thomas A. Henzinger の年別被引用数1875 年: 被引用 1 件1954 年: 被引用 1 件1974 年: 被引用 1 件1977 年: 被引用 2 件1984 年: 被引用 1 件1989 年: 被引用 7 件1990 年: 被引用 13 件1991 年: 被引用 40 件1992 年: 被引用 73 件1993 年: 被引用 76 件1994 年: 被引用 126 件1995 年: 被引用 235 件1996 年: 被引用 183 件1997 年: 被引用 304 件1998 年: 被引用 297 件1999 年: 被引用 344 件2000 年: 被引用 406 件2001 年: 被引用 461 件2002 年: 被引用 471 件2003 年: 被引用 672 件2004 年: 被引用 848 件2005 年: 被引用 1,037 件2006 年: 被引用 951 件2007 年: 被引用 1,017 件2008 年: 被引用 1,142 件2009 年: 被引用 1,246 件2010 年: 被引用 1,296 件2011 年: 被引用 1,427 件2012 年: 被引用 1,447 件2013 年: 被引用 1,467 件2014 年: 被引用 1,391 件2015 年: 被引用 1,357 件2016 年: 被引用 1,168 件2017 年: 被引用 1,075 件2018 年: 被引用 1,050 件2019 年: 被引用 1,033 件2020 年: 被引用 928 件2021 年: 被引用 1,010 件2022 年: 被引用 832 件2023 年: 被引用 806 件2024 年: 被引用 759 件2025 年: 被引用 574 件2026 年: 被引用 209 件1876〜1953 年は被引用が無いため表示していません1955〜1973 年は被引用が無いため表示していません1975〜1976 年は被引用が無いため表示していません1978〜1983 年は被引用が無いため表示していません1985〜1988 年は被引用が無いため表示していません

引用元

国・地域

この著者を引用した国・地域の世界地図アメリカ合衆国: 引用元論文 4,718 件、この内訳の 20.9%ドイツ: 引用元論文 2,601 件、この内訳の 11.6%フランス: 引用元論文 2,378 件、この内訳の 10.6%イギリス: 引用元論文 1,692 件、この内訳の 7.5%イタリア: 引用元論文 1,383 件、この内訳の 6.1%中国: 引用元論文 1,216 件、この内訳の 5.4%オーストリア: 引用元論文 773 件、この内訳の 3.4%オランダ: 引用元論文 715 件、この内訳の 3.2%カナダ: 引用元論文 498 件、この内訳の 2.2%スウェーデン: 引用元論文 492 件、この内訳の 2.2%スイス: 引用元論文 483 件、この内訳の 2.1%イスラエル: 引用元論文 454 件、この内訳の 2%
0%20.9%その他 22.8%

機関

分野

  • Computer Science86.6%
  • Engineering5.2%
  • Biochemistry, Genetics and Molecular Biology3.2%
  • Decision Sciences1.8%
  • Social Sciences0.5%
  • Physics and Astronomy0.4%
  • その他2.3%

トピック

  • 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%
  • その他52.8%

共著者

全論文

検索で開く
  1. Handbook of Model Checking

    著者: Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem - 2018 被引用: 699

  2. Neural circuit policies enabling auditable autonomy

    著者: Mathias Lechner, Ramin M. Hasani, Alexander Amini, Thomas A. Henzinger, Daniela Rus, Radu Grosu - Nature Machine Intelligence, Nat. Mach. Intell. 2020 被引用: 282

  3. Probabilistic programming

    著者: Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani - Future of Software Engineering Proceedings, FOSE 2014 被引用: 361

  4. The Theory of Hybrid Automata

    著者: Thomas A. Henzinger - Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, LICS 1996 被引用: 1,856

  5. The Algorithmic Analysis of Hybrid Systems

    著者: 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 被引用: 1,876

  6. What's Decidable about Hybrid Automata?

    著者: Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya - Journal of Computer and System Sciences, J. Comput. Syst. Sci. 1995 被引用: 675

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

    著者: Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho - Lecture notes in computer science, Hybrid Systems 1992 被引用: 1,103

  8. Lazy abstraction

    著者: Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre - ACM SIGPLAN Notices, POPL 2002 被引用: 1,156

  9. The software model checker Blast

    著者: Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar - International Journal on Software Tools for Technology Transfer, Int. J. Softw. Tools Technol. Transf. 2007 被引用: 594

  10. Parametric real-time reasoning

    著者: Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi - twenty-fifth annual ACM symposium on Theory of computing - STOC '93 1993 被引用: 393

  11. Real-Time Logics: Complexity and Expressiveness

    著者: Rajeev Alur, Thomas A. Henzinger - Information and Computation, Inf. Comput. 1990 被引用: 385

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

    著者: Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz - Lecture notes in computer science, CAV 2007 被引用: 181

  13. Discrete abstractions of hybrid systems

    著者: Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George J. Pappas - IEEE, Proc. IEEE 2000 被引用: 816

  14. Markov Decision Processes with Multiple Objectives

    著者: Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger - Lecture notes in computer science, STACS 2006 被引用: 150

  15. Interface automata

    著者: Luca de Alfaro, Thomas A. Henzinger - ACM SIGSOFT Software Engineering Notes, ESEC / SIGSOFT FSE 2001 被引用: 1,182

  16. Computing Simulations on Finite and Infinite Graphs

    著者: Monika Rauch Henzinger, Thomas A. Henzinger, Peter W. Kopke - Annual Foundations of Computer Science, FOCS 1995 被引用: 479

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

    著者: Mathias Lechner, Ramin M. Hasani, Manuel Zimmer, Thomas A. Henzinger, Radu Grosu - International Conference on Robotics and Automation (ICRA) 2019 被引用: 43

  18. Runtime Monitoring of Dynamic Fairness Properties

    著者: Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik - ACM Conference on Fairness, FAccT 2023 被引用: 17

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

    著者: Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch - Lecture notes in computer science, EMSOFT 2001 被引用: 414

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

    著者: Rajeev Alur, Limor Fix, Thomas A. Henzinger - Theoretical Computer Science, Theor. Comput. Sci. 1999 被引用: 246

  21. Solving Games Without Determinization

    著者: Thomas A. Henzinger, Nir Piterman - Lecture notes in computer science, CSL 2006 被引用: 96

  22. Inductive sequentialization of asynchronous programs

    著者: Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer - SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020 被引用: 29

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

    著者: Marek Chalupa, Thomas A. Henzinger - Lecture notes in computer science, TACAS (2) 2023 被引用: 16

  24. Contracts for System Design

    著者: 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 被引用: 238