DOI,IST REx ID,Title of publication
10.1145/93385.93429,4522,Half-order modal logic: How to prove real-time properties
10.1109/LICS.1990.113764,4597,Real-time logics: Complexity and expressiveness
10.1016/s0021-9258(19)40095-1 ,2480,Cloning and expression of a rat neuromedin K receptor cDNA
10.1111/j.1432-1033.1990.tb19396.x,2481,Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors
10.1007/BF01869604,2528,Immunohistochemical study of a rat membrane protein which induces a selective potassium permeation: Its localization in the apical membrane portion of epithelial cells
10.1007/BF01334766,2721,Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier
10.1007/BF01870958,3465,Temperature dependence of gating current in myelinated nerve fibers
10.1073/pnas.86.18.7238,3466,Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels
null,3549,Spatial triangulations with dihedral angle conditions
10.1093/genetics/122.4.967,3652,Inference from clines stabilized by frequency-dependent selection
10.2307/2409217 ,3653,Strong natural selection in a warning color hybrid zone
10.1038/341497a0,3654,"Adaptation, speciation and hybrid zones"
10.1080/00029890.1989.11972250,4079,On the number of furthest neighbor pairs in a point set
10.1007/BF00181432,4080,Circles through two points that always enclose many points
10.1007/BF02187733,4081,The upper envelope of piecewise linear functions: Algorithms and applications
10.1016/0022-0000(89)90038-X,4082,Topologically sweeping an arrangement
10.1137/0218025,4083,Partitioning space for range queries
10.1016/0304-3975(89)90133-3,4084,Testing the necklace condition for shortest tours and optimal factors in the plane
10.1145/73833.73850,4085,An acyclicity theorem for cell complexes in d dimension
10.1007/BF02187734,4086,The upper envelope of piecewise linear functions: Tight bounds on the number of faces