Henzinger, M. H., &; 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 
LibreCat: https://research-explorer.ista.ac.at/record/11756
DOI: 10.1016/j.ic.2021.104805
arXiv: 2011.00977

Bhattacharya, S., Henzinger, M. H., &; Italiano, G. (2018). Dynamic algorithms via the primal-dual method. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2018.02.005 
LibreCat: https://research-explorer.ista.ac.at/record/11757
DOI: 10.1016/j.ic.2018.02.005

Aceto, L., Henzinger, M. H., &; 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 
LibreCat: https://research-explorer.ista.ac.at/record/11758
DOI: 10.1016/j.ic.2012.11.002

Henzinger, T. A., Kupferman, O., &; Rajamani, S. (2002). Fair simulation. Information and Computation. Elsevier.https://doi.org/10.1006/inco.2001.3085 
LibreCat: https://research-explorer.ista.ac.at/record/4474
DOI: 10.1006/inco.2001.3085

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 
LibreCat: https://research-explorer.ista.ac.at/record/4501
DOI: 10.1006/inco.1994.1060

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 
LibreCat: https://research-explorer.ista.ac.at/record/4503
DOI: 10.1006/inco.1994.1045