ISTA Research Explorer

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

2024 | Published | Journal Article | IST-REx-ID: 17474 |

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

[Published Version] View | Files available | DOI | arXiv

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

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

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

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

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

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

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

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

View | DOI

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

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

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

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

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

View | DOI | Download None (ext.)

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

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

View | DOI | Download None (ext.)