Please note that IST 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 | Conference Paper | IST-REx-ID: 4078
Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. Slimming down by adding; selecting heavily covered points. In: ACM; 1990:116-127. doi:10.1145/98524.98551
View | DOI

1990 | Book Review | IST-REx-ID: 4310
Barton NH, Jones S. The language of the genes. Nature. 1990;346:415-416. doi:10.1038/346415a0
View | DOI

1990 | Book Chapter | IST-REx-ID: 4311
Barton NH, Clark A. Population structure. In: Wöhrmann K, Jain S, eds. Population Biology: Ecological and Evolutionary Viewpoints. Springer; 1990:115-174.

1990 | Conference Paper | IST-REx-ID: 4510
Henzinger TA, Manna Z, Pnueli A. An interleaving model for real time. In: IEEE; 1990:717-730.
View | Download (ext.)

1990 | Conference Paper | IST-REx-ID: 4522
Henzinger TA. Half-order modal logic: How to prove real-time properties. In: ACM; 1990:281-296. doi:10.1145/93385.93429
View | DOI | Download (ext.)

Filters and Search Terms



Filter Publications