Author Search Results :: UTM Library Massive Scholar Tracking

Thomas Henzinger

Henzinger in 2016

Thomas Henzinger (born 1962) is an Austrian computer scientist, researcher, and former president of the Institute of Science and Technology, Austria. Provided by Wikipedia

1

Exact and Approximate Determinization of Discounted-Sum Automata by Udi Boker, Thomas A. Henzinger

Published 2014-02-01

Get full text

Article
2

Quantitative Automata under Probabilistic Semantics by Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop

Published 2019-08-01

Get full text

Article
3

Timed Parity Games: Complexity and Robustness by Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu

Published 2011-12-01

Get full text

Article
4

Expressiveness and Closure Properties for Quantitative Languages by Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger

Published 2010-08-01

Get full text

Article
5

Determinacy in Discrete-Bidding Infinite-Duration Games by Milad Aghajohari, Guy Avni, Thomas A. Henzinger

Published 2021-02-01

Get full text

Article
6

Aspect-oriented linearizability proofs by Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis

Published 2015-04-01

Get full text

Article
7

Edit Distance for Pushdown Automata by Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop

Published 2017-09-01

Get full text

Article
8

Algorithms for Omega-Regular Games with Imperfect Information by Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-Francois Raskin

Published 2007-07-01

Get full text

Article