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

25 Publications


1991 | 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,” 441–48. SIAM, 1991.
View
 

1991 | Conference Paper | IST-REx-ID: 4059
Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, John Hershberger, Micha Sharir, and Jack Snoeyink. “Ray Shooting in Polygons Using Geodesic Triangulations,” 510:661–73. Springer, 1991. https://doi.org/10.1007/3-540-54233-7_172.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4061
Agarwal, Pankaj, Herbert Edelsbrunner, Otfried Schwarzkopf, and Emo Welzl. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” Discrete & Computational Geometry 6, no. 1 (1991): 407–22. https://doi.org/10.1007/BF02574698.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4062
Aronov, Boris, Bernard Chazelle, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Rephael Wenger. “Points and Triangles in the Plane and Halving Planes in Space.” Discrete & Computational Geometry 6, no. 1 (1991): 435–42. https://doi.org/10.1007/BF02574700.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Real-Time Systems,” 353–66. ACM, 1991. https://doi.org/10.1145/99583.99629.
View | DOI | Download (ext.)
 

1991 | Thesis | IST-REx-ID: 4516
Henzinger, Thomas A. The Temporal Specification and Verification of Real-Time Systems . Stanford University, 1991.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 4592
Alur, Rajeev, and Thomas A Henzinger. “Time for Logic.” SIGACT News 22, no. 3 (1991): 6–12.
View | Download (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4621
Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality,” 139–52. ACM, 1991.
View
 

1991 | 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 291, no. 1 (1991): 84–86. https://doi.org/10.1016/0014-5793(91)81109-L.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 3468
Jonas, Peter M, Duk Koh, Knut Kampe, Markus Hermsteiner, and Werner Vogel. “ATP-Sensitive and Ca-Activated K Channels in Vertebrate Axons: Novel Links between Metabolism and Excitability.” Pflugers Archiv : European Journal of Physiology 418, no. 1–2 (1991): 68–73. https://doi.org/10.1007/BF00370453.
View | DOI
 

Filters and Search Terms

year=1991

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed