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.

6694 Publications

1992 | Book Chapter | IST-REx-ID: 4307
Barton NH. The genetic consequences of dispersal. In: Stenseth N, Lidicker W, eds. Animal Dispersal: Small Mammals as a Model. Chapman Hall; 1992:37-60.

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

1992 | Conference Paper | IST-REx-ID: 4504
Henzinger TA, Manna Z, Pnueli A. What good are digital clocks? In: Vol 623. Springer; 1992:545-558. doi:10.1007/3-540-55719-9_103
View | DOI

1992 | Conference Paper | IST-REx-ID: 4505
Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for real-time systems. In: IEEE; 1992:394-406. doi:10.1109/LICS.1992.185551
View | DOI

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger TA, Manna Z, Pnueli A. Timed transition systems. In: Real Time: Theory in Practice. Vol 600. Springer; 1992:226-251. doi:10.1007/BFb0031995
View | DOI


Filter Publications