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.

6705 Publications

1992 | Book Review | IST-REx-ID: 4306
Barton, N. H., & Goldman, N. (1992). Genetics and geography. Nature. Nature Publishing Group.
View | DOI

1992 | Book Chapter | IST-REx-ID: 4307
Barton, N. H. (1992). The genetic consequences of dispersal. In N. Stenseth & W. Lidicker (Eds.), Animal dispersal: small mammals as a model (pp. 37–60). Chapman Hall.

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. Wiley-Blackwell.
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.
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.
View | DOI


Filter Publications