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.

5497 Publications


1991 | Conference Paper | IST-REx-ID: 4508
Henzinger TA, Manna Z, Pnueli A. Temporal proof methodologies for real-time systems. In: ACM; 1991:353-366. doi:10.1145/99583.99629
View | DOI | Download (ext.)
 

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

1991 | Conference Paper | IST-REx-ID: 4054
Edelsbrunner H, Seidel R, Sharir M. On the zone theorem for hyperplane arrangements. In: Vol 555. Springer; 1991:108-123. doi:10.1007/BFb0038185
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4059
Chazelle B, Edelsbrunner H, Grigni M, et al. Ray shooting in polygons using geodesic triangulations. In: Vol 510. Springer; 1991:661-673. doi:10.1007/3-540-54233-7_172
View | DOI
 

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

1991 | Thesis | IST-REx-ID: 4516
Henzinger TA. The Temporal Specification and Verification of Real-Time Systems . Stanford University; 1991.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 4592
Alur R, Henzinger TA. Time for logic. SIGACT News. 1991;22(3):6-12.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 2530
Nakanishi S, Ohkubo H, Kakizuka A, et al. Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel. Recent Progress in Hormone Research. 1991;46(1):59-83.
View
 

1991 | Journal Article | IST-REx-ID: 3468
Jonas PM, Koh D, Kampe K, Hermsteiner M, Vogel W. ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability. Pflugers Archiv : European Journal of Physiology. 1991;418(1-2):68-73. doi:10.1007/BF00370453
View | DOI
 

1991 | Journal Article | IST-REx-ID: 3646
Szymura J, Barton NH. The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci. Evolution. 1991;45(2):237-261.
View | Download (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4055
Edelsbrunner H, Tan T. A quadratic time algorithm for the minmax length triangulation. In: IEEE; 1991:414-423. doi:10.1109/SFCS.1991.185400
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4062
Aronov B, Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Wenger R. Points and triangles in the plane and halving planes in space. Discrete & Computational Geometry. 1991;6(1):435-442. doi:10.1007/BF02574700
View | DOI
 

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

1991 | Journal Article | IST-REx-ID: 3647
Barton NH, Turelli M. Natural and sexual selection on many loci. Genetics. 1991;127(1):229-255.
View | Download (ext.)
 

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

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

1991 | Conference Paper | IST-REx-ID: 4621
Alur R, Feder T, Henzinger TA. The benefits of relaxing punctuality. In: ACM; 1991:139-152.
View
 

1990 | Journal Article | IST-REx-ID: 2481
Tsuchida K, Shigemoto R, Yokota Y, Nakanishi S. Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors. European Journal of Biochemistry. 1990;193(3):751-757. doi:10.1111/j.1432-1033.1990.tb19396.x
View | DOI
 

1990 | Journal Article | IST-REx-ID: 3650   OA
Mallet J, Barton NH, Lamas G, Santisteban J, Muedas M, Eeley H. Estimates of selection and gene flow from measures of cline width and linkage disequilibrium in Heliconius hybrid zones. Genetics. 1990;124(4):921-936.
View | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 4064
Edelsbrunner H, Souvaine D. Computing least median of squares regression lines and guided topological sweep. Journal of the American Statistical Association. 1990;85(409):115-119. doi:10.1080/01621459.1990.10475313
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed