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, Thomas A. “Half-Order Modal Logic: How to Prove Real-Time Properties.” In Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, 281–96. ACM, 1990. https://doi.org/10.1145/93385.93429.
View
| DOI
| Download None (ext.)
1990 |
Published |
Conference Paper |
IST-REx-ID: 4597
Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.” In 5th Annual IEEE Symposium on Logic in Computer Science, 390–401. IEEE, 1990. https://doi.org/10.1109/LICS.1990.113764.
View
| DOI
| Download None (ext.)
1990 |
Published |
Journal Article |
IST-REx-ID: 2480 |
Shigemoto, Ryuichi, Yoshifumi Yokota, Kunihiro Tsuchida, and Shigetada Nakanishi. “Cloning and Expression of a Rat Neuromedin K Receptor CDNA.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1990. 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 |
Tsuchida, Kunihiro, Ryuichi Shigemoto, Yoshifumi Yokota, and Shigetada Nakanishi. “Tissue Distribution and Quantitation of the MRNAs for Three Rat Tachykinin Receptors.” European Journal of Biochemistry. Wiley-Blackwell, 1990. 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, Tetsuo, Yasuto Tanabe, Ryuichi Shigemoto, Masazumi Iwai, Toru Takumi, Hiroaki Ohkubo, and Shigetada Nakanishi. “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, 1990. 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ászló, and Dao Tuyen. “Ergodic Properties of the Multidimensional Rayleigh Gas with a Semipermeable Barrier.” Journal of Statistical Physics. Springer, 1990. https://doi.org/10.1007/BF01334766.
View
| DOI
| Download None (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 3465
Jonas, Peter M. “Temperature Dependence of Gating Current in Myelinated Nerve Fibers.” Journal of Membrane Biology. Springer, 1989. https://doi.org/10.1007/BF01870958.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1989 |
Published |
Journal Article |
IST-REx-ID: 3466 |
Jonas, Peter M, Michael Bräu, Markus Hermsteiner, and Werner Vogel. “Single-Channel Recording in Myelinated Nerve Fibers Reveals One Type of Na Channel but Different K Channels.” PNAS. National Academy of Sciences, 1989. 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, Herbert. “Spatial Triangulations with Dihedral Angle Conditions,” 83–89. Institute of the Electronics, Information and Communication Enginneers, 1989.
View
| Download None (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 3652 |
Mallet, James, and Nicholas H Barton. “Inference from Clines Stabilized by Frequency-Dependent Selection.” Genetics. Genetics Society of America, 1989. 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, James, and Nicholas H Barton. “Strong Natural Selection in a Warning Color Hybrid Zone.” Evolution. Wiley-Blackwell, 1989. https://doi.org/10.2307/2409217 .
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1989 |
Published |
Journal Article |
IST-REx-ID: 3654
Barton, Nicholas H, and Godfrey Hewitt. “Adaptation, Speciation and Hybrid Zones.” Nature. Nature Publishing Group, 1989. https://doi.org/10.1038/341497a0.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1989 |
Published |
Journal Article |
IST-REx-ID: 4079
Edelsbrunner, Herbert, and Steven Skiena. “On the Number of Furthest Neighbor Pairs in a Point Set.” American Mathematical Monthly. Mathematical Association of America, 1989. https://doi.org/10.1080/00029890.1989.11972250.
View
| DOI
| Download None (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 4080
Edelsbrunner, Herbert, Nany Hasan, Raimund Seidel, and Xiao Shen. “Circles through Two Points That Always Enclose Many Points.” Geometriae Dedicata. Springer, 1989. https://doi.org/10.1007/BF00181432.
View
| DOI
| Download None (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 4081 |
Edelsbrunner, Herbert, Leonidas Guibas, and Micha Sharir. “The Upper Envelope of Piecewise Linear Functions: Algorithms and Applications.” Discrete & Computational Geometry. Springer, 1989. https://doi.org/10.1007/BF02187733.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 4082 |
Edelsbrunner, Herbert, and Leonidas Guibas. “Topologically Sweeping an Arrangement.” Journal of Computer and System Sciences. Elsevier, 1989. 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 |
Yao, F., David Dobkin, Herbert Edelsbrunner, and Michael Paterson. “Partitioning Space for Range Queries.” SIAM Journal on Computing. SIAM, 1989. https://doi.org/10.1137/0218025.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 4084 |
Edelsbrunner, Herbert, Günter Rote, and Emo Welzl. “Testing the Necklace Condition for Shortest Tours and Optimal Factors in the Plane.” Theoretical Computer Science. Elsevier, 1989. 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, Herbert. “An Acyclicity Theorem for Cell Complexes in d Dimension.” In Proceedings of the 5th Annual Symposium on Computational Geometry, 145–51. ACM, 1989. https://doi.org/10.1145/73833.73850.
View
| DOI
| Download None (ext.)
1989 |
Published |
Journal Article |
IST-REx-ID: 4086 |
Edelsbrunner, Herbert. “The Upper Envelope of Piecewise Linear Functions: Tight Bounds on the Number of Faces .” Discrete & Computational Geometry. Springer, 1989. https://doi.org/10.1007/BF02187734.
[Published Version]
View
| DOI
| Download Published Version (ext.)