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.

5164 Publications


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

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

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: 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 | 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 | 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: 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 | 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 | 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: 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: 4592
Time for logic
R. Alur, T.A. Henzinger, SIGACT News 22 (1991) 6–12.
View | 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: 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: 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 | 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: 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 | 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
 

Search

Filter Publications

Display / Sort

Export / Embed