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.
7 Publications
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. Elsevier. https://doi.org/10.1016/j.ic.2024.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. Elsevier. https://doi.org/10.1016/j.ic.2021.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. Elsevier. https://doi.org/10.1016/j.ic.2018.02.005
[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. Elsevier. https://doi.org/10.1016/j.ic.2012.11.002
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 4474 |
Henzinger, T. A., Kupferman, O., & Rajamani, S. (2002). Fair simulation. Information and Computation. Elsevier. https://doi.org/10.1006/inco.2001.3085
[Published Version]
View
| DOI
| Download Published Version (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4501 |
Henzinger, T. A., Manna, Z., & Pnueli, A. (1994). Temporal proof methodologies for timed transition systems. Information and Computation. Elsevier. https://doi.org/10.1006/inco.1994.1060
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4503
Henzinger, T. A., Nicollin, X., Sifakis, J., & Yovine, S. (1994). Symbolic model checking for real-time systems. Information and Computation. Elsevier. https://doi.org/10.1006/inco.1994.1045
View
| DOI
| Download None (ext.)