The probability of fixation of a new karyotype in a continuous population
N.H. Barton, S. Rouhani, Evolution 45 (1991) 499–517.
LibreCat: https://research-explorer.ista.ac.at/record/3648
DOI: 10.1111/j.1558-5646.1991.tb04326.x
PMID: 28568824

Ray shooting in polygons using geodesic triangulations
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, in:, 18th International Colloquium on Automata, Languages and Programming, Springer, 1991, pp. 661–673.
LibreCat: https://research-explorer.ista.ac.at/record/4059
DOI: 10.1007/3-540-54233-7_172

Euclidean minimum spanning trees and bichromatic closest pairs
P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, E. Welzl, Discrete &; Computational Geometry 6 (1991) 407–422.
LibreCat: https://research-explorer.ista.ac.at/record/4061
DOI: 10.1007/BF02574698

Points and triangles in the plane and halving planes in space
B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, R. Wenger, Discrete &; Computational Geometry 6 (1991) 435–442.
LibreCat: https://research-explorer.ista.ac.at/record/4062
DOI: 10.1007/BF02574700

Temporal proof methodologies for real-time systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 1991, pp. 353–366.
LibreCat: https://research-explorer.ista.ac.at/record/4508
DOI: 10.1145/99583.99629

The temporal specification and verification of real-time systems 
T.A. Henzinger, The Temporal Specification and Verification of Real-Time Systems , Stanford University, 1991.
LibreCat: https://research-explorer.ista.ac.at/record/4516

Time for logic
R. Alur, T.A. Henzinger, SIGACT News 22 (1991) 6–12.
LibreCat: https://research-explorer.ista.ac.at/record/4592

The benefits of relaxing punctuality
R. Alur, T. Feder, T.A. Henzinger, in:, Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1991, pp. 139–152.
LibreCat: https://research-explorer.ista.ac.at/record/4621
DOI: 10.1145/227595.227602

Cloning and expression of a rat neuromedin K receptor cDNA
R. Shigemoto, Y. Yokota, K. Tsuchida, S. Nakanishi, Journal of Biological Chemistry 265 (1990) 623–628.
LibreCat: https://research-explorer.ista.ac.at/record/2480
DOI: 10.1016/s0021-9258(19)40095-1 
PMID: 2153106 

Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors
K. Tsuchida, R. Shigemoto, Y. Yokota, S. Nakanishi, European Journal of Biochemistry 193 (1990) 751–757.
LibreCat: https://research-explorer.ista.ac.at/record/2481
DOI: 10.1111/j.1432-1033.1990.tb19396.x
PMID: 1701145

Immunohistochemical study of a rat membrane protein which induces a selective potassium permeation: Its localization in the apical membrane portion of epithelial cells
T. Sugimoto, Y. Tanabe, R. Shigemoto, M. Iwai, T. Takumi, H. Ohkubo, S. Nakanishi, Journal of Membrane Biology 113 (1990) 39–47.
LibreCat: https://research-explorer.ista.ac.at/record/2528
DOI: 10.1007/BF01869604
PMID: 2154581

Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier
L. Erdös, D. Tuyen, Journal of Statistical Physics 59 (1990) 1589–1602.
LibreCat: https://research-explorer.ista.ac.at/record/2721
DOI: 10.1007/BF01334766

Estimates of selection and gene flow from measures of cline width and linkage disequilibrium in Heliconius hybrid zones
J. Mallet, N.H. Barton, G. Lamas, J. Santisteban, M. Muedas, H. Eeley, Genetics 124 (1990) 921–936.
LibreCat: https://research-explorer.ista.ac.at/record/3650
DOI: 10.1093/genetics/124.4.921
PMID: 2323556

Dynamics of polygenic characters under selection
M. Turelli, N.H. Barton, Theoretical Population Biology 38 (1990) 1–57.
LibreCat: https://research-explorer.ista.ac.at/record/3649
DOI: 10.1016/0040-5809(90)90002-D

Pleiotropic models of quantitative variation
N.H. Barton, Genetics 124 (1990) 773–782.
LibreCat: https://research-explorer.ista.ac.at/record/3651
DOI: 10.1093/genetics/124.3.773 
PMID: 2311921

A hyperplane Incidence problem with applications to counting distances
H. Edelsbrunner, M. Sharir, in:, Proceedings of the International Symposium on Algorithms, Springer, 1990, pp. 419–428.
LibreCat: https://research-explorer.ista.ac.at/record/4067
DOI: 10.1007/3-540-52921-7_91

The complexity of many cells in arrangements of planes and related problems
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete &; Computational Geometry 5 (1990) 197–216.
LibreCat: https://research-explorer.ista.ac.at/record/4066
DOI: 10.1007/BF02187785

The complexity and construction of many faces in arrangements of lines and of segments
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete &; Computational Geometry 5 (1990) 161–196.
LibreCat: https://research-explorer.ista.ac.at/record/4072
DOI: 10.1007/BF02187784

Counting and cutting cycles of lines and rods in space
B. Chazelle, H. Edelsbrunner, L. Guibas, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, in:, 31st Annual Symposium on Foundations of Computer Science, IEEE, 1990, pp. 242–251.
LibreCat: https://research-explorer.ista.ac.at/record/4073
DOI: 10.1109/FSCS.1990.89543

Ranking intervals under visibility constraints
H. Edelsbrunner, M. Overmars, E. Welzl, I. Hartman, J. Feldman, International Journal of Computer Mathematics 34 (1990) 129–144.
LibreCat: https://research-explorer.ista.ac.at/record/4070
DOI: 10.1080/00207169008803871