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 Review | IST-REx-ID: 4306
N. H. Barton and N. Goldman, “Genetics and geography,” Nature, vol. 357. Nature Publishing Group, pp. 440–441, 1992.
View | DOI
 

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

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

1992 | Conference Paper | IST-REx-ID: 4504
T. A. Henzinger, Z. Manna, and A. Pnueli, “What good are digital clocks?,” presented at the ICALP: Automata, Languages and Programming, 1992, vol. 623, pp. 545–558.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4505
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking for real-time systems,” presented at the LICS: Logic in Computer Science, 1992, pp. 394–406.
View | DOI
 

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

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

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

1992 | Conference Paper | IST-REx-ID: 4594
R. Alur and T. A. Henzinger, “Back to the future: Towards a theory of timed regular languages,” presented at the FOCS: Foundations of Computer Science, 1992, pp. 177–186.
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 2714
L. Erdös, “On some problems of P. Turán concerning power sums of complex numbers,” Acta Mathematica Hungarica, vol. 59, no. 1–2, pp. 11–24, 1992.
View | DOI
 

Search

Filter Publications