en
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.
5497 Publications
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 | 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 | Journal Article | IST-REx-ID: 2485
S. Hori, Y. Komatsu, R. Shigemoto, N. Mizuno, and S. Nakanishi, “Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors,” Endocrinology, vol. 130, no. 4, pp. 1885–1895, 1992.
View
| DOI
1992 | Journal Article | IST-REx-ID: 3471 
D. Colquhoun, P. M. Jonas, and B. Sakmann, “Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices,” Journal of Physiology, vol. 458, pp. 261–287, 1992.
View
| DOI
| Download (ext.)
1992 | Journal Article | IST-REx-ID: 4195
C. Heisenberg, H. Thoenen, and D. Lindholm, “Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons,” Neuroreport, vol. 3, no. 8, pp. 685–688, 1992.
View
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.)
1991 | Book Chapter | IST-REx-ID: 3566
H. Edelsbrunner and M. Sharir, “A hyperplane incidence problem with applications to counting distances,” in Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift, vol. 4, American Mathematical Society, 1991, pp. 253–263.
View
| Download (ext.)
1991 | Journal Article | IST-REx-ID: 3648
N. H. Barton and S. Rouhani, “The probability of fixation of a new karyotype in a continuous population,” Evolution, vol. 45, no. 3, pp. 499–517, 1991.
View
| Download (ext.)
1991 | Book Chapter | IST-REx-ID: 3567
H. Edelsbrunner, “Lines in space – A collection of results,” in Discrete & Computational Geometry, vol. 6, Springer, 1991, pp. 77–93.
View
| Download (ext.)
1991 | Conference Paper | IST-REx-ID: 4058
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and J. Snoeyink, “Computing a face in an arrangement of line segments,” presented at the SODA: Symposium on Discrete Algorithms, 1991, pp. 441–448.
View
1991 | Conference Paper | IST-REx-ID: 4508
T. A. Henzinger, Z. Manna, and A. Pnueli, “Temporal proof methodologies for real-time systems,” presented at the POPL: Principles of Programming Languages, 1991, pp. 353–366.
View
| DOI
| Download (ext.)
1991 | Thesis | IST-REx-ID: 4516
T. A. Henzinger, The Temporal Specification and Verification of Real-time Systems . Stanford University, 1991.
View
| Download (ext.)
1991 | Journal Article | IST-REx-ID: 4592
R. Alur and T. A. Henzinger, “Time for logic,” SIGACT News, vol. 22, no. 3, pp. 6–12, 1991.
View
| Download (ext.)
1991 | Journal Article | IST-REx-ID: 2530
S. Nakanishi et al., “Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel,” Recent Progress in Hormone Research, vol. 46, no. 1, pp. 59–83, 1991.
View
1991 | Journal Article | IST-REx-ID: 3468
P. M. Jonas, D. Koh, K. Kampe, M. Hermsteiner, and W. Vogel, “ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability,” Pflugers Archiv : European Journal of Physiology, vol. 418, no. 1–2, pp. 68–73, 1991.
View
| DOI
1991 | Journal Article | IST-REx-ID: 3646
J. Szymura and N. H. Barton, “The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci,” Evolution, vol. 45, no. 2, pp. 237–261, 1991.
View
| Download (ext.)
1991 | Journal Article | IST-REx-ID: 3647
N. H. Barton and M. Turelli, “Natural and sexual selection on many loci,” Genetics, vol. 127, no. 1, pp. 229–255, 1991.
View
| Download (ext.)
1991 | Conference Paper | IST-REx-ID: 4621
R. Alur, T. Feder, and T. A. Henzinger, “The benefits of relaxing punctuality,” presented at the PODC: Principles of Distributed Computing, 1991, pp. 139–152.
View
1990 | Journal Article | IST-REx-ID: 3650
J. Mallet, N. H. Barton, G. Lamas, J. Santisteban, M. Muedas, and H. Eeley, “Estimates of selection and gene flow from measures of cline width and linkage disequilibrium in Heliconius hybrid zones,” Genetics, vol. 124, no. 4, pp. 921–936, 1990.
View
| Download (ext.)
1990 | Journal Article | IST-REx-ID: 3651
N. H. Barton, “Pleiotropic models of quantitative variation,” Genetics, vol. 124, no. 3, pp. 773–782, 1990.
View
| Download (ext.)
1990 | Journal Article | IST-REx-ID: 4060
H. Edelsbrunner, F. Preparata, and D. West, “Tetrahedrizing point sets in three dimensions,” Journal of Symbolic Computation, vol. 10, no. 3–4, pp. 335–347, 1990.
View
| DOI
| Download (ext.)
1990 | Conference Paper | IST-REx-ID: 4510
T. A. Henzinger, Z. Manna, and A. Pnueli, “An interleaving model for real time,” presented at the JCIT: Jerusalem Conference on Information Technology, 1990, pp. 717–730.
View
| Download (ext.)