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.

25 Publications


1991 | Conference Paper | IST-REx-ID: 4058
Chazelle, Bernard, et al. Computing a Face in an Arrangement of Line Segments. SIAM, 1991, pp. 441–48.
View
 

1991 | Conference Paper | IST-REx-ID: 4059
Chazelle, Bernard, et al. Ray Shooting in Polygons Using Geodesic Triangulations. Vol. 510, Springer, 1991, pp. 661–73, doi:10.1007/3-540-54233-7_172.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4061
Agarwal, Pankaj, et al. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” Discrete & Computational Geometry, vol. 6, no. 1, Springer, 1991, pp. 407–22, doi:10.1007/BF02574698.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4062
Aronov, Boris, et al. “Points and Triangles in the Plane and Halving Planes in Space.” Discrete & Computational Geometry, vol. 6, no. 1, Springer, 1991, pp. 435–42, doi:10.1007/BF02574700.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, Thomas A., et al. Temporal Proof Methodologies for Real-Time Systems. ACM, 1991, pp. 353–66, doi:10.1145/99583.99629.
View | DOI | Download (ext.)
 

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

1991 | Journal Article | IST-REx-ID: 4592
Alur, Rajeev, and Thomas A. Henzinger. “Time for Logic.” SIGACT News, vol. 22, no. 3, ACM, 1991, pp. 6–12.
View | Download (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4621
Alur, Rajeev, et al. The Benefits of Relaxing Punctuality. ACM, 1991, pp. 139–52.
View
 

1991 | Journal Article | IST-REx-ID: 1946
Zaǐtsev, Sergei, et al. “Respiratory Burst Inhibition in Human Neutrophils by Ultra-Low Doses of [D-Ala2] Methionine Enkephalinamide.” FEBS Letters, vol. 291, no. 1, Elsevier, 1991, pp. 84–86, doi:10.1016/0014-5793(91)81109-L.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 3468
Jonas, Peter M., et al. “ATP-Sensitive and Ca-Activated K Channels in Vertebrate Axons: Novel Links between Metabolism and Excitability.” Pflugers Archiv : European Journal of Physiology, vol. 418, no. 1–2, Springer, 1991, pp. 68–73, doi:10.1007/BF00370453.
View | DOI
 

Filters and Search Terms

year=1991

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed