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., et al. “What Good Are Digital Clocks?” 19th International Colloquium on Automata, Languages and Programming, vol. 623, Springer, 1992, pp. 545–58, doi:10.1007/3-540-55719-9_103.
View
| DOI
| Download None (ext.)
1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, Thomas A., et al. “Timed Transition Systems.” Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 226–51, doi: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, vol. 43, no. 3, Elsevier, 1992, pp. 135–41, doi: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.” REX Workshop on Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 74–106, doi: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.” Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, IEEE, 1992, pp. 177–86, doi:10.1109/SFCS.1992.267774.
View
| DOI
| Download None (ext.)