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.
6216 Publications
1992 | Journal Article | IST-REx-ID: 3645
N. Sanderson, J. Szymura, and N. H. Barton, “Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata,” Evolution, vol. 46, no. 3. Wiley-Blackwell, pp. 595–607, 1992.
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. The Endocrine Society, pp. 59–83, 1991.
View
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
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. ACM, pp. 6–12, 1991.
View
| Download (ext.)
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. Springer, pp. 68–73, 1991.
View
| DOI
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 | 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 | 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. Wiley-Blackwell, 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. Genetics Society of America, pp. 229–255, 1991.
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. Wiley-Blackwell, pp. 499–517, 1991.
View
| Download (ext.)
1990 | Journal Article | IST-REx-ID: 2480
R. Shigemoto, Y. Yokota, K. Tsuchida, and S. Nakanishi, “Cloning and expression of a rat neuromedin K receptor cDNA,” Journal of Biological Chemistry, vol. 265, no. 2. American Society for Biochemistry and Molecular Biology, pp. 623–628, 1990.
View
1990 | Journal Article | IST-REx-ID: 2528
T. Sugimoto et al., “Immunohistochemical study of a rat membrane protein which induces a selective potassium permeation: Its localization in the apical membrane portion of epithelial cells,” Journal of Membrane Biology, vol. 113, no. 1. Springer, pp. 39–47, 1990.
View
| DOI
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. Elsevier, pp. 335–347, 1990.
View
| DOI
| Download (ext.)
1990 | Book Chapter | IST-REx-ID: 4311
N. H. Barton and A. Clark, “Population structure,” in Population biology: ecological and evolutionary viewpoints, K. Wöhrmann and S. Jain, Eds. Springer, 1990, pp. 115–174.
View
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.)
1990 | Conference Paper | IST-REx-ID: 4522
T. A. Henzinger, “Half-order modal logic: How to prove real-time properties,” presented at the PODC: Principles of Distributed Computing, 1990, pp. 281–296.
View
| DOI
| Download (ext.)
1990 | Conference Paper | IST-REx-ID: 4597
R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” presented at the LICS: Logic in Computer Science, 1990, pp. 390–401.
View
| DOI
| Download (ext.)
1990 | Journal Article | IST-REx-ID: 3467 |

M. Bräu, F. Dreyer, P. M. Jonas, H. Repp, and W. Vogel, “A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments,” Journal of Physiology, vol. 420. Wiley-Blackwell, pp. 365–385, 1990.
View
| DOI
| Download (ext.)
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. Genetics Society of America, 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. Genetics Society of America, pp. 773–782, 1990.
View
| Download (ext.)
1989 | Journal Article | IST-REx-ID: 2525
Y. Yokota et al., “Molecular characterization of a functional cDNA for rat substance P receptor,” Journal of Biological Chemistry, vol. 264, no. 30. American Society for Biochemistry and Molecular Biology, pp. 17649–17652, 1989.
View
1989 | Journal Article | IST-REx-ID: 4079
H. Edelsbrunner and S. Skiena, “On the number of furthest neighbor pairs in a point set,” American Mathematical Monthly, vol. 96, no. 7. Mathematical Association of America, pp. 614–618, 1989.
View
| Download (ext.)
1989 | Conference Paper | IST-REx-ID: 4092
B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “A singly exponential stratification scheme for real semi-algebraic varieties and its applications,” presented at the ICALP: Automata, Languages and Programming, 1989, vol. 372, pp. 179–193.
View
| DOI
1989 | Journal Article | IST-REx-ID: 4309
M. Slatkin and N. H. Barton, “A comparison of three methods for estimating average levels of gene flow,” Evolution; International Journal of Organic Evolution, vol. 43, no. 7. Wiley-Blackwell, pp. 1349–1368, 1989.
View
| Download (ext.)
1989 | Book Chapter | IST-REx-ID: 4313
N. H. Barton, “Founder effect speciation,” in Speciation and its consequences, D. Otte and J. Endler, Eds. Sinauer Press, 1989.
View
1989 | Conference Paper | IST-REx-ID: 4596
R. Alur and T. A. Henzinger, “A really temporal logic,” presented at the FOCS: Foundations of Computer Science, 1989, pp. 164–169.
View
| DOI
| Download (ext.)
1989 | Journal Article | IST-REx-ID: 3466
P. M. Jonas, M. Bräu, M. Hermsteiner, and W. Vogel, “Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels,” PNAS, vol. 86, no. 18. National Academy of Sciences, pp. 7238–7242, 1989.
View
| Download (ext.)
1989 | Conference Paper | IST-REx-ID: 3549
H. Edelsbrunner, “Spatial triangulations with dihedral angle conditions,” presented at the International Workshop on Discrete Algorithms and Complexity, 1989, pp. 83–89.
View
1989 | Journal Article | IST-REx-ID: 3652 |

J. Mallet and N. H. Barton, “Inference from clines stabilized by frequency-dependent selection,” Genetics, vol. 122, no. 4. Genetics Society of America, pp. 967–976, 1989.
View
| Download (ext.)
1988 | Journal Article | IST-REx-ID: 1941
L. A. Sazanov, V. A. Karavaev, and A. K. Kukushkin, “Mathematical model of photosynthesis regulation accounts for the effects of changes in external conditions and observed oscillations,” J. Phys. Chem-Russia, vol. 52. Elsevier, pp. 3351–3354, 1988.
View
1988 | Book Chapter | IST-REx-ID: 4317
N. H. Barton, “Speciation,” in Analytical biogeography, A. Myers and P. Giller, Eds. Chapman Hall, 1988, pp. 185–218.
View
1988 | Journal Article | IST-REx-ID: 3655
J. Dallas, N. H. Barton, and G. Dover, “Interracial rDNA variation in the grasshopper Podisma pedestris,” Molecular Biology and Evolution, vol. 5, no. 6. Oxford University Press, pp. 660–674, 1988.
View
| Download (ext.)
1987 | Journal Article | IST-REx-ID: 2521
M. Nishimura, R. Shigemoto, K. Matsubayashi, Y. Mimori, and M. Kameyama, “Meningoencephalitis during the pre-icteric phase of hepatitis A - a case report,” Clinical Neurology, vol. 27, no. 11. Societas Neurologica Japonica, pp. 1441–1444, 1987.
View
1987 | Book | IST-REx-ID: 3900
H. Edelsbrunner, Algorithms in Combinatorial Geometry, vol. 10. Springer, 1987.
View
| Files available