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.
6285 Publications
1991 | Journal Article | IST-REx-ID: 2530
Nakanishi S, Ohkubo H, Kakizuka A, Yokota Y, Shigemoto R, Sasai Y, Takumi T. 1991. Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel. Recent Progress in Hormone Research. 46(1), 59–83.
View
1991 | Conference Paper | IST-REx-ID: 4621
Alur R, Feder T, Henzinger TA. 1991. The benefits of relaxing punctuality. PODC: Principles of Distributed Computing, 139–152.
View
1991 | Conference Paper | IST-REx-ID: 4058
Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. 1991. Computing a face in an arrangement of line segments. SODA: Symposium on Discrete Algorithms, 441–448.
View
1991 | Conference Paper | IST-REx-ID: 4508
Henzinger TA, Manna Z, Pnueli A. 1991. Temporal proof methodologies for real-time systems. POPL: Principles of Programming Languages, 353–366.
View
| DOI
| Download (ext.)
1991 | Thesis | IST-REx-ID: 4516
Henzinger TA. 1991. The Temporal Specification and Verification of Real-time Systems . Stanford University.
View
| Download (ext.)
1991 | Journal Article | IST-REx-ID: 4592
Alur R, Henzinger TA. 1991. Time for logic. SIGACT News. 22(3), 6–12.
View
| Download (ext.)
1991 | Book Chapter | IST-REx-ID: 3566
Edelsbrunner H, Sharir M. 1991.A hyperplane incidence problem with applications to counting distances. In: Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 4, 253–263.
View
| Download (ext.)
1991 | Book Chapter | IST-REx-ID: 3567
Edelsbrunner H. 1991.Lines in space – A collection of results. In: Discrete & Computational Geometry. DIAMCS Series in Discrete Mathematics and Theoretical Computer Science, vol. 6, 77–93.
View
| Download (ext.)
1991 | Journal Article | IST-REx-ID: 3646
Szymura J, Barton NH. 1991. The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci. Evolution. 45(2), 237–261.
View
| Download (ext.)
1991 | Journal Article | IST-REx-ID: 3647
Barton NH, Turelli M. 1991. Natural and sexual selection on many loci. Genetics. 127(1), 229–255.
View
| Download (ext.)
1991 | Journal Article | IST-REx-ID: 3648
Barton NH, Rouhani S. 1991. The probability of fixation of a new karyotype in a continuous population. Evolution. 45(3), 499–517.
View
| Download (ext.)
1990 | Journal Article | IST-REx-ID: 2480
Shigemoto R, Yokota Y, Tsuchida K, Nakanishi S. 1990. Cloning and expression of a rat neuromedin K receptor cDNA. Journal of Biological Chemistry. 265(2), 623–628.
View
1990 | Journal Article | IST-REx-ID: 2528
Sugimoto T, Tanabe Y, Shigemoto R, Iwai M, Takumi T, Ohkubo H, Nakanishi S. 1990. 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. 113(1), 39–47.
View
| DOI
1990 | Journal Article | IST-REx-ID: 4060
Edelsbrunner H, Preparata F, West D. 1990. Tetrahedrizing point sets in three dimensions. Journal of Symbolic Computation. 10(3–4), 335–347.
View
| DOI
| Download (ext.)
1990 | Book Chapter | IST-REx-ID: 4311
Barton NH, Clark A. 1990.Population structure. In: Population biology: ecological and evolutionary viewpoints. , 115–174.
View
1990 | Conference Paper | IST-REx-ID: 4510
Henzinger TA, Manna Z, Pnueli A. 1990. An interleaving model for real time. JCIT: Jerusalem Conference on Information Technology, 717–730.
View
| Download (ext.)
1990 | Conference Paper | IST-REx-ID: 4522
Henzinger TA. 1990. Half-order modal logic: How to prove real-time properties. PODC: Principles of Distributed Computing, 281–296.
View
| DOI
| Download (ext.)
1990 | Conference Paper | IST-REx-ID: 4597
Alur R, Henzinger TA. 1990. Real-time logics: Complexity and expressiveness. LICS: Logic in Computer Science, 390–401.
View
| DOI
| Download (ext.)
1990 | Journal Article | IST-REx-ID: 3467 |

Bräu M, Dreyer F, Jonas PM, Repp H, Vogel W. 1990. A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments. Journal of Physiology. 420, 365–385.
View
| DOI
| Download (ext.)
1990 | Journal Article | IST-REx-ID: 3650 |

Mallet J, Barton NH, Lamas G, Santisteban J, Muedas M, Eeley H. 1990. Estimates of selection and gene flow from measures of cline width and linkage disequilibrium in Heliconius hybrid zones. Genetics. 124(4), 921–936.
View
| Download (ext.)
1990 | Journal Article | IST-REx-ID: 3651 |

Barton NH. 1990. Pleiotropic models of quantitative variation. Genetics. 124(3), 773–782.
View
| Download (ext.)
1989 | Journal Article | IST-REx-ID: 2525
Yokota Y, Sasai Y, Tanaka K, Fujiwara T, Tsuchida K, Shigemoto R, Kakizuka A, Ohkubo H, Nakanishi S. 1989. Molecular characterization of a functional cDNA for rat substance P receptor. Journal of Biological Chemistry. 264(30), 17649–17652.
View
1989 | Journal Article | IST-REx-ID: 4079
Edelsbrunner H, Skiena S. 1989. On the number of furthest neighbor pairs in a point set. American Mathematical Monthly. 96(7), 614–618.
View
| Download (ext.)
1989 | Journal Article | IST-REx-ID: 4309
Slatkin M, Barton NH. 1989. A comparison of three methods for estimating average levels of gene flow. Evolution; International Journal of Organic Evolution. 43(7), 1349–1368.
View
| Download (ext.)
1989 | Book Chapter | IST-REx-ID: 4313
Barton NH. 1989.Founder effect speciation. In: Speciation and its consequences. .
View
1989 | Conference Paper | IST-REx-ID: 4596
Alur R, Henzinger TA. 1989. A really temporal logic. FOCS: Foundations of Computer Science, 164–169.
View
| DOI
| Download (ext.)
1989 | Journal Article | IST-REx-ID: 3466
Jonas PM, Bräu M, Hermsteiner M, Vogel W. 1989. Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels. PNAS. 86(18), 7238–7242.
View
| Download (ext.)
1989 | Conference Paper | IST-REx-ID: 3549
Edelsbrunner H. 1989. Spatial triangulations with dihedral angle conditions. International Workshop on Discrete Algorithms and Complexity, 83–89.
View
1989 | Journal Article | IST-REx-ID: 3652 |

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