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.
7036 Publications
1992 |Published| Journal Article | IST-REx-ID: 4048
Aggarwal, Alok, Herbert Edelsbrunner, Prabhakar Raghavan, and Prasoon Tiwari. “Optimal Time Bounds for Some Proximity Problems in the Plane.” Information Processing Letters. Elsevier, 1992. https://doi.org/10.1016/0020-0190(92)90133-G.
View
| DOI
| Download None (ext.)
1992 |Published| Conference Paper | IST-REx-ID: 4505
Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.” In Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, 394–406. IEEE, 1992. https://doi.org/10.1109/LICS.1992.185551.
View
| DOI
| Download None (ext.)
1992 |Published| Conference Paper | IST-REx-ID: 4504
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “What Good Are Digital Clocks?” In 19th International Colloquium on Automata, Languages and Programming, 623:545–58. Springer, 1992. https://doi.org/10.1007/3-540-55719-9_103.
View
| DOI
| Download None (ext.)
1992 |Published| Book Chapter | IST-REx-ID: 4507
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Timed Transition Systems.” In Real Time: Theory in Practice, 600:226–51. Springer, 1992. https://doi.org/10.1007/BFb0031995.
View
| DOI
| Download None (ext.)
1992 |Published| Journal Article | IST-REx-ID: 4517
Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters. Elsevier, 1992. https://doi.org/10.1016/0020-0190(92)90005-G.
View
| DOI
| Download None (ext.)
1992 |Published| Conference Paper | IST-REx-ID: 4593
Alur, Rajeev, and Thomas A Henzinger. “Logics and Models of Real Time: A Survey.” In REX Workshop on Real Time: Theory in Practice, 600:74–106. Springer, 1992. https://doi.org/10.1007/BFb0031984.
View
| DOI
| Download None (ext.)
1992 |Published| Conference Paper | IST-REx-ID: 4594
Alur, Rajeev, and Thomas A Henzinger. “Back to the Future: Towards a Theory of Timed Regular Languages.” In Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, 177–86. IEEE, 1992. https://doi.org/10.1109/SFCS.1992.267774.
View
| DOI
| Download None (ext.)
1991 |Published| Journal Article | IST-REx-ID: 1946
Zaǐtsev, Sergei, Leonid A Sazanov, Aleksei Koshkin, Galina Sud’Ina, and Sergei Varfolomeev. “Respiratory Burst Inhibition in Human Neutrophils by Ultra-Low Doses of [D-Ala2] Methionine Enkephalinamide.” FEBS Letters. Elsevier, 1991. https://doi.org/10.1016/0014-5793(91)81109-L.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 |Published| Journal Article | IST-REx-ID: 2483
Moriyoshi, Koki, Masayuki Masu, Takahiro Ishii, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Cloning and Characterization of the Rat NMDA Receptor.” Nature. Nature Publishing Group, 1991. https://doi.org/10.1038/354031a0.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 |Published| Journal Article | IST-REx-ID: 2482
Masu, Masayuki, Yasuto Tanabe, Kunihiro Tsuchida, Ryuichi Shigemoto, and Shigetada Nakanishi. “Sequence and Expression of a Metabotropic Glutamate Receptor.” Nature. Nature Publishing Group, 1991. https://doi.org/10.1038/349760a0.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 |Published| Journal Article | IST-REx-ID: 2529
Yasui, Yukihiko, Kazuo Itoh, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Topographical Projections from the Cerebral Cortex to the Nucleus of the Solitary Tract in the Cat.” Experimental Brain Research. Springer, 1991. https://doi.org/10.1007/BF00229988.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 |Published| Book Chapter | IST-REx-ID: 2530
Nakanishi, Shigetada, Hiroaki Ohkubo, Akira Kakizuka, Yoshifumi Yokota, Ryuichi Shigemoto, Yoshiki Sasai, and Toru Takumi. “Molecular Characterization of Mammalian Tachykinin Receptors and a Possible Epithelial Potassium Channel.” In Recent Progress in Hormone Research, 46:59–83. The Endocrine Society, 1991. https://doi.org/10.1016/b978-0-12-571146-3.50007-9.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 |Published| Book Chapter | IST-REx-ID: 3566
Edelsbrunner, Herbert, and Micha Sharir. “A Hyperplane Incidence Problem with Applications to Counting Distances.” In Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift, 4:253–63. American Mathematical Society, 1991.
View
| Download None (ext.)
1991 |Published| Book Chapter | IST-REx-ID: 3567
Edelsbrunner, Herbert. “Lines in Space – A Collection of Results.” In Discrete & Computational Geometry: Papers from the Dimacs Special Year, 6:77–93. Springer, 1991.
View
| Download None (ext.)
1991 |Published| Journal Article | IST-REx-ID: 4052 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, and Micha Sharir. “A Singly Exponential Stratification Scheme for Real Semi-Algebraic Varieties and Its Applications.” Theoretical Computer Science. Elsevier, 1991. https://doi.org/10.1016/0304-3975(91)90261-Y.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 |Published| Journal Article | IST-REx-ID: 4056 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner, Herbert, and Péter Hajnal. “A Lower Bound on the Number of Unit Distances between the Vertices of a Convex Polygon.” Journal of Combinatorial Theory Series A. Elsevier, 1991. https://doi.org/10.1016/0097-3165(91)90042-F.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 |Published| Conference Paper | IST-REx-ID: 4054
Edelsbrunner, Herbert, Raimund Seidel, and Micha Sharir. “On the Zone Theorem for Hyperplane Arrangements,” 555:108–23. Springer, 1991. https://doi.org/10.1007/BFb0038185.
View
| DOI
| Download None (ext.)
1991 |Published| Conference Paper | IST-REx-ID: 4058
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Jack Snoeyink. “Computing a Face in an Arrangement of Line Segments.” In Proceedings of the 2nd Annual ACM-SIAM Symposium on Discrete Algorithms, 441–48. SIAM, 1991.
View
| Download None (ext.)
1991 |Published| Conference Paper | IST-REx-ID: 4055
Edelsbrunner, Herbert, and Tiow Tan. “A Quadratic Time Algorithm for the Minmax Length Triangulation.” In 32nd Annual Symposium of Foundations of Computer Science, 414–23. IEEE, 1991. https://doi.org/10.1109/SFCS.1991.185400.
View
| DOI
| Download None (ext.)
1991 |Published| Journal Article | IST-REx-ID: 4051
Edelsbrunner, Herbert, and Weiping Shi. “An O(n Log^2 h) Time Algorithm for the Three-Dimensional Convex Hull Problem.” SIAM Journal on Computing. SIAM, 1991. https://doi.org/10.1137/0220016 .
View
| DOI
| Download None (ext.)