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.
539 Publications
1990 | Conference Paper | IST-REx-ID: 4597
Alur, R., & Henzinger, T. A. (1990). Real-time logics: Complexity and expressiveness. In 5th Annual IEEE Symposium on Logic in Computer Science (pp. 390–401). Philadelphia, PA, USA: IEEE. https://doi.org/10.1109/LICS.1990.113764
View
| DOI
| Download None (ext.)
1989 | Conference Paper | IST-REx-ID: 4085
Edelsbrunner, H. (1989). An acyclicity theorem for cell complexes in d dimension. In Proceedings of the 5th annual symposium on Computational geometry (pp. 145–151). Saarbruchen, Germany: ACM. https://doi.org/10.1145/73833.73850
View
| DOI
| Download None (ext.)
1989 | Conference Paper | IST-REx-ID: 4596
Alur, R., & Henzinger, T. A. (1989). A really temporal logic. In 30th Annual Symposium on Foundations of Computer Science (pp. 164–169). Research Triangle Park, NC, USA: IEEE. https://doi.org/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. (1988). Arrangements of curves in the plane - topology, combinatorics, and algorithms. In 15th International Colloquium on Automata, Languages and Programming (Vol. 317, pp. 214–229). Tampere, Finland: Springer. https://doi.org/10.1007/3-540-19488-6_118
View
| DOI
| Download None (ext.)
1988 | Conference Paper | IST-REx-ID: 4096
Edelsbrunner, H. (1988). Geometric structures in computational geometry. In 15th International Colloquium on Automata, Languages and Programming (Vol. 317, pp. 201–213). Tampere, Finland: Springer. https://doi.org/10.1007/3-540-19488-6_117
View
| DOI
| Download None (ext.)
1988 | Book Chapter | IST-REx-ID: 4317
Barton, N. H. (1988). Speciation. In A. Myers & P. Giller (Eds.), Analytical biogeography: An integrated approach to the study of animal and plant distributions (1st ed., pp. 185–218). Springer. https://doi.org/10.1007/978-94-009-0435-4
View
| DOI
| Download None (ext.)
1987 | Journal Article | IST-REx-ID: 4102
Dobkin, D., & Edelsbrunner, H. (1987). Space searching for intersecting objects. Journal of Algorithms. Academic Press. https://doi.org/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. (1987). On the lower envelope of bivariate functions and its applications. In 28th Annual Symposium on Foundations of Computer Science (pp. 27–37). Los Angeles, CA, USA: IEEE. https://doi.org/10.1109/SFCS.1987.44
View
| DOI
| Download None (ext.)
1986 | Journal Article | IST-REx-ID: 3665 | 
Barton, N. H. (1986). The effects of linkage and density-dependent regulation on gene flow. Heredity. Nature Publishing Group.
[Published Version]
View
| Download Published Version (ext.)
1986 | Journal Article | IST-REx-ID: 4098 |
Edelsbrunner, H., & Stöckl, G. (1986). The number of extreme pairs of finite point-sets in Euclidean spaces. Journal of Combinatorial Theory Series A. Elsevier. https://doi.org/10.1016/0097-3165(86)90075-0
View
| DOI
| Download None (ext.)