Thomas Henzinger

Viittaukset

	Kaikki	2019 lähtien
Sitaatit	64453	12657
h-indeksi	119	54
i10-indeksi	357	225

3100

1550

775

2325

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024317 425 514 627 788 1106 1106 1236 1341 1774 1929 2465 2454 2726 2801 2916 2920 3031 3053 2998 3010 2993 2733 2672 2559 2360 2081 2073 2311 2322 1500

Yleisessä käytössä

Näytä kaikki

166 artikkelia

6 artikkelia

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

Krishnendu ChatterjeeProfessor, IST AustriaVahvistettu sähköpostiosoite verkkotunnuksessa ist.ac.at
Rupak MajumdarMPI for Software SystemsVahvistettu sähköpostiosoite verkkotunnuksessa mpi-sws.org
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzVahvistettu sähköpostiosoite verkkotunnuksessa alumni.stanford.edu
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgVahvistettu sähköpostiosoite verkkotunnuksessa cs.uni-salzburg.at
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.huji.ac.il
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVahvistettu sähköpostiosoite verkkotunnuksessa lmu.de
Laurent DoyenCNRS - LMF, ENS Paris-SaclayVahvistettu sähköpostiosoite verkkotunnuksessa lsv.fr
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Vahvistettu sähköpostiosoite verkkotunnuksessa univista-isg.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Vahvistettu sähköpostiosoite verkkotunnuksessa ulb.ac.be
Sriram RajamaniMicrosoft Research Vahvistettu sähköpostiosoite verkkotunnuksessa microsoft.com
Howard Wong-ToiGoogle, Inc.Vahvistettu sähköpostiosoite verkkotunnuksessa google.com
Shaz QadeerSoftware Engineer, MetaVahvistettu sähköpostiosoite verkkotunnuksessa meta.com
Joseph SifakisReseracher at Verimag laboratory, GrenobleVahvistettu sähköpostiosoite verkkotunnuksessa imag.fr
Dejan NickovicAustrian Institute of TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa ait.ac.at
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteVahvistettu sähköpostiosoite verkkotunnuksessa ucl.ac.uk
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVahvistettu sähköpostiosoite verkkotunnuksessa eecs.berkeley.edu
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVahvistettu sähköpostiosoite verkkotunnuksessa cuhk.edu.cn
Barbara JobstmannScientist at EPFLVahvistettu sähköpostiosoite verkkotunnuksessa epfl.ch
Arjun RadhakrishnaMicrosoftVahvistettu sähköpostiosoite verkkotunnuksessa microsoft.com
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVahvistettu sähköpostiosoite verkkotunnuksessa gu.se

Seuraa

Thomas Henzinger

IST Austria

Vahvistettu sähköpostiosoite verkkotunnuksessa ist.ac.at - Kotisivu

Theory of Software Systems


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
The theory of hybrid automata TA Henzinger IEEE Symposium on Logic in Computer Science, 278-292, 1996	3275	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	2867	1995
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM 49 (5), 672-713, 2002	1932	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	1912	1991
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1791	2001
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and Computation 111 (2), 193-244, 1994	1791	1994
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	1616	1998
Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre ACM SIGPLAN Notices 37 (1), 58-70, 2002	1569	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	1019	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM 41 (1), 181-203, 1994	1010	1994
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM 43 (1), 116-146, 1996	986	1996
Logics and models of real time: A survey R Alur, TA Henzinger Workshop of the REX Project, 74-106, 1991	982	1991
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	951	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	832	1990
Handbook of Model Checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer Science & Business Media, 2018	811	2018
Computing simulations on finite and infinite graphs MR Henzinger, TA Henzinger, PW Kopke IEEE Symposium on Foundations of Computer Science, 453-462, 1995	739	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

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat