← Back to directory
Thomas A. Henzinger
Researcher Next ID · RN-007979
Researcher · Computer Science
Institute of Science and Technology Austria
Klosterneuburg, Austria
Not currently recruitingFunding unknown
- Works count
- 731
- Citation count
- 43,760
- H-index
- 98
- i10-index
- 396
Research interests
Computer Science
Formal Methods in Verification
Logic, programming, and type systems
Software Testing and Debugging Techniques
Embedded Systems Design Techniques
Real-Time Systems Scheduling
Publications
The theory of hybrid automata
Journal · 2002 · https://doi.org/10.1109/lics.1996.561342
Alternating-time temporal logic
Journal of the ACM · 2002 · https://doi.org/10.1145/585265.585270
Lazy abstraction
Journal · 2002 · https://doi.org/10.1145/503272.503279
Interface automata
Journal · 2001 · https://doi.org/10.1145/503209.503226
The algorithmic analysis of hybrid systems
Theoretical Computer Science · 1995 · https://doi.org/10.1016/0304-3975(94)00202-t
Current projects
No projects listed.