Henzinger, Monika H, and Pan Peng. “Constant-Time Dynamic Weight Approximation for Minimum Spanning Forest.”https://doi.org/10.1016/j.ic.2021.104805__Information and Computation. Elsevier, 2021.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, Sayan, Monika H Henzinger, and Giuseppe Italiano. “Dynamic Algorithms via the Primal-Dual Method.”https://doi.org/10.1016/j.ic.2018.02.005__Information and Computation. Elsevier, 2018.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, Luca, Monika H Henzinger, and Jií Sgall. “th International Colloquium on Automata, Languages and Programming.”https://doi.org/10.1016/j.ic.2012.11.002__Information and Computation. Elsevier, 2013.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, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.”https://doi.org/10.1006/inco.2001.3085__Information and Computation. Elsevier, 2002.https://doi.org/10.1006/inco.2001.3085 .
LibreCat: https://research-explorer.ista.ac.at/record/4474
DOI: 10.1006/inco.2001.3085

Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Timed Transition Systems.”https://doi.org/10.1006/inco.1994.1060__Information and Computation. Elsevier, 1994.https://doi.org/10.1006/inco.1994.1060 .
LibreCat: https://research-explorer.ista.ac.at/record/4501
DOI: 10.1006/inco.1994.1060

Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.”https://doi.org/10.1006/inco.1994.1045__Information and Computation. Elsevier, 1994.https://doi.org/10.1006/inco.1994.1045 .
LibreCat: https://research-explorer.ista.ac.at/record/4503
DOI: 10.1006/inco.1994.1045