ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17474 |

Entropic risk for turn-based stochastic games
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, Information and Computation 301 (2024).

[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv

2021 | Published | Journal Article | IST-REx-ID: 11756 |

Constant-time dynamic weight approximation for minimum spanning forest
M. Henzinger, P. Peng, Information and Computation 281 (2021).

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2018 | Published | Journal Article | IST-REx-ID: 11757 |

Dynamic algorithms via the primal-dual method
S. Bhattacharya, M. Henzinger, G. Italiano, Information and Computation 261 (2018) 219–239.

[Published Version] View | DOI | Download Published Version (ext.)

2013 | Published | Journal Article | IST-REx-ID: 11758

38th International Colloquium on Automata, Languages and Programming
L. Aceto, M. Henzinger, J. Sgall, Information and Computation 222 (2013) 1.

View | DOI

2002 | Published | Journal Article | IST-REx-ID: 4474 |

Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.

[Published Version] View | DOI | Download Published Version (ext.)

1994 | Published | Journal Article | IST-REx-ID: 4501 |

Temporal proof methodologies for timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.

View | DOI | Download None (ext.)

1994 | Published | Journal Article | IST-REx-ID: 4503

Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.

View | DOI | Download None (ext.)