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.

5875 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
 

1991 | 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 (ext.)
 

1991 | Book Chapter | IST-REx-ID: 3567
Edelsbrunner, Herbert. “Lines in Space – A Collection of Results.” In Discrete & Computational Geometry, 6:77–93. Springer, 1991.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3646
Szymura, Jacek, and Nicholas H Barton. “The Genetic Structure of the Hybrid Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata: Comparisons between Transects and between Loci.” Evolution 45, no. 2 (1991): 237–61.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3647
Barton, Nicholas H, and Michael Turelli. “Natural and Sexual Selection on Many Loci.” Genetics 127, no. 1 (1991): 229–55.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3648
Barton, Nicholas H, and Shahin Rouhani. “The Probability of Fixation of a New Karyotype in a Continuous Population.” Evolution 45, no. 3 (1991): 499–517.
View | Download (ext.)
 

1990 | 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 265, no. 2 (1990): 623–28.
View
 

1990 | 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 193, no. 3 (1990): 751–57. https://doi.org/10.1111/j.1432-1033.1990.tb19396.x.
View | DOI
 

1990 | 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 113, no. 1 (1990): 39–47. https://doi.org/10.1007/BF01869604.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4060
Edelsbrunner, Herbert, Franco Preparata, and Douglas West. “Tetrahedrizing Point Sets in Three Dimensions.” Journal of Symbolic Computation 10, no. 3–4 (1990): 335–47. https://doi.org/10.1016/S0747-7171(08)80068-5.
View | DOI | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 4063
Edelsbrunner, Herbert, and Ernst Mücke. “Simulation of Simplicity: A Technique to Cope with Degenerate Cases in Geometric Algorithms.” ACM Transactions on Graphics 9, no. 1 (1990): 66–104. https://doi.org/10.1145/77635.77639.
View | DOI
 

Search

Filter Publications