Please note that ISTA 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, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Jack Snoeyink. “Computing a Face in an Arrangement of Line Segments.” In Proceedings of the 2nd Annual ACM-SIAM Symposium on Discrete Algorithms, 441–48. SIAM, 1991.
View
| Download None (ext.)
1991 | Conference Paper | IST-REx-ID: 4055
Edelsbrunner, Herbert, and Tiow Tan. “A Quadratic Time Algorithm for the Minmax Length Triangulation.” In 32nd Annual Symposium of Foundations of Computer Science, 414–23. IEEE, 1991. https://doi.org/10.1109/SFCS.1991.185400.
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4051
Edelsbrunner, Herbert, and Weiping Shi. “An O(n Log^2 h) Time Algorithm for the Three-Dimensional Convex Hull Problem.” SIAM Journal on Computing. SIAM, 1991. https://doi.org/10.1137/0220016 .
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4057 | 
Edelsbrunner, Herbert. “Corrigendum.” Journal of Computer and System Sciences. Elsevier, 1991. https://doi.org/10.1016/0022-0000(91)90013-U.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 | Journal Article | IST-REx-ID: 3468
Jonas, Peter M, Duk Koh, Knut Kampe, Markus Hermsteiner, and Werner Vogel. “ATP-Sensitive and Ca-Activated K Channels in Vertebrate Axons: Novel Links between Metabolism and Excitability.” Pflügers Archiv : European Journal of Physiology. Springer, 1991. https://doi.org/10.1007/BF00370453.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Journal Article | IST-REx-ID: 3646
Szymura, Jacek, and Nicholas H Barton. “The Genetic Structure of the Hybrid Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata: Comparisons between Transects and between Loci.” Evolution. Wiley-Blackwell, 1991. https://doi.org/10.1111/j.1558-5646.1991.tb04400.x.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Journal Article | IST-REx-ID: 3647
Barton, Nicholas H, and Michael Turelli. “Natural and Sexual Selection on Many Loci.” Genetics. Genetics Society of America, 1991. https://doi.org/10.1093/genetics/127.1.229.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Journal Article | IST-REx-ID: 3648
Barton, Nicholas H, and Shahin Rouhani. “The Probability of Fixation of a New Karyotype in a Continuous Population.” Evolution. Wiley-Blackwell, 1991. https://doi.org/10.1111/j.1558-5646.1991.tb04326.x.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Conference Paper | IST-REx-ID: 4059
Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, John Hershberger, Micha Sharir, and Jack Snoeyink. “Ray Shooting in Polygons Using Geodesic Triangulations.” In 18th International Colloquium on Automata, Languages and Programming, 510:661–73. Springer, 1991. https://doi.org/10.1007/3-540-54233-7_172.
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4061 |
Agarwal, Pankaj, Herbert Edelsbrunner, Otfried Schwarzkopf, and Emo Welzl. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” Discrete & Computational Geometry. Springer, 1991. https://doi.org/10.1007/BF02574698.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 | Journal Article | IST-REx-ID: 4062 |
Aronov, Boris, Bernard Chazelle, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Rephael Wenger. “Points and Triangles in the Plane and Halving Planes in Space.” Discrete & Computational Geometry. Springer, 1991. https://doi.org/10.1007/BF02574700.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Real-Time Systems.” In Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 353–66. ACM, 1991. https://doi.org/10.1145/99583.99629.
View
| DOI
| Download None (ext.)
1991 | Thesis | IST-REx-ID: 4516
Henzinger, Thomas A. “The Temporal Specification and Verification of Real-Time Systems .” Stanford University, 1991.
View
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4592
Alur, Rajeev, and Thomas A Henzinger. “Time for Logic.” SIGACT News. ACM, 1991.
View
| Download None (ext.)
1991 | Conference Paper | IST-REx-ID: 4621
Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.” In Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, 139–52. ACM, 1991. https://doi.org/10.1145/227595.227602.
View
| DOI
| Download None (ext.)