Thomas Henzinger

Citado por

	Total	Desde 2017
Citas	58752	12577
Índice h	113	56
Índice i10	332	222

3100

1550

775

2325

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022284 423 472 695 777 1013 1144 1186 1272 1718 1909 2370 2475 2718 2819 2901 2950 3003 3049 2993 2987 3022 2737 2666 2556 2346 2070 2170 756

Acceso público

Ver todo

160 artículos

4 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Krishnendu ChatterjeeProfessor, IST AustriaDirección de correo verificada de ist.ac.at
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Rupak MajumdarMPI for Software SystemsDirección de correo verificada de mpi-sws.org
Luca de AlfaroProfessor, UC Santa CruzDirección de correo verificada de alumni.stanford.edu
Ranjit JhalaProfessor of Computer Science, UC San DiegoDirección de correo verificada de cs.ucsd.edu
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgDirección de correo verificada de cs.uni-salzburg.at
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Dirección de correo verificada de univista-isg.com
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityDirección de correo verificada de cs.huji.ac.il
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyDirección de correo verificada de lmu.de
Laurent DoyenCNRS - LSV, ENS CachanDirección de correo verificada de lsv.fr
Sriram RajamaniMicrosoft Research Dirección de correo verificada de microsoft.com
Howard Wong-ToiGoogle, Inc.Dirección de correo verificada de google.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Dirección de correo verificada de ulb.ac.be
Shaz QadeerResearch Scientist, FacebookDirección de correo verificada de fb.com
Joseph SifakisReseracher at Verimag laboratory, GrenobleDirección de correo verificada de imag.fr
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenDirección de correo verificada de cuhk.edu.cn
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteDirección de correo verificada de ucl.ac.uk
Arjun RadhakrishnaMicrosoftDirección de correo verificada de microsoft.com
Barbara JobstmannScientist at EPFLDirección de correo verificada de epfl.ch

Seguir

Thomas Henzinger

IST Austria

Dirección de correo verificada de ist.ac.at

Software Systems Theory


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The theory of hybrid automata TA Henzinger Verification of Digital and Hybrid Systems, 265-292, 2000	3027	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	2708	1995
Hybrid automata R Alur, C Courcoubetis, TA Henzinger, PH Ho Hybrid Systems, 209-229, 1992	1813	1992
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM 49 (5), 672-713, 2002	1738	2002
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and Computation 111 (2), 193-244, 1994	1712	1994
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1700	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	1668	1997
Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre ACM SIGPLAN Notices 37 (1), 58-70, 2002	1518	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	1486	1998
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	1035	2000
Reactive modules R Alur, TA Henzinger Formal Methods in System Design 15 (1), 7-48, 1999	956	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM 41 (1), 181-203, 1994	952	1994
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	940	1996
Logics and models of real time: A survey R Alur, TA Henzinger Workshop of the REX Project, 74-106, 1991	905	1991
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM 43 (1), 116-146, 1996	874	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	792	2007
Real-time logics: Complexity and expressiveness R Alur, TA Henzinger IEEE Symposium on Logic in Computer Science, 390-401, 1990	762	1990
Software verification with Blast TA Henzinger, R Jhala, R Majumdar, G Sutre SPIN Workshop on Model Checking of Software, 235-239, 2003	683	2003
Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan ACM SIGPLAN Notices 39 (1), 232-244, 2004	661	2004
Executable cell biology J Fisher, TA Henzinger Nature Biotechnology 25 (11), 1239, 2007	656	2007

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir a este autor

Citado por

Coautores