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.

5438 Publications


1992 | Journal Article | IST-REx-ID: 4050
Edelsbrunner H. 1992. Guest editor’s foreword. Discrete & Computational Geometry. 8(1), 217–217.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4308
Barton NH. 1992. On the spread of new gene combinations in the third phase of Wright’s shifting balance. Evolution; International Journal of Organic Evolution. 46(2), 551–557.
View | Download (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4505
Henzinger TA, Nicollin X, Sifakis J, Yovine S. 1992. Symbolic model checking for real-time systems. LICS: Logic in Computer Science 394–406.
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
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed