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.

6077 Publications


1992 | Journal Article | IST-REx-ID: 4308
Barton, N. H. (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: 4504
Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). What good are digital clocks? (Vol. 623, pp. 545–558). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-55719-9_103
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, T. A., Nicollin, X., Sifakis, J., & Yovine, S. (1992). Symbolic model checking for real-time systems (pp. 394–406). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1992.185551
View | DOI
 

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.)
 

Search

Filter Publications