Henzinger, Thomas A., 1962-....
Henzinger, Thomas A.
Henzinger, T. A. (Thomas A.)
Henzinger, Thomas 1962-
Thomas Henzinger österreichischer Informatiker
Henzinger, T. A., 1962-
VIAF ID: 67255713 ( Personal )
Permalink: http://viaf.org/viaf/67255713
Preferred Forms
-
- 100 1 _ ‡a Henzinger, T. A. ‡q (Thomas A.)
- 100 1 0 ‡a Henzinger, T. A. ‡q (Thomas A.)
-
-
-
-
-
-
- 100 1 _ ‡a Henzinger, Thomas A. ‡d 1962-
- 100 1 _ ‡a Henzinger, Thomas A. ‡d 1962-
- 100 1 _ ‡a Henzinger, Thomas A., ‡d 1962-....
- 100 1 _ ‡a Henzinger, Thomas ‡d 1962-
- 100 0 _ ‡a Thomas Henzinger ‡c österreichischer Informatiker
4xx's: Alternate Name Forms (20)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Assertions and measurements for mixed-signal simulation | |
Assertions et mesures pour la simulation en signaux mixtes. | |
Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings | |
Computer aided verification : 8th International conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996 : proceedings | |
Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings | |
CSL 2007 | |
Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings | |
Faster Statistical Model Checking for Unbounded Temporal Properties | |
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings | |
Fully decidable logics, automata and classical theories for defining regular real-time languages | |
Handbook of Model Checking | |
HSCC'98 | |
Hybrid systems : computation and control : first international workshop, HSCC '98, Berkeley, California, USA, April 13-15, 1998 : proceedings | |
Hybrid systems three | |
An interleaving model for real time, 1990: | |
Lazy shape analysis | |
Linear Distances between Markov Chains | |
Long lived transients in gene regulation | |
Lumpability abstractions of rule-based systems | |
Mathematical and engineering methods in computer science 8th international doctoral workshop ; revised selected papers | |
Membership-Based Synthesis of Linear Hybrid Automata | |
Outside the Box : Abstraction-Based Monitoring of Neural Networks | |
Sooner is safer than later |