Half-order modal logic: How to prove real-time properties
T.A. Henzinger, in:, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1990, pp. 281–296.

Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, in:,  5th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1990, pp. 390–401.

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.

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.

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.

Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier
L. Erdös, D. Tuyen, Journal of Statistical Physics 59 (1990) 1589–1602.

Temperature dependence of gating current in myelinated nerve fibers
P.M. Jonas, Journal of Membrane Biology 112 (1989) 277–289.

Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels
P.M. Jonas, M. Bräu, M. Hermsteiner, W. Vogel, PNAS 86 (1989) 7238–7242.

Spatial triangulations with dihedral angle conditions
H. Edelsbrunner, in:, Institute of the Electronics, Information and Communication Enginneers, 1989, pp. 83–89.

Inference from clines stabilized by frequency-dependent selection
J. Mallet, N.H. Barton, Genetics 122 (1989) 967–976.

Strong natural selection in a warning color hybrid zone
J. Mallet, N.H. Barton, Evolution 43 (1989) 421–431.

Adaptation, speciation and hybrid zones
N.H. Barton, G. Hewitt, Nature 341 (1989) 497–503.

On the number of furthest neighbor pairs in a point set
H. Edelsbrunner, S. Skiena, American Mathematical Monthly 96 (1989) 614–618.

Circles through two points that always enclose many points
H. Edelsbrunner, N. Hasan, R. Seidel, X. Shen, Geometriae Dedicata 32 (1989) 1–12.

The upper envelope of piecewise linear functions: Algorithms and applications
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete &; Computational Geometry 4 (1989) 311–336.

Topologically sweeping an arrangement
H. Edelsbrunner, L. Guibas, Journal of Computer and System Sciences 38 (1989) 165–194.

Partitioning space for range queries
F. Yao, D. Dobkin, H. Edelsbrunner, M. Paterson, SIAM Journal on Computing 18 (1989) 371–384.

Testing the necklace condition for shortest tours and optimal factors in the plane
H. Edelsbrunner, G. Rote, E. Welzl, Theoretical Computer Science 66 (1989) 157–180.

An acyclicity theorem for cell complexes in d dimension
H. Edelsbrunner, in:, Proceedings of the 5th Annual Symposium on Computational Geometry, ACM, 1989, pp. 145–151.

The upper envelope of piecewise linear functions: Tight bounds on the number of faces 
H. Edelsbrunner, Discrete &; Computational Geometry 4 (1989) 337–343.