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.

6 Publications


2021 | Published | Journal Article | IST-REx-ID: 11756 | OA
Constant-time dynamic weight approximation for minimum spanning forest
M.H. Henzinger, P. Peng, Information and Computation 281 (2021).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 11757 | OA
Dynamic algorithms via the primal-dual method
S. Bhattacharya, M.H. 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.H. Henzinger, J. Sgall, Information and Computation 222 (2013) 1.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4474 | OA
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 | OA
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.)
 

Filters and Search Terms

issn=0890-5401

Search

Filter Publications

Display / Sort

Export / Embed