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.
538 Publications
1993 | Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. In: 1993 Proceedings Real-Time Systems Symposium. IEEE; 1993:2-11. doi:10.1109/REAL.1993.393520
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 3470 | 
Jonas PM, Sakmann B. Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices. Journal of Physiology. 1992;455:143-171. doi:10.1113/jphysiol.1992.sp019294
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3581 |
Chazelle B, Edelsbrunner H, Guibas L, et al. Counting and cutting cycles of lines and rods in space. Computational Geometry: Theory and Applications. 1992;1(6):305-323. doi:10.1016/0925-7721(92)90009-H
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 | Conference Paper | IST-REx-ID: 4049
Bern M, Edelsbrunner H, Eppstein D, Mitchell S, Tan T. Edge insertion for optimal triangulations. In: Simon I, ed. 1st Latin American Symposium on Theoretical Informatics. Vol 583. Springer; 1992:46-60. doi:10.1007/BFb0023816
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4505
Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for real-time systems. In: Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1992:394-406. doi:10.1109/LICS.1992.185551
View
| DOI
| Download None (ext.)
1991 | Book Chapter | IST-REx-ID: 2530
Nakanishi S, Ohkubo H, Kakizuka A, et al. Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel. In: Recent Progress in Hormone Research. Vol 46. The Endocrine Society; 1991:59-83. doi:10.1016/b978-0-12-571146-3.50007-9
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
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 | 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 | 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 | 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.)
1990 | Journal Article | IST-REx-ID: 4066
Edelsbrunner H, Guibas L, Sharir M. The complexity of many cells in arrangements of planes and related problems. Discrete & Computational Geometry. 1990;5(1):197-216. doi:10.1007/BF02187785
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4072
Edelsbrunner H, Guibas L, Sharir M. The complexity and construction of many faces in arrangements of lines and of segments. Discrete & Computational Geometry. 1990;5(1):161-196. doi:10.1007/BF02187784
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4073
Chazelle B, Edelsbrunner H, Guibas L, et al. Counting and cutting cycles of lines and rods in space. In: 31st Annual Symposium on Foundations of Computer Science. IEEE; 1990:242-251. doi:10.1109/FSCS.1990.89543
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4071
Edelsbrunner H, Tan T, Waupotitsch R. An O(n^2log n) time algorithm for the MinMax angle triangulation. In: Proceedings of the 6th Annual Symposium on Computational Geometry. ACM; 1990:44-52. doi:10.1145/98524.98535
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4078
Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. Slimming down by adding; selecting heavily covered points. In: Proceedings of the 6th Annual Symposium on Computational Geometry. ACM; 1990:116-127. doi:10.1145/98524.98551
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4076
Agarwal P, Edelsbrunner H, Schwarzkopf O, Welzl E. Euclidean minimum spanning trees and bichromatic closest pairs. In: Proceedings of the 6th Annual Symposium on Computational Geometry. ACM; 1990:203-210. doi:10.1145/98524.98567
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4077
Aronov B, Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Wenger R. Points and triangles in the plane and halving planes in space. In: Proceedings of the 6th Annual Symposium on Computational Geometry. ACM; 1990:112-115. doi:10.1145/98524.98548
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4510
Henzinger TA, Manna Z, Pnueli A. An interleaving model for real time. In: Proceedings of the 5th Jerusalem Conference on Information Technology. IEEE; 1990:717-730. doi:10.1109/JCIT.1990.128356
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4522
Henzinger TA. Half-order modal logic: How to prove real-time properties. In: Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing. ACM; 1990:281-296. doi:10.1145/93385.93429
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4597
Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. In: 5th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1990:390-401. doi:10.1109/LICS.1990.113764
View
| DOI
| Download None (ext.)
1989 | Conference Paper | IST-REx-ID: 4085
Edelsbrunner H. An acyclicity theorem for cell complexes in d dimension. In: Proceedings of the 5th Annual Symposium on Computational Geometry. ACM; 1989:145-151. doi:10.1145/73833.73850
View
| DOI
| Download None (ext.)
1989 | Conference Paper | IST-REx-ID: 4596
Alur R, Henzinger TA. A really temporal logic. In: 30th Annual Symposium on Foundations of Computer Science. FCOS. IEEE; 1989:164-169. doi:10.1109/SFCS.1989.63473
View
| DOI
| Download None (ext.)
1988 | Conference Paper | IST-REx-ID: 4097
Edelsbrunner H, Guibas L, Pach J, Pollack R, Seidel R, Sharir M. Arrangements of curves in the plane - topology, combinatorics, and algorithms. In: 15th International Colloquium on Automata, Languages and Programming. Vol 317. Springer; 1988:214-229. doi:10.1007/3-540-19488-6_118
View
| DOI
| Download None (ext.)
1988 | Conference Paper | IST-REx-ID: 4096
Edelsbrunner H. Geometric structures in computational geometry. In: 15th International Colloquium on Automata, Languages and Programming. Vol 317. Springer; 1988:201-213. doi:10.1007/3-540-19488-6_117
View
| DOI
| Download None (ext.)
1988 | Book Chapter | IST-REx-ID: 4317
Barton NH. Speciation. In: Myers A, Giller P, eds. Analytical Biogeography: An Integrated Approach to the Study of Animal and Plant Distributions. 1st ed. Springer; 1988:185-218. doi:10.1007/978-94-009-0435-4
View
| DOI
| Download None (ext.)
1987 | Journal Article | IST-REx-ID: 4102
Dobkin D, Edelsbrunner H. Space searching for intersecting objects. Journal of Algorithms. 1987;8(3):348-361. doi:10.1016/0196-6774(87)90015-0
View
| DOI
| Download None (ext.)
1987 | Conference Paper | IST-REx-ID: 3514
Edelsbrunner H, Pach J, Schwartz J, Sharir M. On the lower envelope of bivariate functions and its applications. In: 28th Annual Symposium on Foundations of Computer Science . IEEE; 1987:27-37. doi:10.1109/SFCS.1987.44
View
| DOI
| Download None (ext.)
1986 | Journal Article | IST-REx-ID: 3665 |
Barton NH. The effects of linkage and density-dependent regulation on gene flow. Heredity. 1986;57:415-426.
[Published Version]
View
| Download Published Version (ext.)
1986 | Journal Article | IST-REx-ID: 4098 |
Edelsbrunner H, Stöckl G. The number of extreme pairs of finite point-sets in Euclidean spaces. Journal of Combinatorial Theory Series A. 1986;43(2):344-349. doi:10.1016/0097-3165(86)90075-0
View
| DOI
| Download None (ext.)
1986 | Journal Article | IST-REx-ID: 4106
Edelsbrunner H, Waupotitsch R. Computing a ham-sandwich cut in two dimensions. Journal of Symbolic Computation. 1986;2(2):171-178. doi:10.1016/S0747-7171(86)80020-7
View
| DOI
1986 | Journal Article | IST-REx-ID: 4109
Edelsbrunner H, Haring G, Hilbert D. Rectangular point location in d-dimensions with applications. Computer Journal. 1986;29(1):76-82. doi:10.1093/comjnl/29.1.76
View
| DOI
1984 | Journal Article | IST-REx-ID: 4121
Day W, Edelsbrunner H. Efficient algorithms for agglomerative hierarchical clustering methods. Journal of Classification. 1984;1:7-24. doi:10.1007/BF01890115
View
| DOI
| Download None (ext.)
1984 | Conference Paper | IST-REx-ID: 4122
Edelsbrunner H. Key-problems and key-methods in computational geometry. In: 1st Symposium of Theoretical Aspects of Computer Science. Vol 166. STACS. Springer; 1984:1-13. doi:10.1007/3-540-12920-0_1
View
| DOI
1984 | Conference Paper | IST-REx-ID: 4119
Edelsbrunner H, Welzl E. Monotone edge sequences in line arrangements and applications. In: 11th International Symposium on Mathematical Foundations of Computer Science. Vol 176. MFCS. Springer; 1984:265-272. doi:10.1007/BFb0030307
View
| DOI
1983 | Book Chapter | IST-REx-ID: 3563
Edelsbrunner H, Overmars M, Wood D. Graphics in Flatland: a case study. In: Preparata F, ed. Computational Geometry: Theory and Applications. Vol 1. Elsevier; 1983:35-59.
View
1983 | Book Chapter | IST-REx-ID: 3562
Bucher W, Edelsbrunner H. On expected- and worst-case segment trees. In: Preparata F, ed. Computational Geometry: Theory and Applications. Vol 1. Elsevier; 1983:109-125.
View
| Download None (ext.)
1983 | Book Chapter | IST-REx-ID: 4328
Barton NH, Hewitt G. Hybrid zones as barriers to gene flow. In: Oxford G, Rollinson D, eds. Protein Polymorphism: Adaptive and Taxonomic Significance. Vol 24. Academic Press; 1983:341-359.
View
1982 | Journal Article | IST-REx-ID: 4131
Edelsbrunner H, Overmars M. On the equivalence of some rectangle problems. Information Processing Letters. 1982;14(3):124-127. doi:10.1016/0020-0190(82)90068-0
View
| DOI