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.

6062 Publications


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

1991 | Conference Paper | IST-REx-ID: 4508
Temporal proof methodologies for real-time systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, ACM, 1991, pp. 353–366.
View | DOI | Download (ext.)
 

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

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

1991 | Conference Paper | IST-REx-ID: 4621
The benefits of relaxing punctuality
R. Alur, T. Feder, T.A. Henzinger, in:, ACM, 1991, pp. 139–152.
View
 

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

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

1991 | Book Chapter | IST-REx-ID: 3566
A hyperplane incidence problem with applications to counting distances
H. Edelsbrunner, M. Sharir, in:, Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift, American Mathematical Society, 1991, pp. 253–263.
View | Download (ext.)
 

1991 | Book Chapter | IST-REx-ID: 3567
Lines in space – A collection of results
H. Edelsbrunner, in:, Discrete & Computational Geometry, Springer, 1991, pp. 77–93.
View | Download (ext.)
 
 

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

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

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

1990 | Journal Article | IST-REx-ID: 2481
Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors
K. Tsuchida, R. Shigemoto, Y. Yokota, S. Nakanishi, European Journal of Biochemistry 193 (1990) 751–757.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 2528
Immunohistochemical study of a rat membrane protein which induces a selective potassium permeation: Its localization in the apical membrane portion of epithelial cells
T. Sugimoto, Y. Tanabe, R. Shigemoto, M. Iwai, T. Takumi, H. Ohkubo, S. Nakanishi, Journal of Membrane Biology 113 (1990) 39–47.
View | DOI
 

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

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

1990 | Journal Article | IST-REx-ID: 4064
Computing least median of squares regression lines and guided topological sweep
H. Edelsbrunner, D. Souvaine, Journal of the American Statistical Association 85 (1990) 115–119.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4065
Covering convex sets with non-overlapping polygons
H. Edelsbrunner, A. Robison, X. Shen, Discrete Mathematics 81 (1990) 153–164.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4066
The complexity of many cells in arrangements of planes and related problems
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 5 (1990) 197–216.
View | DOI
 

Search

Filter Publications