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 B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. 1991. Computing a face in an arrangement of line segments. SODA: Symposium on Discrete Algorithms 441–448.
View
 

1991 | Conference Paper | IST-REx-ID: 4059
Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Hershberger J, Sharir M, Snoeyink J. 1991. Ray shooting in polygons using geodesic triangulations. ICALP: Automata, Languages and Programming, LNCS, vol. 510. 661–673.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4061
Agarwal P, Edelsbrunner H, Schwarzkopf O, Welzl E. 1991. Euclidean minimum spanning trees and bichromatic closest pairs. Discrete & Computational Geometry. 6(1), 407–422.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4062
Aronov B, Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Wenger R. 1991. Points and triangles in the plane and halving planes in space. Discrete & Computational Geometry. 6(1), 435–442.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4508
Henzinger TA, Manna Z, Pnueli A. 1991. Temporal proof methodologies for real-time systems. POPL: Principles of Programming Languages 353–366.
View | DOI | Download (ext.)
 

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

1991 | Journal Article | IST-REx-ID: 4592
Alur R, Henzinger TA. 1991. Time for logic. SIGACT News. 22(3), 6–12.
View | Download (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4621
Alur R, Feder T, Henzinger TA. 1991. The benefits of relaxing punctuality. PODC: Principles of Distributed Computing 139–152.
View
 

1991 | Journal Article | IST-REx-ID: 1946
Zaǐtsev S, Sazanov LA, Koshkin A, Sud’Ina G, Varfolomeev S. 1991. Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide. FEBS Letters. 291(1), 84–86.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 3468
Jonas PM, Koh D, Kampe K, Hermsteiner M, Vogel W. 1991. ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability. Pflugers Archiv : European Journal of Physiology. 418(1–2), 68–73.
View | DOI
 

1991 | Book Chapter | IST-REx-ID: 3566
Edelsbrunner H, Sharir M. 1991. A hyperplane incidence problem with applications to counting distances. Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift. , DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 4. 253–263.
View | Download (ext.)
 

1991 | Book Chapter | IST-REx-ID: 3567
Edelsbrunner H. 1991. Lines in space – A collection of results. Discrete & Computational Geometry. , DIAMCS Series in Discrete Mathematics and Theoretical Computer Science, vol. 6. 77–93.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3646
Szymura J, Barton NH. 1991. 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(2), 237–261.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3647
Barton NH, Turelli M. 1991. Natural and sexual selection on many loci. Genetics. 127(1), 229–255.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3648
Barton NH, Rouhani S. 1991. The probability of fixation of a new karyotype in a continuous population. Evolution. 45(3), 499–517.
View | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 2480
Shigemoto R, Yokota Y, Tsuchida K, Nakanishi S. 1990. Cloning and expression of a rat neuromedin K receptor cDNA. Journal of Biological Chemistry. 265(2), 623–628.
View
 

1990 | Journal Article | IST-REx-ID: 2481
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. 193(3), 751–757.
View | DOI
 

1990 | 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. 113(1), 39–47.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4060
Edelsbrunner H, Preparata F, West D. 1990. Tetrahedrizing point sets in three dimensions. Journal of Symbolic Computation. 10(3–4), 335–347.
View | DOI | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 4063
Edelsbrunner H, Mücke E. 1990. Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms. ACM Transactions on Graphics. 9(1), 66–104.
View | DOI
 

Search

Filter Publications