Please note that ISTA 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.

8924 Publications


1990 | Published | Conference Paper | IST-REx-ID: 4522
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.
View | DOI | Download None (ext.)
 

1990 | Published | Conference Paper | IST-REx-ID: 4597
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.
View | DOI | Download None (ext.)
 

1990 | Published | Journal Article | IST-REx-ID: 2480 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1990 | Published | Journal Article | IST-REx-ID: 2481 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1990 | Published | Journal Article | IST-REx-ID: 2528
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.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1990 | Published | Journal Article | IST-REx-ID: 2721
Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier
L. Erdös, D. Tuyen, Journal of Statistical Physics 59 (1990) 1589–1602.
View | DOI | Download None (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 3465
Temperature dependence of gating current in myelinated nerve fibers
P.M. Jonas, Journal of Membrane Biology 112 (1989) 277–289.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | Journal Article | IST-REx-ID: 3466 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1989 | Published | Conference Paper | IST-REx-ID: 3549
Spatial triangulations with dihedral angle conditions
H. Edelsbrunner, in:, Institute of the Electronics, Information and Communication Enginneers, 1989, pp. 83–89.
View | Download None (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 3652 | OA
Inference from clines stabilized by frequency-dependent selection
J. Mallet, N.H. Barton, Genetics 122 (1989) 967–976.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | Journal Article | IST-REx-ID: 3653
Strong natural selection in a warning color hybrid zone
J. Mallet, N.H. Barton, Evolution 43 (1989) 421–431.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | Journal Article | IST-REx-ID: 3654
Adaptation, speciation and hybrid zones
N.H. Barton, G. Hewitt, Nature 341 (1989) 497–503.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | Journal Article | IST-REx-ID: 4079
On the number of furthest neighbor pairs in a point set
H. Edelsbrunner, S. Skiena, American Mathematical Monthly 96 (1989) 614–618.
View | DOI | Download None (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4080
Circles through two points that always enclose many points
H. Edelsbrunner, N. Hasan, R. Seidel, X. Shen, Geometriae Dedicata 32 (1989) 1–12.
View | DOI | Download None (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4081 | OA
The upper envelope of piecewise linear functions: Algorithms and applications
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 4 (1989) 311–336.
[Published Version] View | DOI | Download Published Version (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4082 | OA
Topologically sweeping an arrangement
H. Edelsbrunner, L. Guibas, Journal of Computer and System Sciences 38 (1989) 165–194.
[Published Version] View | DOI | Download Published Version (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4083 | OA
Partitioning space for range queries
F. Yao, D. Dobkin, H. Edelsbrunner, M. Paterson, SIAM Journal on Computing 18 (1989) 371–384.
[Published Version] View | DOI | Download Published Version (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4084 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 

1989 | Published | Conference Paper | IST-REx-ID: 4085
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.
View | DOI | Download None (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4086 | OA
The upper envelope of piecewise linear functions: Tight bounds on the number of faces
H. Edelsbrunner, Discrete & Computational Geometry 4 (1989) 337–343.
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed