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. 1990. Slimming down by adding; selecting heavily covered points. SCG: Symposium on Computational Geometry, 116–127.
View | DOI
 

1990 | Book Review | IST-REx-ID: 4310
Barton NH, Jones S. 1990. The language of the genes. Nature. 346, 415–416.
View | DOI
 

1990 | Book Chapter | IST-REx-ID: 4311
Barton NH, Clark A. 1990.Population structure. In: Population biology: ecological and evolutionary viewpoints. , 115–174.
View
 

1990 | Conference Paper | IST-REx-ID: 4510
Henzinger TA, Manna Z, Pnueli A. 1990. An interleaving model for real time. JCIT: Jerusalem Conference on Information Technology, 717–730.
View | Download (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4522
Henzinger TA. 1990. Half-order modal logic: How to prove real-time properties. PODC: Principles of Distributed Computing, 281–296.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=1990

Search

Filter Publications