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
B. Chazelle et al., “Counting and cutting cycles of lines and rods in space,” Computational Geometry: Theory and Applications, vol. 1, no. 6, pp. 305–323, 1992.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3645
N. Sanderson, J. Szymura, and N. H. Barton, “Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata,” Evolution, vol. 46, no. 3, pp. 595–607, 1992.
View | Download (ext.)
 

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

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

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

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
 

Search

Filter Publications