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.

6065 Publications

1991 | Conference Paper | IST-REx-ID: 4058
Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. Computing a face in an arrangement of line segments. In: SIAM; 1991:441-448.

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

1991 | Journal Article | IST-REx-ID: 1946
Zaǐtsev S, Sazanov LA, Koshkin A, Sud’Ina G, Varfolomeev S. Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide. FEBS Letters. 1991;291(1):84-86. doi:10.1016/0014-5793(91)81109-L
View | DOI

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


Filter Publications