TA

Thomas A. Henzinger

Institute of Science and Technology Austria 0000-0002-2985-7724

727

Publications

43,941

Citations

98

h-index

395

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (339)
Book Chapter (232)
Preprint (109)
Report (23)
Book (14)

Filter by Open Access Type

Open Access (284)
Closed Access (442)

Filter by Authors

Thomas A. Henzinger (726)
Krishnendu Chatterjee (145)
Rupak Majumdar (63)
Luca de Alfaro (49)
Rajeev Alur (46)

Filter by Topics

Formal Methods in Verification (458)
Logic, programming, and type systems (193)
Software Testing and Debugging Techniques (109)
Embedded Systems Design Techniques (88)
Real-Time Systems Scheduling (84)