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.

5867 Publications


1992 | Journal Article | IST-REx-ID: 3581
Counting and cutting cycles of lines and rods in space
B. Chazelle, H. Edelsbrunner, L. Guibas, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, Computational Geometry: Theory and Applications 1 (1992) 305–323.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3645 View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 2482
Sequence and expression of a metabotropic glutamate receptor
M. Masu, Y. Tanabe, K. Tsuchida, R. Shigemoto, S. Nakanishi, Nature 349 (1991) 760–765.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2483
Molecular cloning and characterization of the rat NMDA receptor
K. Moriyoshi, M. Masu, T. Ishii, R. Shigemoto, N. Mizuno, S. Nakanishi, Nature 353 (1991) 31–37.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2529
Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat
Y. Yasui, K. Itoh, T. Kaneko, R. Shigemoto, N. Mizuno, Experimental Brain Research 85 (1991) 75–84.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2530
Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel
S. Nakanishi, H. Ohkubo, A. Kakizuka, Y. Yokota, R. Shigemoto, Y. Sasai, T. Takumi, Recent Progress in Hormone Research 46 (1991) 59–83.
View
 

1991 | Journal Article | IST-REx-ID: 4051
An O(n log^2 h) time algorithm for the three-dimensional convex hull problem
H. Edelsbrunner, W. Shi, SIAM Journal on Computing 20 (1991) 259–269.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4052
A singly exponential stratification scheme for real semi-algebraic varieties and its applications
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Theoretical Computer Science 84 (1991) 77–105.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4054
On the zone theorem for hyperplane arrangements
H. Edelsbrunner, R. Seidel, M. Sharir, in:, Springer, 1991, pp. 108–123.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4055
A quadratic time algorithm for the minmax length triangulation
H. Edelsbrunner, T. Tan, in:, IEEE, 1991, pp. 414–423.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4056
A lower bound on the number of unit distances between the vertices of a convex polygon
H. Edelsbrunner, P. Hajnal, Journal of Combinatorial Theory Series A 56 (1991) 312–316.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4057
Corrigendum
H. Edelsbrunner, Journal of Computer and System Sciences 42 (1991) 249–251.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4058
Computing a face in an arrangement of line segments
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Snoeyink, in:, SIAM, 1991, pp. 441–448.
View
 

1991 | Conference Paper | IST-REx-ID: 4059
Ray shooting in polygons using geodesic triangulations
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, in:, Springer, 1991, pp. 661–673.
View | DOI
 

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

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
 

1990 | Conference Paper | IST-REx-ID: 4067
A hyperplane Incidence problem with applications to counting distances
H. Edelsbrunner, M. Sharir, in:, Springer, 1990, pp. 419–428.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4068
The maximum number of ways to stabn convex nonintersecting sets in the plane is 2n−2
H. Edelsbrunner, M. Sharir, Discrete & Computational Geometry 5 (1990) 35–42.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4069
An acyclicity theorem for cell complexes in d dimension
H. Edelsbrunner, Combinatorica 10 (1990) 251–260.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4070
Ranking intervals under visibility constraints
H. Edelsbrunner, M. Overmars, E. Welzl, I. Hartman, J. Feldman, International Journal of Computer Mathematics 34 (1990) 129–144.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4071
An O(n^2log n) time algorithm for the MinMax angle triangulation
H. Edelsbrunner, T. Tan, R. Waupotitsch, in:, ACM, 1990, pp. 44–52.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4072
The complexity and construction of many faces in arrangements of lines and of segments
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 5 (1990) 161–196.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4073
Counting and cutting cycles of lines and rods in space
B. Chazelle, H. Edelsbrunner, L. Guibas, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, in:, IEEE, 1990, pp. 242–251.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4074
Combinatorial complexity bounds for arrangements of curves and spheres
K. Clarkson, H. Edelsbrunner, L. Guibas, M. Sharir, E. Welzl, Discrete & Computational Geometry 5 (1990) 99–160.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4075
Searching for empty convex polygons
D. Dobkin, H. Edelsbrunner, M. Overmars, Algorithmica 5 (1990) 561–571.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4076
Euclidean minimum spanning trees and bichromatic closest pairs
P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, E. Welzl, in:, ACM, 1990, pp. 203–210.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4077
Points and triangles in the plane and halving planes in space
B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, R. Wenger, in:, ACM, 1990, pp. 112–115.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4078
Slimming down by adding; selecting heavily covered points
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, in:, ACM, 1990, pp. 116–127.
View | DOI
 

1990 | Book Review | IST-REx-ID: 4310
The language of the genes
N.H. Barton, S. Jones, Nature 346 (1990) 415–416.
View | DOI
 

1990 | Book Chapter | IST-REx-ID: 4311
Population structure
N.H. Barton, A. Clark, in:, K. Wöhrmann, S. Jain (Eds.), Population Biology: Ecological and Evolutionary Viewpoints, Springer, 1990, pp. 115–174.
View
 

1990 | Conference Paper | IST-REx-ID: 4510
An interleaving model for real time
T.A. Henzinger, Z. Manna, A. Pnueli, in:, IEEE, 1990, pp. 717–730.
View | Download (ext.)
 

Search

Filter Publications