Please note that ISTA 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.
35 Publications
1992 | Published | Conference Paper | IST-REx-ID: 4049
M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, and T. Tan, “Edge insertion for optimal triangulations,” in 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, 1992, vol. 583, pp. 46–60.
View
| DOI
| Download None (ext.)
1992 | Published | 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
| Download None (ext.)
1992 | Published | 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
| Download None (ext.)
1992 | Published | 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
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Published | 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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Published | 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
| Download None (ext.)
1992 | Published | 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
| DOI
| Download None (ext.)
1992 | Published | 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 None (ext.)
1992 | Published | Conference Paper | IST-REx-ID: 4504
T. A. Henzinger, Z. Manna, and A. Pnueli, “What good are digital clocks?,” in 19th International Colloquium on Automata, Languages and Programming, Vienna, Austria, 1992, vol. 623, pp. 545–558.
View
| DOI
| Download None (ext.)
1992 | Published | Conference Paper | IST-REx-ID: 4505
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking for real-time systems,” in Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, CA, United States of America, 1992, pp. 394–406.
View
| DOI
| Download None (ext.)
1992 | Published | 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
| Download None (ext.)
1992 | Published | Journal Article | IST-REx-ID: 4517
T. A. Henzinger, “Sooner Is Safer Than Later,” Information Processing Letters, vol. 43, no. 3. Elsevier, pp. 135–141, 1992.
View
| DOI
| Download None (ext.)
1992 | Published | Conference Paper | IST-REx-ID: 4593
R. Alur and T. A. Henzinger, “Logics and models of real time: A survey,” in REX Workshop on Real Time: Theory in Practice, Mook, The Netherlands, 1992, vol. 600, pp. 74–106.
View
| DOI
| Download None (ext.)
1992 | Published | Conference Paper | IST-REx-ID: 4594
R. Alur and T. A. Henzinger, “Back to the future: Towards a theory of timed regular languages,” in Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, PA, United States of America, 1992, pp. 177–186.
View
| DOI
| Download None (ext.)
1992 | Published | Journal Article | IST-REx-ID: 1945
L. A. Sazanov and S. Zaǐtsev, “Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms,” Biochemistry (Moscow), vol. 57, no. 10. Izdatel’stvo Nauka, pp. 1443–1460, 1992.
View
| Download None (ext.)
| PubMed | Europe PMC