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.
35 Publications
1992 | Book Review | IST-REx-ID: 4306
Barton, N. H., & Goldman, N. (1992). Genetics and geography. Nature. Nature Publishing Group. https://doi.org/10.1038/357440a0
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 3469
Burnashev, N., Khodorova, A., Jonas, P. M., Helm, P., Wisden, W., Monyer, H., … Sakmann, B. (1992). Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1317970
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3581 | 
Chazelle, B., Edelsbrunner, H., Guibas, L., Pollack, R., Seidel, R., Sharir, M., & Snoeyink, J. (1992). Counting and cutting cycles of lines and rods in space. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/0925-7721(92)90009-H
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 | Journal Article | IST-REx-ID: 3645
Sanderson, N., Szymura, J., & Barton, N. H. (1992). Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1992.tb02068.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Conference Paper | IST-REx-ID: 4049
Bern, M., Edelsbrunner, H., Eppstein, D., Mitchell, S., & Tan, T. (1992). Edge insertion for optimal triangulations. In I. Simon (Ed.), 1st Latin American Symposium on Theoretical Informatics (Vol. 583, pp. 46–60). São Paulo, Brazil: Springer. https://doi.org/10.1007/BFb0023816
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4047 |
Edelsbrunner, H., Guibas, L., Pach, J., Pollack, R., Seidel, R., & Sharir, M. (1992). Arrangements of curves in the plane - topology, combinatorics, and algorithms. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/0304-3975(92)90319-B
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 | Journal Article | IST-REx-ID: 4046
Chazelle, B., & Edelsbrunner, H. (1992). An optimal algorithm for intersecting line segments in the plane. Journal of the ACM. ACM. https://doi.org/10.1145/147508.147511
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4043
Edelsbrunner, H., Tan, T., & Waupotitsch, R. (1992). An O(n^2 log n) time algorithm for the MinMax angle triangulation. SIAM Journal on Scientific Computing. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/0913058
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4048
Aggarwal, A., Edelsbrunner, H., Raghavan, P., & Tiwari, P. (1992). Optimal time bounds for some proximity problems in the plane. Information Processing Letters. Elsevier. https://doi.org/10.1016/0020-0190(92)90133-G
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, T. A., Nicollin, X., Sifakis, J., & Yovine, S. (1992). Symbolic model checking for real-time systems. In Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science (pp. 394–406). Santa Cruz, CA, United States of America: IEEE. https://doi.org/10.1109/LICS.1992.185551
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). What good are digital clocks? In 19th International Colloquium on Automata, Languages and Programming (Vol. 623, pp. 545–558). Vienna, Austria: Springer. https://doi.org/10.1007/3-540-55719-9_103
View
| DOI
| Download None (ext.)
1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). Timed transition systems. In Real Time: Theory in Practice (Vol. 600, pp. 226–251). Springer. https://doi.org/10.1007/BFb0031995
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4517
Henzinger, T. A. (1992). Sooner Is Safer Than Later. Information Processing Letters. Elsevier. https://doi.org/10.1016/0020-0190(92)90005-G
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4593
Alur, R., & Henzinger, T. A. (1992). Logics and models of real time: A survey. In REX Workshop on Real Time: Theory in Practice (Vol. 600, pp. 74–106). Mook, The Netherlands: Springer. https://doi.org/10.1007/BFb0031984
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4594
Alur, R., & Henzinger, T. A. (1992). Back to the future: Towards a theory of timed regular languages. In Proceedings of the 33rd Annual Symposium on Foundations of Computer Science (pp. 177–186). Pittsburgh, PA, United States of America: IEEE. https://doi.org/10.1109/SFCS.1992.267774
View
| DOI
| Download None (ext.)