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: 4077
Points and triangles in the plane and halving planes in space
B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, R. Wenger, in:, ACM, 1990, pp. 112–115.
View
| DOI
B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, R. Wenger, in:, ACM, 1990, pp. 112–115.
1990 | Conference Paper | IST-REx-ID: 4078
Slimming down by adding; selecting heavily covered points
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, in:, ACM, 1990, pp. 116–127.
View
| DOI
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, in:, ACM, 1990, pp. 116–127.
1990 | Book Review | IST-REx-ID: 4310
The language of the genes
N.H. Barton, S. Jones, Nature 346 (1990) 415–416.
View
| DOI
N.H. Barton, S. Jones, Nature 346 (1990) 415–416.
1990 | Book Chapter | IST-REx-ID: 4311
Population structure
N.H. Barton, A. Clark, in:, K. Wöhrmann, S. Jain (Eds.), Population Biology: Ecological and Evolutionary Viewpoints, Springer, 1990, pp. 115–174.
View
N.H. Barton, A. Clark, in:, K. Wöhrmann, S. Jain (Eds.), Population Biology: Ecological and Evolutionary Viewpoints, Springer, 1990, pp. 115–174.
1990 | Conference Paper | IST-REx-ID: 4510
An interleaving model for real time
T.A. Henzinger, Z. Manna, A. Pnueli, in:, IEEE, 1990, pp. 717–730.
View
| Download (ext.)
T.A. Henzinger, Z. Manna, A. Pnueli, in:, IEEE, 1990, pp. 717–730.
1990 | Conference Paper | IST-REx-ID: 4522
Half-order modal logic: How to prove real-time properties
T.A. Henzinger, in:, ACM, 1990, pp. 281–296.
View
| DOI
| Download (ext.)
T.A. Henzinger, in:, ACM, 1990, pp. 281–296.