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, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.” In 1993 Proceedings Real-Time Systems Symposium, 2–11. IEEE, 1993. https://doi.org/10.1109/REAL.1993.393520 .
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 3470 | 
Jonas, Peter M, and Bert Sakmann. “Glutamate Receptor Channels in Isolated Patches from CA1 and CA3 Pyramidal Cells of Rat Hippocampal Slices.” Journal of Physiology. Wiley-Blackwell, 1992. https://doi.org/10.1113/jphysiol.1992.sp019294 .
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3581 |
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Richard Pollack, Raimund Seidel, Micha Sharir, and Jack Snoeyink. “Counting and Cutting Cycles of Lines and Rods in Space.” Computational Geometry: Theory and Applications. Elsevier, 1992. https://doi.org/10.1016/0925-7721(92)90009-H.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 | Conference Paper | IST-REx-ID: 4049
Bern, Marshall, Herbert Edelsbrunner, David Eppstein, Stephen Mitchell, and Tiow Tan. “Edge Insertion for Optimal Triangulations.” In 1st Latin American Symposium on Theoretical Informatics, edited by Imre Simon, 583:46–60. Springer, 1992. https://doi.org/10.1007/BFb0023816.
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.” In Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, 394–406. IEEE, 1992. https://doi.org/10.1109/LICS.1992.185551.
View
| DOI
| Download None (ext.)
1991 | Book Chapter | IST-REx-ID: 2530
Nakanishi, Shigetada, Hiroaki Ohkubo, Akira Kakizuka, Yoshifumi Yokota, Ryuichi Shigemoto, Yoshiki Sasai, and Toru Takumi. “Molecular Characterization of Mammalian Tachykinin Receptors and a Possible Epithelial Potassium Channel.” In Recent Progress in Hormone Research, 46:59–83. The Endocrine Society, 1991. https://doi.org/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, 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 | 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 | 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 | 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.)
1990 | Journal Article | IST-REx-ID: 4066
Edelsbrunner, Herbert, Leonidas Guibas, and Micha Sharir. “The Complexity of Many Cells in Arrangements of Planes and Related Problems.” Discrete & Computational Geometry. Springer, 1990. https://doi.org/10.1007/BF02187785.
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4072
Edelsbrunner, Herbert, Leonidas Guibas, and Micha Sharir. “The Complexity and Construction of Many Faces in Arrangements of Lines and of Segments.” Discrete & Computational Geometry. Springer, 1990. https://doi.org/10.1007/BF02187784.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4073
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Richard Pollack, Raimund Seidel, Micha Sharir, and Jack Snoeyink. “Counting and Cutting Cycles of Lines and Rods in Space.” In 31st Annual Symposium on Foundations of Computer Science, 242–51. IEEE, 1990. https://doi.org/10.1109/FSCS.1990.89543.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4071
Edelsbrunner, Herbert, Tiow Tan, and Roman Waupotitsch. “An O(N^2log n) Time Algorithm for the MinMax Angle Triangulation.” In Proceedings of the 6th Annual Symposium on Computational Geometry, 44–52. ACM, 1990. https://doi.org/10.1145/98524.98535.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4078
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, John Hershberger, Raimund Seidel, and Micha Sharir. “Slimming down by Adding; Selecting Heavily Covered Points.” In Proceedings of the 6th Annual Symposium on Computational Geometry, 116–27. ACM, 1990. https://doi.org/10.1145/98524.98551.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4076
Agarwal, Pankaj, Herbert Edelsbrunner, Otfried Schwarzkopf, and Emo Welzl. “ Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” In Proceedings of the 6th Annual Symposium on Computational Geometry, 203–10. ACM, 1990. https://doi.org/10.1145/98524.98567.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4077
Aronov, Boris, Bernard Chazelle, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Rephael Wenger. “Points and Triangles in the Plane and Halving Planes in Space.” In Proceedings of the 6th Annual Symposium on Computational Geometry, 112–15. ACM, 1990. https://doi.org/10.1145/98524.98548.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4510
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “An Interleaving Model for Real Time.” In Proceedings of the 5th Jerusalem Conference on Information Technology, 717–30. IEEE, 1990. https://doi.org/10.1109/JCIT.1990.128356.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4522
Henzinger, Thomas A. “Half-Order Modal Logic: How to Prove Real-Time Properties.” In Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, 281–96. ACM, 1990. https://doi.org/10.1145/93385.93429.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4597
Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.” In 5th Annual IEEE Symposium on Logic in Computer Science, 390–401. IEEE, 1990. https://doi.org/10.1109/LICS.1990.113764.
View
| DOI
| Download None (ext.)
1989 | Conference Paper | IST-REx-ID: 4085
Edelsbrunner, Herbert. “An Acyclicity Theorem for Cell Complexes in d Dimension.” In Proceedings of the 5th Annual Symposium on Computational Geometry, 145–51. ACM, 1989. https://doi.org/10.1145/73833.73850.
View
| DOI
| Download None (ext.)
1989 | Conference Paper | IST-REx-ID: 4596
Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” In 30th Annual Symposium on Foundations of Computer Science, 164–69. FCOS. IEEE, 1989. https://doi.org/10.1109/SFCS.1989.63473.
View
| DOI
| Download None (ext.)
1988 | Conference Paper | IST-REx-ID: 4097
Edelsbrunner, Herbert, Leonidas Guibas, János Pach, Richard Pollack, Raimund Seidel, and Micha Sharir. “Arrangements of Curves in the Plane - Topology, Combinatorics, and Algorithms.” In 15th International Colloquium on Automata, Languages and Programming, 317:214–29. Springer, 1988. https://doi.org/10.1007/3-540-19488-6_118.
View
| DOI
| Download None (ext.)
1988 | Conference Paper | IST-REx-ID: 4096
Edelsbrunner, Herbert. “Geometric Structures in Computational Geometry.” In 15th International Colloquium on Automata, Languages and Programming, 317:201–13. Springer, 1988. https://doi.org/10.1007/3-540-19488-6_117.
View
| DOI
| Download None (ext.)
1988 | Book Chapter | IST-REx-ID: 4317
Barton, Nicholas H. “Speciation.” In Analytical Biogeography: An Integrated Approach to the Study of Animal and Plant Distributions, edited by Alan Myers and Paul Giller, 1st ed., 185–218. Springer, 1988. https://doi.org/10.1007/978-94-009-0435-4.
View
| DOI
| Download None (ext.)
1987 | Journal Article | IST-REx-ID: 4102
Dobkin, David, and Herbert Edelsbrunner. “Space Searching for Intersecting Objects.” Journal of Algorithms. Academic Press, 1987. https://doi.org/10.1016/0196-6774(87)90015-0.
View
| DOI
| Download None (ext.)
1987 | Conference Paper | IST-REx-ID: 3514
Edelsbrunner, Herbert, János Pach, Jacob Schwartz, and Micha Sharir. “On the Lower Envelope of Bivariate Functions and Its Applications.” In 28th Annual Symposium on Foundations of Computer Science , 27–37. IEEE, 1987. https://doi.org/10.1109/SFCS.1987.44.
View
| DOI
| Download None (ext.)
1986 | Journal Article | IST-REx-ID: 3665 |
Barton, Nicholas H. “The Effects of Linkage and Density-Dependent Regulation on Gene Flow.” Heredity. Nature Publishing Group, 1986.
[Published Version]
View
| Download Published Version (ext.)
1986 | Journal Article | IST-REx-ID: 4098 |
Edelsbrunner, Herbert, and Gerd Stöckl. “The Number of Extreme Pairs of Finite Point-Sets in Euclidean Spaces.” Journal of Combinatorial Theory Series A. Elsevier, 1986. https://doi.org/10.1016/0097-3165(86)90075-0.
View
| DOI
| Download None (ext.)
1986 | Journal Article | IST-REx-ID: 4106
Edelsbrunner, Herbert, and Roman Waupotitsch. “Computing a Ham-Sandwich Cut in Two Dimensions.” Journal of Symbolic Computation. Elsevier, 1986. https://doi.org/10.1016/S0747-7171(86)80020-7.
View
| DOI
1986 | Journal Article | IST-REx-ID: 4109
Edelsbrunner, Herbert, Günter Haring, and D Hilbert. “Rectangular Point Location in D-Dimensions with Applications.” Computer Journal. Oxford University Press, 1986. https://doi.org/10.1093/comjnl/29.1.76.
View
| DOI
1984 | Journal Article | IST-REx-ID: 4121
Day, William, and Herbert Edelsbrunner. “Efficient Algorithms for Agglomerative Hierarchical Clustering Methods.” Journal of Classification. Springer, 1984. https://doi.org/10.1007/BF01890115.
View
| DOI
| Download None (ext.)
1984 | Conference Paper | IST-REx-ID: 4122
Edelsbrunner, Herbert. “Key-Problems and Key-Methods in Computational Geometry.” In 1st Symposium of Theoretical Aspects of Computer Science, 166:1–13. STACS. Springer, 1984. https://doi.org/10.1007/3-540-12920-0_1.
View
| DOI
1984 | Conference Paper | IST-REx-ID: 4119
Edelsbrunner, Herbert, and Emo Welzl. “Monotone Edge Sequences in Line Arrangements and Applications.” In 11th International Symposium on Mathematical Foundations of Computer Science, 176:265–72. MFCS. Springer, 1984. https://doi.org/10.1007/BFb0030307.
View
| DOI
1983 | Book Chapter | IST-REx-ID: 3563
Edelsbrunner, Herbert, Mark Overmars, and Derick Wood. “Graphics in Flatland: A Case Study.” In Computational Geometry: Theory and Applications, edited by Franco Preparata, 1:35–59. Elsevier, 1983.
View
1983 | Book Chapter | IST-REx-ID: 3562
Bucher, W., and Herbert Edelsbrunner. “On Expected- and Worst-Case Segment Trees.” In Computational Geometry: Theory and Applications, edited by Franco Preparata, 1:109–25. Elsevier, 1983.
View
| Download None (ext.)
1983 | Book Chapter | IST-REx-ID: 4328
Barton, Nicholas H, and Godfrey Hewitt. “Hybrid Zones as Barriers to Gene Flow.” In Protein Polymorphism: Adaptive and Taxonomic Significance, edited by Geoffrey Oxford and David Rollinson, 24:341–59. Academic Press, 1983.
View
1982 | Journal Article | IST-REx-ID: 4131
Edelsbrunner, Herbert, and Mark Overmars. “On the Equivalence of Some Rectangle Problems.” Information Processing Letters. Elsevier, 1982. https://doi.org/10.1016/0020-0190(82)90068-0.
View
| DOI