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.
212 Publications
2008 | Conference Paper | IST-REx-ID: 4527
Bounded asynchrony: Concurrency for modeling cell-cell interactions
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
View
| DOI
| Download (ext.)
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
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.