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, Bernard, et al. Slimming down by Adding; Selecting Heavily Covered Points. ACM, 1990, pp. 116–27, doi:10.1145/98524.98551.
View | DOI
 

1990 | Book Review | IST-REx-ID: 4310
Barton, Nicholas H., and Steve Jones. “The Language of the Genes.” Nature, vol. 346, Nature Publishing Group, 1990, pp. 415–16, doi:10.1038/346415a0.
View | DOI
 

1990 | Book Chapter | IST-REx-ID: 4311
Barton, Nicholas H., and A. Clark. “Population Structure.” Population Biology: Ecological and Evolutionary Viewpoints, edited by Klaus Wöhrmann and Subodh Jain, Springer, 1990, pp. 115–74.
View
 

1990 | Conference Paper | IST-REx-ID: 4510
Henzinger, Thomas A., et al. An Interleaving Model for Real Time. IEEE, 1990, pp. 717–30.
View | Download (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4522
Henzinger, Thomas A. Half-Order Modal Logic: How to Prove Real-Time Properties. ACM, 1990, pp. 281–96, doi:10.1145/93385.93429.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=1990

Search

Filter Publications