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.
263 Publications
1996 |
Published |
Book (Editor) |
IST-REx-ID: 4612
Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. Hybrid Systems III: Verification and Control. Vol. 1066. Lecture Notes in Computer Science. Berlin ; Heidelberg: Springer, 1996. https://doi.org/10.1007/BFb0020931.
View
| DOI
1995 |
Published |
Conference Paper |
IST-REx-ID: 11805
Henzinger, Monika, and Han Poutré. “Certificates and Fast Algorithms for Biconnectivity in Fully-Dynamic Graphs.” In 3rd Annual European Symposium on Algorithms, 979:171–184. Springer Nature, 1995. https://doi.org/10.1007/3-540-60313-1_142.
View
| DOI
1995 |
Published |
Conference Paper |
IST-REx-ID: 11806
Henzinger, Monika. “Approximating Minimum Cuts under Insertions.” In 22nd International Colloquium on Automata, Languages and Programming, 944:280–291. Springer Nature, 1995. https://doi.org/10.1007/3-540-60084-1_81.
View
| DOI