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
Bern M, Edelsbrunner H, Eppstein D, Mitchell S, Tan T. 1992. Edge insertion for optimal triangulations. 1st Latin American Symposium on Theoretical Informatics. LATIN: Latin American Symposium on Theoretical Informatics , LNCS, vol. 583, 46–60.
View
| DOI
| Download None (ext.)
1992 | Published | Journal Article | IST-REx-ID: 4050
Edelsbrunner H. 1992. Guest editor’s foreword. Discrete & Computational Geometry. 8(1), 217–217.
View
| DOI
| Download None (ext.)
1992 | Published | Journal Article | IST-REx-ID: 4053
Aronov B, Edelsbrunner H, Guibas L, Sharir M. 1992. The number of edges of many faces in a line segment arrangement. Combinatorica. 12(3), 261–274.
View
| DOI
| Download None (ext.)
1992 | Published | Journal Article | IST-REx-ID: 4195
Heisenberg C-PJ, Thoenen H, Lindholm D. 1992. Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons. Neuroreport. 3(8), 685–688.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Published | Journal Article | IST-REx-ID: 4305
Hatfield T, Barton NH, Searle J. 1992. A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus). Evolution; International Journal of Organic Evolution. 46(4), 1129–1145.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Published | Book Review | IST-REx-ID: 4306
Barton NH, Goldman N. 1992. Genetics and geography. Nature. 357, 440–441.
View
| DOI
| Download None (ext.)
1992 | Published | Book Chapter | IST-REx-ID: 4307
Barton NH. 1992.The genetic consequences of dispersal. In: Animal dispersal: small mammals as a model. , 37–60.
View
| DOI
| Download None (ext.)
1992 | Published | Journal Article | IST-REx-ID: 4308
Barton NH. 1992. On the spread of new gene combinations in the third phase of Wright’s shifting balance. Evolution; International Journal of Organic Evolution. 46(2), 551–557.
View
| Download None (ext.)
1992 | Published | Conference Paper | IST-REx-ID: 4504
Henzinger TA, Manna Z, Pnueli A. 1992. What good are digital clocks? 19th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 623, 545–558.
View
| DOI
| Download None (ext.)
1992 | Published | Conference Paper | IST-REx-ID: 4505
Henzinger TA, Nicollin X, Sifakis J, Yovine S. 1992. Symbolic model checking for real-time systems. Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 394–406.
View
| DOI
| Download None (ext.)
1992 | Published | Book Chapter | IST-REx-ID: 4507
Henzinger TA, Manna Z, Pnueli A. 1992.Timed transition systems. In: Real Time: Theory in Practice. LNCS, vol. 600, 226–251.
View
| DOI
| Download None (ext.)
1992 | Published | Journal Article | IST-REx-ID: 4517
Henzinger TA. 1992. Sooner Is Safer Than Later. Information Processing Letters. 43(3), 135–141.
View
| DOI
| Download None (ext.)
1992 | Published | Conference Paper | IST-REx-ID: 4593
Alur R, Henzinger TA. 1992. Logics and models of real time: A survey. REX Workshop on Real Time: Theory in Practice. Workshop/School/Symposium of the REX Project, LNCS, vol. 600, 74–106.
View
| DOI
| Download None (ext.)
1992 | Published | Conference Paper | IST-REx-ID: 4594
Alur R, Henzinger TA. 1992. Back to the future: Towards a theory of timed regular languages. Proceedings of the 33rd Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 177–186.
View
| DOI
| Download None (ext.)
1992 | Published | Journal Article | IST-REx-ID: 1945
Sazanov LA, Zaǐtsev S. 1992. Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms. Biochemistry (Moscow). 57(10), 1443–1460.
View
| Download None (ext.)
| PubMed | Europe PMC