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.

5893 Publications


1992 | Book Chapter | IST-REx-ID: 4507
Henzinger TA, Manna Z, Pnueli A. 1992. Timed transition systems. Real Time: Theory in Practice. , LNCS, vol. 600. 226–251.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4517
Henzinger TA. 1992. Sooner Is Safer Than Later. Information Processing Letters. 43(3), 135–141.
View | DOI | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4593
Alur R, Henzinger TA. 1992. Logics and models of real time: A survey. Real Time: Theory in Practice. , LNCS, vol. 600. 74–106.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur R, Henzinger TA. 1992. Back to the future: Towards a theory of timed regular languages. FOCS: Foundations of Computer Science 177–186.
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.
View | DOI
 

Search

Filter Publications