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 | Journal Article | IST-REx-ID: 4050
H. Edelsbrunner, “Guest editor’s foreword,” Discrete & Computational Geometry, vol. 8, no. 1. Springer, pp. 217–217, 1992.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4053
B. Aronov, H. Edelsbrunner, L. Guibas, and M. Sharir, “The number of edges of many faces in a line segment arrangement,” Combinatorica, vol. 12, no. 3. Springer, pp. 261–274, 1992.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4195
C.-P. J. Heisenberg, H. Thoenen, and D. Lindholm, “Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons,” Neuroreport, vol. 3, no. 8. Lippincott, Williams & Wilkins, pp. 685–688, 1992.
View
 

1992 | Journal Article | IST-REx-ID: 4305
T. Hatfield, N. H. Barton, and J. Searle, “A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus),” Evolution; International Journal of Organic Evolution, vol. 46, no. 4. Wiley-Blackwell, pp. 1129–1145, 1992.
View | Download (ext.)
 

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. Wiley-Blackwell, 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
 

Search

Filter Publications