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.

6032 Publications


1991 | Journal Article | IST-REx-ID: 2530
S. Nakanishi et al., “Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel,” Recent Progress in Hormone Research, vol. 46, no. 1, pp. 59–83, 1991.
View
 

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

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

1991 | Conference Paper | IST-REx-ID: 4054
H. Edelsbrunner, R. Seidel, and M. Sharir, “On the zone theorem for hyperplane arrangements,” presented at the New Results and New Trends in Computer Science , 1991, vol. 555, pp. 108–123.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4055
H. Edelsbrunner and T. Tan, “A quadratic time algorithm for the minmax length triangulation,” presented at the FOCS: Foundations of Computer Science, 1991, pp. 414–423.
View | DOI
 

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

1991 | Journal Article | IST-REx-ID: 4057
H. Edelsbrunner, “Corrigendum,” Journal of Computer and System Sciences, vol. 42, no. 2, pp. 249–251, 1991.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4058
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and J. Snoeyink, “Computing a face in an arrangement of line segments,” presented at the SODA: Symposium on Discrete Algorithms, 1991, pp. 441–448.
View
 

1991 | Conference Paper | IST-REx-ID: 4059
B. Chazelle et al., “Ray shooting in polygons using geodesic triangulations,” presented at the ICALP: Automata, Languages and Programming, 1991, vol. 510, pp. 661–673.
View | DOI
 

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

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

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

1991 | Thesis | IST-REx-ID: 4516
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
R. Alur and T. A. Henzinger, “Time for logic,” SIGACT News, vol. 22, no. 3, pp. 6–12, 1991.
View | Download (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4621
R. Alur, T. Feder, and T. A. Henzinger, “The benefits of relaxing punctuality,” presented at the PODC: Principles of Distributed Computing, 1991, pp. 139–152.
View
 

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

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

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

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

1991 | Journal Article | IST-REx-ID: 3646
J. Szymura and N. 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, vol. 45, no. 2, pp. 237–261, 1991.
View | Download (ext.)
 

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

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

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

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

1990 | Journal Article | IST-REx-ID: 2528
T. Sugimoto et al., “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, vol. 113, no. 1, pp. 39–47, 1990.
View | DOI
 

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

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

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

1990 | Journal Article | IST-REx-ID: 4065
H. Edelsbrunner, A. Robison, and X. Shen, “Covering convex sets with non-overlapping polygons,” Discrete Mathematics, vol. 81, no. 2, pp. 153–164, 1990.
View | DOI
 

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

1990 | Conference Paper | IST-REx-ID: 4067
H. Edelsbrunner and M. Sharir, “A hyperplane Incidence problem with applications to counting distances,” presented at the SIGAL:  Special Interest Group on Algorithms, International Symposium on Algorithms  , 1990, vol. 450, pp. 419–428.
View | DOI
 

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

1990 | Journal Article | IST-REx-ID: 4069
H. Edelsbrunner, “An acyclicity theorem for cell complexes in d dimension,” Combinatorica, vol. 10, no. 3, pp. 251–260, 1990.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4070
H. Edelsbrunner, M. Overmars, E. Welzl, I. Hartman, and J. Feldman, “Ranking intervals under visibility constraints,” International Journal of Computer Mathematics, vol. 34, no. 3–4, pp. 129–144, 1990.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4071
H. Edelsbrunner, T. Tan, and R. Waupotitsch, “An O(n^2log n) time algorithm for the MinMax angle triangulation,” presented at the SCG: Symposium on Computational Geometry, 1990, pp. 44–52.
View | DOI
 

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

1990 | Conference Paper | IST-REx-ID: 4073
B. Chazelle et al., “Counting and cutting cycles of lines and rods in space,” presented at the FOCS: Foundations of Computer Science, 1990, pp. 242–251.
View | DOI
 

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

1990 | Journal Article | IST-REx-ID: 4075
D. Dobkin, H. Edelsbrunner, and M. Overmars, “Searching for empty convex polygons,” Algorithmica, vol. 5, no. 4, pp. 561–571, 1990.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4076
P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, and E. Welzl, “ Euclidean minimum spanning trees and bichromatic closest pairs,” presented at the SCG: Symposium on Computational Geometry, 1990, pp. 203–210.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4077
B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and R. Wenger, “Points and triangles in the plane and halving planes in space,” presented at the SCG: Symposium on Computational Geometry, 1990, pp. 112–115.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4078
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, and M. Sharir, “Slimming down by adding; selecting heavily covered points,” presented at the SCG: Symposium on Computational Geometry, 1990, pp. 116–127.
View | DOI
 

1990 | Book Review | IST-REx-ID: 4310
N. H. Barton and S. Jones, “The language of the genes,” Nature, vol. 346. Nature Publishing Group, pp. 415–416, 1990.
View | DOI
 

1990 | Book Chapter | IST-REx-ID: 4311
N. H. Barton and A. Clark, “Population structure,” in Population biology: ecological and evolutionary viewpoints, K. Wöhrmann and S. Jain, Eds. Springer, 1990, pp. 115–174.
View
 

1990 | Conference Paper | IST-REx-ID: 4510
T. A. Henzinger, Z. Manna, and A. Pnueli, “An interleaving model for real time,” presented at the JCIT: Jerusalem Conference on Information Technology, 1990, pp. 717–730.
View | Download (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4522
T. A. Henzinger, “Half-order modal logic: How to prove real-time properties,” presented at the PODC: Principles of Distributed Computing, 1990, pp. 281–296.
View | DOI | Download (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4597
R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” presented at the LICS: Logic in Computer Science, 1990, pp. 390–401.
View | DOI | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 2721
L. Erdös and D. Tuyen, “Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier,” Journal of Statistical Physics, vol. 59, no. 5–6, pp. 1589–1602, 1990.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 3467 | OA
M. Bräu, F. Dreyer, P. M. Jonas, H. Repp, and W. Vogel, “A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments,” Journal of Physiology, vol. 420, pp. 365–385, 1990.
View | DOI | Download (ext.)
 

1990 | Book Chapter | IST-REx-ID: 3565
D. Dobkin, H. Edelsbrunner, and C. Yap, “Probing convex polytopes,” in Autonomous Robot Vehicles, I. Cox and G. Wilfong, Eds. Springer, 1990, pp. 328–341.
View | DOI
 

Search

Filter Publications