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.

6224 Publications


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

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

1991 | Journal Article | IST-REx-ID: 2530
Nakanishi S, Ohkubo H, Kakizuka A, Yokota Y, Shigemoto R, Sasai Y, Takumi T. 1991. Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel. Recent Progress in Hormone Research. 46(1), 59–83.
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 | 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: 4051
Edelsbrunner H, Shi W. 1991. An O(n log^2 h) time algorithm for the three-dimensional convex hull problem. SIAM Journal on Computing. 20(2), 259–269.
View | DOI
 

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

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

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

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

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

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.
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 | 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. In: 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.)
 

Search

Filter Publications