Please note that IST 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.

5883 Publications


1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). Timed transition systems. In Real Time: Theory in Practice (Vol. 600, pp. 226–251). Springer. https://doi.org/10.1007/BFb0031995
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4517
Henzinger, T. A. (1992). Sooner Is Safer Than Later. Information Processing Letters, 43(3), 135–141. https://doi.org/10.1016/0020-0190(92)90005-G
View | DOI | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4593
Alur, R., & Henzinger, T. A. (1992). Logics and models of real time: A survey. In Real Time: Theory in Practice (Vol. 600, pp. 74–106). Springer. https://doi.org/10.1007/BFb0031984
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur, R., & Henzinger, T. A. (1992). Back to the future: Towards a theory of timed regular languages (pp. 177–186). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/SFCS.1992.267774
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 2714
Erdös, L. (1992). On some problems of P. Turán concerning power sums of complex numbers. Acta Mathematica Hungarica, 59(1–2), 11–24. https://doi.org/10.1007/BF00052086
View | DOI
 

Search

Filter Publications