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.
35 Publications
1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “What Good Are Digital Clocks?” In 19th International Colloquium on Automata, Languages and Programming, 623:545–58. Springer, 1992. https://doi.org/10.1007/3-540-55719-9_103.
View
| DOI
| Download None (ext.)
1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Timed Transition Systems.” In Real Time: Theory in Practice, 600:226–51. Springer, 1992. https://doi.org/10.1007/BFb0031995.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4517
Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters. Elsevier, 1992. https://doi.org/10.1016/0020-0190(92)90005-G.
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4593
Alur, Rajeev, and Thomas A Henzinger. “Logics and Models of Real Time: A Survey.” In REX Workshop on Real Time: Theory in Practice, 600:74–106. Springer, 1992. https://doi.org/10.1007/BFb0031984.
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4594
Alur, Rajeev, and Thomas A Henzinger. “Back to the Future: Towards a Theory of Timed Regular Languages.” In Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, 177–86. IEEE, 1992. https://doi.org/10.1109/SFCS.1992.267774.
View
| DOI
| Download None (ext.)