Thomas Henzinger

Geciteerd door

	Alles	Sinds 2019
Citaties	64594	12778
h-index	119	54
i10-index	359	227

3100

1550

775

2325

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024317 425 514 627 788 1106 1106 1236 1341 1774 1929 2465 2455 2729 2801 2917 2920 3030 3055 3000 3010 2993 2732 2674 2559 2358 2082 2073 2302 2305 1648

Openbare toegang

Alles bekijken

166 artikelen

6 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Krishnendu ChatterjeeProfessor, IST AustriaGeverifieerd e-mailadres voor ist.ac.at
Rupak MajumdarMPI for Software SystemsGeverifieerd e-mailadres voor mpi-sws.org
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzGeverifieerd e-mailadres voor alumni.stanford.edu
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgGeverifieerd e-mailadres voor cs.uni-salzburg.at
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityGeverifieerd e-mailadres voor cs.huji.ac.il
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyGeverifieerd e-mailadres voor lmu.de
Laurent DoyenCNRS - LMF, ENS Paris-SaclayGeverifieerd e-mailadres voor lsv.fr
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Geverifieerd e-mailadres voor univista-isg.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Geverifieerd e-mailadres voor ulb.ac.be
Sriram RajamaniMicrosoft Research Geverifieerd e-mailadres voor microsoft.com
Howard Wong-ToiGoogle, Inc.Geverifieerd e-mailadres voor google.com
Shaz QadeerSoftware Engineer, MetaGeverifieerd e-mailadres voor meta.com
Joseph SifakisReseracher at Verimag laboratory, GrenobleGeverifieerd e-mailadres voor imag.fr
Dejan NickovicAustrian Institute of TechnologyGeverifieerd e-mailadres voor ait.ac.at
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteGeverifieerd e-mailadres voor ucl.ac.uk
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenGeverifieerd e-mailadres voor cuhk.edu.cn
Barbara JobstmannScientist at EPFLGeverifieerd e-mailadres voor epfl.ch
Arjun RadhakrishnaMicrosoftGeverifieerd e-mailadres voor microsoft.com
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenGeverifieerd e-mailadres voor gu.se

Volgen

Thomas Henzinger

IST Austria

Geverifieerd e-mailadres voor ist.ac.at - Homepage

Theory of Software Systems


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
The theory of hybrid automata TA Henzinger IEEE Symposium on Logic in Computer Science, 278-292, 1996	3284	1996
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	2869	1995
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM 49 (5), 672-713, 2002	1940	2002
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems R Alur, C Courcoubetis, TA Henzinger, PH Ho Hybrid Systems, 209-229, 1991	1914	1991
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and Computation 111 (2), 193-244, 1994	1794	1994
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1792	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	1760	1997
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	1620	1998
Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre ACM SIGPLAN Notices 37 (1), 58-70, 2002	1572	2002
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	1113	2000
Reactive modules R Alur, TA Henzinger Formal Methods in System Design 15 (1), 7-48, 1999	1020	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM 41 (1), 181-203, 1994	1012	1994
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM 43 (1), 116-146, 1996	992	1996
Logics and models of real time: A survey R Alur, TA Henzinger Workshop of the REX Project, 74-106, 1991	985	1991
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	953	1996
The software model checker Blast: Applications to software engineering D Beyer, TA Henzinger, R Jhala, R Majumdar Software Tools for Technology Transfer 9 (5-6), 505-525, 2007	875	2007
Real-time logics: Complexity and expressiveness R Alur, TA Henzinger IEEE Symposium on Logic in Computer Science, 390-401, 1990	834	1990
Handbook of Model Checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer Science & Business Media, 2018	825	2018
Computing simulations on finite and infinite graphs MR Henzinger, TA Henzinger, PW Kopke IEEE Symposium on Foundations of Computer Science, 453-462, 1995	741	1995
Software verification with Blast TA Henzinger, R Jhala, R Majumdar, G Sutre SPIN Workshop on Model Checking of Software, 235-239, 2003	725	2003

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs