Thomas Henzinger

Citirano

	Sve	Od 2020.
Citati	65545	11273
H-indeks	121	50
i10-indeks	365	218

3100

1550

775

2325

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025301 426 496 654 783 1066 1078 1240 1380 1754 1930 2461 2453 2722 2812 2887 2950 3003 3096 3050 3017 3005 2745 2640 2565 2395 2104 2089 2266 2314 2206 285

Javni pristup

Prikaži sve

165 članaka

7 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Krishnendu ChatterjeeProfessor, IST AustriaPotvrđena adresa e-pošte na ist.ac.at
Rupak MajumdarMPI for Software SystemsPotvrđena adresa e-pošte na mpi-sws.org
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzPotvrđena adresa e-pošte na alumni.stanford.edu
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgPotvrđena adresa e-pošte na cs.uni-salzburg.at
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityPotvrđena adresa e-pošte na cs.huji.ac.il
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyPotvrđena adresa e-pošte na lmu.de
Laurent DoyenCNRS - LMF, ENS Paris-SaclayPotvrđena adresa e-pošte na lsv.fr
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Potvrđena adresa e-pošte na ulb.ac.be
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Potvrđena adresa e-pošte na univista-isg.com
Sriram RajamaniMicrosoft Research Potvrđena adresa e-pošte na microsoft.com
Shaz QadeerMicrosoftPotvrđena adresa e-pošte na microsoft.com
Joseph SifakisReseracher at Verimag laboratory, GrenoblePotvrđena adresa e-pošte na imag.fr
Dejan NickovicAustrian Institute of TechnologyPotvrđena adresa e-pošte na ait.ac.at
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyPotvrđena adresa e-pošte na eecs.berkeley.edu
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenPotvrđena adresa e-pošte na cuhk.edu.cn
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstitutePotvrđena adresa e-pošte na ucl.ac.uk
Moshe Y. VardiRice UniversityPotvrđena adresa e-pošte na cs.rice.edu
Barbara JobstmannScientist at EPFLPotvrđena adresa e-pošte na epfl.ch
Arjun RadhakrishnaMicrosoftPotvrđena adresa e-pošte na microsoft.com
Nir PitermanProfessor in Computer Science, University of Gothenburg and Chalmers University of Technolog, SwedenPotvrđena adresa e-pošte na gu.se

Prati

Thomas Henzinger

IST Austria

Potvrđena adresa e-pošte na ist.ac.at - Početna stranica

Theory of Software Systems


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
The theory of hybrid automata TA Henzinger IEEE Symposium on Logic in Computer Science, 278-292, 1996	3312	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	2898	1995
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM 49 (5), 672-713, 2002	2309	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	1941	1991
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and Computation 111 (2), 193-244, 1994	1806	1994
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1794	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	1770	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	1640	1998
Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre ACM SIGPLAN Notices 37 (1), 58-70, 2002	1584	2002
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	1126	2000
Reactive modules R Alur, TA Henzinger Formal Methods in System Design 15 (1), 7-48, 1999	1037	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM 41 (1), 181-203, 1994	1023	1994
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM 43 (1), 116-146, 1996	1013	1996
Logics and models of real time: A survey R Alur, TA Henzinger Workshop of the REX Project, 74-106, 1991	994	1991
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	950	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	887	2007
Handbook of Model Checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer Science & Business Media, 2018	877	2018
Real-time logics: Complexity and expressiveness R Alur, TA Henzinger IEEE Symposium on Logic in Computer Science, 390-401, 1990	851	1990
Computing simulations on finite and infinite graphs MR Henzinger, TA Henzinger, PW Kopke IEEE Symposium on Foundations of Computer Science, 453-462, 1995	749	1995
Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan ACM SIGPLAN Notices 39 (1), 232-244, 2004	728	2004

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori