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.
31 Publications
1990 | Journal Article | IST-REx-ID: 4075
Dobkin D, Edelsbrunner H, Overmars M. 1990. Searching for empty convex polygons. Algorithmica. 5(4), 561–571.
View
| DOI
| Download None (ext.)
1990 | Book Chapter | IST-REx-ID: 4311
Barton NH, Clark A. 1990.Population structure and processes in evolution. In: Population biology: Ecological and evolutionary viewpoints. , 115–174.
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4310
Barton NH, Jones S. 1990. The language of the genes. Nature. 346, 415–416.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4510
Henzinger TA, Manna Z, Pnueli A. 1990. An interleaving model for real time. Proceedings of the 5th Jerusalem Conference on Information Technology. JCIT: Jerusalem Conference on Information Technology, 717–730.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4522
Henzinger TA. 1990. Half-order modal logic: How to prove real-time properties. Proceedings of the 9th annual ACM symposium on Principles of distributed computing. PODC: Principles of Distributed Computing, 281–296.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4597
Alur R, Henzinger TA. 1990. Real-time logics: Complexity and expressiveness. 5th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 390–401.
View
| DOI
| Download None (ext.)