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 | Book Chapter | IST-REx-ID: 3566
Edelsbrunner H, Sharir M. A hyperplane incidence problem with applications to counting distances. In: Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift. Vol 4. American Mathematical Society; 1991:253-263.
View
| Download None (ext.)
1991 | Book Chapter | IST-REx-ID: 3567
Edelsbrunner H. Lines in space – A collection of results. In: Discrete & Computational Geometry: Papers from the Dimacs Special Year. Vol 6. Springer; 1991:77-93.
View
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4052 | 
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. A singly exponential stratification scheme for real semi-algebraic varieties and its applications. Theoretical Computer Science. 1991;84(1):77-105. doi:10.1016/0304-3975(91)90261-Y
[Published Version]
View
| DOI
| Download Published Version (ext.)
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
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
| Download None (ext.)
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: Proceedings of the 2nd Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM; 1991:441-448.
View
| Download None (ext.)
1991 | Conference Paper | IST-REx-ID: 4055
Edelsbrunner H, Tan T. A quadratic time algorithm for the minmax length triangulation. In: 32nd Annual Symposium of Foundations of Computer Science. IEEE; 1991:414-423. doi:10.1109/SFCS.1991.185400
View
| DOI
| Download None (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
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4057 |
Edelsbrunner H. Corrigendum. Journal of Computer and System Sciences. 1991;42(2):249-251. doi:10.1016/0022-0000(91)90013-U
[Published Version]
View
| DOI
| Download Published Version (ext.)
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. Pflügers Archiv : European Journal of Physiology. 1991;418(1-2):68-73. doi:10.1007/BF00370453
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
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. doi:10.1111/j.1558-5646.1991.tb04400.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Journal Article | IST-REx-ID: 3647
Barton NH, Turelli M. Natural and sexual selection on many loci. Genetics. 1991;127(1):229-255. doi:10.1093/genetics/127.1.229
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Journal Article | IST-REx-ID: 3648
Barton NH, Rouhani S. The probability of fixation of a new karyotype in a continuous population. Evolution. 1991;45(3):499-517. doi:10.1111/j.1558-5646.1991.tb04326.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Conference Paper | IST-REx-ID: 4059
Chazelle B, Edelsbrunner H, Grigni M, et al. Ray shooting in polygons using geodesic triangulations. In: 18th International Colloquium on Automata, Languages and Programming. Vol 510. Springer; 1991:661-673. doi:10.1007/3-540-54233-7_172
View
| DOI
| Download None (ext.)
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 | Conference Paper | IST-REx-ID: 4508
Henzinger TA, Manna Z, Pnueli A. Temporal proof methodologies for real-time systems. In: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM; 1991:353-366. doi:10.1145/99583.99629
View
| DOI
| Download None (ext.)
1991 | Thesis | IST-REx-ID: 4516
Henzinger TA. The temporal specification and verification of real-time systems . 1991.
View
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4592
Alur R, Henzinger TA. Time for logic. SIGACT News. 1991;22(3):6-12.
View
| Download None (ext.)
1991 | Conference Paper | IST-REx-ID: 4621
Alur R, Feder T, Henzinger TA. The benefits of relaxing punctuality. In: Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing. ACM; 1991:139-152. doi:10.1145/227595.227602
View
| DOI
| Download None (ext.)