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.
5874 Publications
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 | 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 | 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 | 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, 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 | 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.)
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, 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, 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, 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, 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, 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.)
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, 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, pp. 614–618, 1989.
View
| Download (ext.)