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
T. A. Henzinger, “Half-order modal logic: How to prove real-time properties,” in Proceedings of the 9th annual ACM symposium on Principles of distributed computing, Quebec City, Canada, 1990, pp. 281–296.
View
| DOI
| Download None (ext.)
1990 |
Published |
Conference Paper |
IST-REx-ID: 4597
R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” in 5th Annual IEEE Symposium on Logic in Computer Science, Philadelphia, PA, USA, 1990, pp. 390–401.
View
| DOI
| Download None (ext.)
1990 |
Published |
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. American Society for Biochemistry and Molecular Biology, pp. 623–628, 1990.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1990 |
Published |
Journal Article |
IST-REx-ID: 2481 |
K. Tsuchida, R. Shigemoto, Y. Yokota, and S. Nakanishi, “Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors,” European Journal of Biochemistry, vol. 193, no. 3. Wiley-Blackwell, pp. 751–757, 1990.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1990 |
Published |
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. Springer, pp. 39–47, 1990.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1990 |
Published |
Journal Article |
IST-REx-ID: 2721
L. Erdös and D. Tuyen, “Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier,” Journal of Statistical Physics, vol. 59, no. 5–6. Springer, pp. 1589–1602, 1990.
View
| DOI
| Download None (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 3465
P. M. Jonas, “Temperature dependence of gating current in myelinated nerve fibers,” Journal of Membrane Biology, vol. 112, no. 3. Springer, pp. 277–289, 1989.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1989 |
Published |
Journal Article |
IST-REx-ID: 3466 |
P. M. Jonas, M. Bräu, M. Hermsteiner, and W. Vogel, “Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels,” PNAS, vol. 86, no. 18. National Academy of Sciences, pp. 7238–7242, 1989.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1989 |
Published |
Conference Paper |
IST-REx-ID: 3549
H. Edelsbrunner, “Spatial triangulations with dihedral angle conditions,” presented at the International Workshop on Discrete Algorithms and Complexity, 1989, pp. 83–89.
View
| Download None (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 3652 |
J. Mallet and N. H. Barton, “Inference from clines stabilized by frequency-dependent selection,” Genetics, vol. 122, no. 4. Genetics Society of America, pp. 967–976, 1989.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1989 |
Published |
Journal Article |
IST-REx-ID: 3653
J. Mallet and N. H. Barton, “Strong natural selection in a warning color hybrid zone,” Evolution, vol. 43, no. 2. Wiley-Blackwell, pp. 421–431, 1989.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1989 |
Published |
Journal Article |
IST-REx-ID: 3654
N. H. Barton and G. Hewitt, “Adaptation, speciation and hybrid zones,” Nature, vol. 341. Nature Publishing Group, pp. 497–503, 1989.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1989 |
Published |
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. Mathematical Association of America, pp. 614–618, 1989.
View
| DOI
| Download None (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 4080
H. Edelsbrunner, N. Hasan, R. Seidel, and X. Shen, “Circles through two points that always enclose many points,” Geometriae Dedicata, vol. 32, no. 1. Springer, pp. 1–12, 1989.
View
| DOI
| Download None (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 4081 |
H. Edelsbrunner, L. Guibas, and M. Sharir, “The upper envelope of piecewise linear functions: Algorithms and applications,” Discrete & Computational Geometry, vol. 4, no. 1. Springer, pp. 311–336, 1989.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 4082 |
H. Edelsbrunner and L. Guibas, “Topologically sweeping an arrangement,” Journal of Computer and System Sciences, vol. 38, no. 1. Elsevier, pp. 165–194, 1989.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 4083 |
F. Yao, D. Dobkin, H. Edelsbrunner, and M. Paterson, “Partitioning space for range queries,” SIAM Journal on Computing, vol. 18, no. 2. SIAM, pp. 371–384, 1989.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 4084 |
H. Edelsbrunner, G. Rote, and E. Welzl, “Testing the necklace condition for shortest tours and optimal factors in the plane,” Theoretical Computer Science, vol. 66, no. 2. Elsevier, pp. 157–180, 1989.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 |
Published |
Conference Paper |
IST-REx-ID: 4085
H. Edelsbrunner, “An acyclicity theorem for cell complexes in d dimension,” in Proceedings of the 5th annual symposium on Computational geometry, Saarbruchen, Germany, 1989, pp. 145–151.
View
| DOI
| Download None (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 4086 |
H. Edelsbrunner, “The upper envelope of piecewise linear functions: Tight bounds on the number of faces ,” Discrete & Computational Geometry, vol. 4, no. 4. Springer, pp. 337–343, 1989.
[Published Version]
View
| DOI
| Download Published Version (ext.)