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 (pp. 116–127). Presented at the SCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/98524.98551
View | DOI
 

1990 | Book Review | IST-REx-ID: 4310
Barton, N. H., & Jones, S. (1990). The language of the genes. Nature. Nature Publishing Group. https://doi.org/10.1038/346415a0
View | DOI
 

1990 | Book Chapter | IST-REx-ID: 4311
Barton, N. H., & Clark, A. (1990). Population structure. In K. Wöhrmann & S. Jain (Eds.), Population biology: ecological and evolutionary viewpoints (pp. 115–174). Springer.
View
 

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

1990 | Conference Paper | IST-REx-ID: 4522
Henzinger, T. A. (1990). Half-order modal logic: How to prove real-time properties (pp. 281–296). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/93385.93429
View | DOI | Download (ext.)
 

Filters and Search Terms

year=1990

Search

Filter Publications