Thomas Henzinger

Cited by

	All	Since 2016
Citations	57283	14202
h-index	112	59
i10-index	330	227

3100

1550

775

2325

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021285 416 474 659 759 1004 1139 1175 1248 1728 1885 2353 2453 2688 2810 2874 2895 3011 3079 2972 2979 2989 2738 2655 2577 2345 2097 1771

Public access

View all

154 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Luca de AlfaroProfessor, UC Santa CruzVerified email at alumni.stanford.edu
Ranjit JhalaProfessor of Computer Science, UC San DiegoVerified email at cs.ucsd.edu
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgVerified email at cs.uni-salzburg.at
Pei-Hsin HoSynopsys, Inc.Verified email at synopsys.com
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Howard Wong-ToiGoogle, Inc.Verified email at google.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Costas CourcoubetisProfessor of Singapore University of Technology and DesignVerified email at sutd.edu.sg
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteVerified email at ucl.ac.uk
Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
Barbara JobstmannScientist at EPFLVerified email at epfl.ch

Thomas Henzinger

IST Austria

Verified email at ist.ac.at

Software Systems Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The theory of hybrid automata TA Henzinger Verification of digital and hybrid systems, 265-292, 2000	2961	2000
The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ... Theoretical Computer Science 138 (1), 3-34, 1995	2566	1995
Hybrid automata R Alur, C Courcoubetis, TA Henzinger, PH Ho Hybrid Systems, 209-229, 1992	1775	1992
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and Computation 111 (2), 193-244, 1994	1695	1994
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM 49 (5), 672-713, 2002	1682	2002
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1682	2001
HyTech: A model checker for hybrid systems TA Henzinger, PH Ho, H Wong-Toi Software Tools for Technology Transfer 1 (1-2), 110-122, 1997	1641	1997
Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre ACM SIGPLAN Notices 37 (1), 58-70, 2002	1506	2002
What's decidable about hybrid automata? TA Henzinger, PW Kopke, A Puri, P Varaiya Journal of Computer and System Sciences 57 (1), 94-124, 1998	1470	1998
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	1008	2000
A really temporal logic R Alur, TA Henzinger Journal of the ACM 41 (1), 181-203, 1994	943	1994
Reactive modules R Alur, TA Henzinger Formal Methods in System Design 15 (1), 7-48, 1999	940	1999
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	937	1996
Logics and models of real time: A survey R Alur, TA Henzinger Workshop of the REX Project, 74-106, 1991	882	1991
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM 43 (1), 116-146, 1996	858	1996
The software model checker Blast D Beyer, TA Henzinger, R Jhala, R Majumdar Software Tools for Technology Transfer 9 (5-6), 505-525, 2007	767	2007
Real-time logics: Complexity and expressiveness R Alur, TA Henzinger IEEE Symposium on Logic in Computer Science, 390-401, 1990	757	1990
Software verification with Blast TA Henzinger, R Jhala, R Majumdar, G Sutre SPIN Workshop on Model Checking of Software, 235-239, 2003	667	2003
Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan ACM SIGPLAN Notices 39 (1), 232-244, 2004	654	2004
Executable cell biology J Fisher, TA Henzinger Nature Biotechnology 25 (11), 1239, 2007	644	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors