Thomas Henzinger

Cituota

	Visi	Nuo 2019
Šaltiniai	65077	13210
h-rodyklė	120	55
i10-rodyklė	361	236

3100

1550

775

2325

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024317 425 512 627 788 1106 1106 1235 1343 1771 1931 2464 2459 2732 2802 2917 2919 3032 3054 3002 3009 2995 2732 2675 2560 2363 2081 2083 2304 2320 2038

Viešas pasiekiamumas

Peržiūrėti viską

166 straipsniai

7 straipsniai

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Krishnendu ChatterjeeProfessor, IST AustriaPatvirtintas el. paštas ist.ac.at
Rupak MajumdarMPI for Software SystemsPatvirtintas el. paštas mpi-sws.org
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzPatvirtintas el. paštas alumni.stanford.edu
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgPatvirtintas el. paštas cs.uni-salzburg.at
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityPatvirtintas el. paštas cs.huji.ac.il
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyPatvirtintas el. paštas lmu.de
Laurent DoyenCNRS - LMF, ENS Paris-SaclayPatvirtintas el. paštas lsv.fr
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Patvirtintas el. paštas univista-isg.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Patvirtintas el. paštas ulb.ac.be
Sriram RajamaniMicrosoft Research Patvirtintas el. paštas microsoft.com
Shaz QadeerSoftware Engineer, MetaPatvirtintas el. paštas meta.com
Joseph SifakisReseracher at Verimag laboratory, GrenoblePatvirtintas el. paštas imag.fr
Dejan NickovicAustrian Institute of TechnologyPatvirtintas el. paštas ait.ac.at
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyPatvirtintas el. paštas eecs.berkeley.edu
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstitutePatvirtintas el. paštas ucl.ac.uk
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenPatvirtintas el. paštas cuhk.edu.cn
Barbara JobstmannScientist at EPFLPatvirtintas el. paštas epfl.ch
Arjun RadhakrishnaMicrosoftPatvirtintas el. paštas microsoft.com
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenPatvirtintas el. paštas gu.se
Moshe Y. VardiRice UniversityPatvirtintas el. paštas cs.rice.edu

Stebėti

Thomas Henzinger

IST Austria

Patvirtintas el. paštas ist.ac.at - Pagrindinis puslapis

Theory of Software Systems


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
The theory of hybrid automata TA Henzinger IEEE Symposium on Logic in Computer Science, 278-292, 1996	3298	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	2881	1995
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM 49 (5), 672-713, 2002	1973	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	1924	1991
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and Computation 111 (2), 193-244, 1994	1804	1994
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1800	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	1766	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	1628	1998
Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre ACM SIGPLAN Notices 37 (1), 58-70, 2002	1575	2002
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	1120	2000
Reactive modules R Alur, TA Henzinger Formal Methods in System Design 15 (1), 7-48, 1999	1023	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM 41 (1), 181-203, 1994	1017	1994
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM 43 (1), 116-146, 1996	1000	1996
Logics and models of real time: A survey R Alur, TA Henzinger Workshop of the REX Project, 74-106, 1991	987	1991
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	955	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	877	2007
Handbook of Model Checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer Science & Business Media, 2018	852	2018
Real-time logics: Complexity and expressiveness R Alur, TA Henzinger IEEE Symposium on Logic in Computer Science, 390-401, 1990	841	1990
Computing simulations on finite and infinite graphs MR Henzinger, TA Henzinger, PW Kopke IEEE Symposium on Foundations of Computer Science, 453-462, 1995	742	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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai