Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9087 Publications
2008 | Journal Article | IST-REx-ID: 4532
Equivalence of labeled Markov chains
L. Doyen, T.A. Henzinger, J. Raskin, International Journal of Foundations of Computer Science 19 (2008) 549–563.
View
| DOI
| Download (ext.)
L. Doyen, T.A. Henzinger, J. Raskin, International Journal of Foundations of Computer Science 19 (2008) 549–563.
2008 | Conference Paper | IST-REx-ID: 4533
Interface theories with component reuse
L. Doyen, T.A. Henzinger, B. Jobstmann, T. Petrov, in:, ACM, 2008, pp. 79–88.
View
| DOI
| Download (ext.)
L. Doyen, T.A. Henzinger, B. Jobstmann, T. Petrov, in:, ACM, 2008, pp. 79–88.
2008 | Journal Article | IST-REx-ID: 4534
Reduction of stochastic parity to stochastic mean-payoff games
K. Chatterjee, T.A. Henzinger, Information Processing Letters 106 (2008) 1–7.
View
| DOI
| Download (ext.)
K. Chatterjee, T.A. Henzinger, Information Processing Letters 106 (2008) 1–7.
2008 | Conference Paper | IST-REx-ID: 4546
Logical reliability of interacting real-time tasks
K. Chatterjee, A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, C. Pinello, A. Sangiovanni Vincentelli, in:, IEEE, 2008, pp. 909–914.
View
| DOI
| Download (ext.)
K. Chatterjee, A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, C. Pinello, A. Sangiovanni Vincentelli, in:, IEEE, 2008, pp. 909–914.
2008 | Journal Article | IST-REx-ID: 4548
Stochastic limit-average games are in EXPTIME
K. Chatterjee, R. Majumdar, T.A. Henzinger, International Journal of Game Theory 37 (2008) 219–234.
View
| DOI
| Download (ext.)
K. Chatterjee, R. Majumdar, T.A. Henzinger, International Journal of Game Theory 37 (2008) 219–234.