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 NH, Goldman N. Genetics and geography. Nature. 1992;357:440-441. doi:10.1038/357440a0
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 3469
Burnashev N, Khodorova A, Jonas PM, et al. Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science. 1992;256(5063):1566-1570. doi: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, 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 | Journal Article | IST-REx-ID: 3645
Sanderson N, Szymura J, Barton NH. Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata. Evolution. 1992;46(3):595-607. doi: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. 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 | Journal Article | IST-REx-ID: 4047 |
Edelsbrunner H, Guibas L, Pach J, Pollack R, Seidel R, Sharir M. Arrangements of curves in the plane - topology, combinatorics, and algorithms. Theoretical Computer Science. 1992;92(2):319-336. doi: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. An optimal algorithm for intersecting line segments in the plane. Journal of the ACM. 1992;39(1):1-54. doi:10.1145/147508.147511
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4043
Edelsbrunner H, Tan T, Waupotitsch R. An O(n^2 log n) time algorithm for the MinMax angle triangulation. SIAM Journal on Scientific Computing. 1992;13(4):994-1008. doi:10.1137/0913058
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4048
Aggarwal A, Edelsbrunner H, Raghavan P, Tiwari P. Optimal time bounds for some proximity problems in the plane. Information Processing Letters. 1992;42(1):55-60. doi:10.1016/0020-0190(92)90133-G
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.)
1992 | Conference Paper | IST-REx-ID: 4504
Henzinger TA, Manna Z, Pnueli A. What good are digital clocks? In: 19th International Colloquium on Automata, Languages and Programming. Vol 623. Springer; 1992:545-558. doi:10.1007/3-540-55719-9_103
View
| DOI
| Download None (ext.)
1992 | Book Chapter | IST-REx-ID: 4507
Henzinger TA, Manna Z, Pnueli A. Timed transition systems. In: Real Time: Theory in Practice. Vol 600. Springer; 1992:226-251. doi:10.1007/BFb0031995
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4517
Henzinger TA. Sooner Is Safer Than Later. Information Processing Letters. 1992;43(3):135-141. doi:10.1016/0020-0190(92)90005-G
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4593
Alur R, Henzinger TA. Logics and models of real time: A survey. In: REX Workshop on Real Time: Theory in Practice. Vol 600. Springer; 1992:74-106. doi:10.1007/BFb0031984
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4594
Alur R, Henzinger TA. Back to the future: Towards a theory of timed regular languages. In: Proceedings of the 33rd Annual Symposium on Foundations of Computer Science. IEEE; 1992:177-186. doi:10.1109/SFCS.1992.267774
View
| DOI
| Download None (ext.)