Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas A. Henzinger
Quantitative Languages
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Nested Weighted Automata
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Invariant and Type Inference for Matrices
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ideal Abstractions for Well-Structured Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synthesis of AMBA AHB From Formal Specification: A Case Study
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Quantitative Reactive Modeling and Verification
Computer Science - Research and Development
The Discipline of Embedded Systems Design
Computer
Computer Science
Alternating-Time Temporal Logic
Computer Standards and Interfaces
Hardware
Law
Architecture
Software
A Survey of Stochastic Games With Limsup and Liminf Objectives
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification Methods for the Divergent Runs of Clock Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
1
2
›
