☰

Thomas A. Henzinger

Affiliations: 
University of California, Berkeley, Berkeley, CA, United States 
Area:
Computer Science
Google:
"Thomas Henzinger"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Yiu-Chung Mang grad student 2002 UC Berkeley
Benjamin Horowitz grad student 2003 UC Berkeley
Krishnendu Chatterjee grad student 2007 UC Berkeley
Slobodan Matic grad student 2008 UC Berkeley
Vinayak Prabhu grad student 2008 UC Berkeley

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Avni G, Henzinger TA, Kupferman O. (2020) Dynamic resource allocation games Theoretical Computer Science. 807: 42-55
Avni G, Henzinger TA, Chonev V. (2019) Infinite-duration Bidding Games Journal of the Acm. 66: 1-29
Chatterjee K, Henzinger TA, Otop J. (2017) Nested Weighted Automata Acm Transactions On Computational Logic. 18: 1-44
Henzinger TA, Otop J. (2017) Model measuring for discrete and hybrid systems Nonlinear Analysis: Hybrid Systems. 23: 166-190
Chatterjee K, Henzinger TA, Otop J, et al. (2017) Quantitative fair simulation games Information and Computation. 254: 143-166
Schilling C, Bogomolov S, Henzinger TA, et al. (2016) Adaptive moment closure for parameter inference of biochemical reaction networks. Bio Systems
Daca P, Henzinger TA, Křetínský J, et al. (2016) Faster statistical model checking for unbounded temporal properties Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9636: 112-129
Velner Y, Chatterjee K, Doyen L, et al. (2015) The complexity of multi-mean-payoff and multi-energy games Information and Computation. 241: 177-196
Boker U, Henzinger T. (2014) Exact and Approximate Determinization of Discounted-Sum Automata Logical Methods in Computer Science. 10
Boker U, Chatterjee K, Henzinger TA, et al. (2014) Temporal specifications with accumulative values Acm Transactions On Computational Logic. 15
See more...