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
Henzinger, T. A. (1990). Half-order modal logic: How to prove real-time properties. In Proceedings of the 9th annual ACM symposium on Principles of distributed computing (pp. 281–296). Quebec City, Canada: ACM. https://doi.org/10.1145/93385.93429
View | DOI | Download None (ext.)
 

1990 | Published | Conference Paper | IST-REx-ID: 4597
Alur, R., & Henzinger, T. A. (1990). Real-time logics: Complexity and expressiveness. In 5th Annual IEEE Symposium on Logic in Computer Science (pp. 390–401). Philadelphia, PA, USA: IEEE. https://doi.org/10.1109/LICS.1990.113764
View | DOI | Download None (ext.)
 

1990 | Published | Journal Article | IST-REx-ID: 2480 | OA
Shigemoto, R., Yokota, Y., Tsuchida, K., & Nakanishi, S. (1990). Cloning and expression of a rat neuromedin K receptor cDNA. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1016/s0021-9258(19)40095-1
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1990 | Published | Journal Article | IST-REx-ID: 2481 | OA
Tsuchida, K., Shigemoto, R., Yokota, Y., & Nakanishi, S. (1990). Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors. European Journal of Biochemistry. Wiley-Blackwell. https://doi.org/10.1111/j.1432-1033.1990.tb19396.x
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1990 | Published | Journal Article | IST-REx-ID: 2528
Sugimoto, T., Tanabe, Y., Shigemoto, R., Iwai, M., Takumi, T., Ohkubo, H., & Nakanishi, S. (1990). 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. Springer. https://doi.org/10.1007/BF01869604
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1990 | Published | Journal Article | IST-REx-ID: 2721
Erdös, L., & Tuyen, D. (1990). Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier. Journal of Statistical Physics. Springer. https://doi.org/10.1007/BF01334766
View | DOI | Download None (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 3465
Jonas, P. M. (1989). Temperature dependence of gating current in myelinated nerve fibers. Journal of Membrane Biology. Springer. https://doi.org/10.1007/BF01870958
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | Journal Article | IST-REx-ID: 3466 | OA
Jonas, P. M., Bräu, M., Hermsteiner, M., & Vogel, W. (1989). Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.86.18.7238
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

1989 | Published | Journal Article | IST-REx-ID: 3652 | OA
Mallet, J., & Barton, N. H. (1989). Inference from clines stabilized by frequency-dependent selection. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/122.4.967
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | Journal Article | IST-REx-ID: 3653
Mallet, J., & Barton, N. H. (1989). Strong natural selection in a warning color hybrid zone. Evolution. Wiley-Blackwell. https://doi.org/10.2307/2409217
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | Journal Article | IST-REx-ID: 3654
Barton, N. H., & Hewitt, G. (1989). Adaptation, speciation and hybrid zones. Nature. Nature Publishing Group. https://doi.org/10.1038/341497a0
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1989 | Published | Journal Article | IST-REx-ID: 4079
Edelsbrunner, H., & Skiena, S. (1989). On the number of furthest neighbor pairs in a point set. American Mathematical Monthly. Mathematical Association of America. https://doi.org/10.1080/00029890.1989.11972250
View | DOI | Download None (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4080
Edelsbrunner, H., Hasan, N., Seidel, R., & Shen, X. (1989). Circles through two points that always enclose many points. Geometriae Dedicata. Springer. https://doi.org/10.1007/BF00181432
View | DOI | Download None (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4081 | OA
Edelsbrunner, H., Guibas, L., & Sharir, M. (1989). The upper envelope of piecewise linear functions: Algorithms and applications. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187733
[Published Version] View | DOI | Download Published Version (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4082 | OA
Edelsbrunner, H., & Guibas, L. (1989). Topologically sweeping an arrangement. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/0022-0000(89)90038-X
[Published Version] View | DOI | Download Published Version (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4083 | OA
Yao, F., Dobkin, D., Edelsbrunner, H., & Paterson, M. (1989). Partitioning space for range queries. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/0218025
[Published Version] View | DOI | Download Published Version (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4084 | OA
Edelsbrunner, H., Rote, G., & Welzl, E. (1989). Testing the necklace condition for shortest tours and optimal factors in the plane. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/0304-3975(89)90133-3
[Published Version] View | DOI | Download Published Version (ext.)
 

1989 | Published | Conference Paper | IST-REx-ID: 4085
Edelsbrunner, H. (1989). An acyclicity theorem for cell complexes in d dimension. In Proceedings of the 5th annual symposium on Computational geometry (pp. 145–151). Saarbruchen, Germany: ACM. https://doi.org/10.1145/73833.73850
View | DOI | Download None (ext.)
 

1989 | Published | Journal Article | IST-REx-ID: 4086 | OA
Edelsbrunner, H. (1989). The upper envelope of piecewise linear functions: Tight bounds on the number of faces . Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187734
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed