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.

5703 Publications


1993 | Book Review | IST-REx-ID: 4304
N. H. Barton, “Why species and subspecies?,” Current Biology, vol. 3, no. 11. Cell Press, pp. 797–799, 1993.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4506
T. A. Henzinger, Z. Manna, and A. Pnueli, “Towards refining temporal specifications into hybrid systems,” in Hybrid Systems, vol. 736, R. Grossman, A. Nerode, A. Ravn, and H. Rischel, Eds. Springer, 1993, pp. 60–76.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
R. Alur, T. A. Henzinger, and M. Vardi, “Parametric real-time reasoning,” presented at the STOC: Symposium on the Theory of Computing, 1993, pp. 592–601.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 1945
L. A. Sazanov and S. Zaǐtsev, “Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms,” Biokhimiya, vol. 57, no. 10, pp. 1443–1460, 1992.
View
 

1992 | Journal Article | IST-REx-ID: 2532
T. Nishioka et al., “Distribution of the glucose transporters in human brain tumors,” Cancer Research, vol. 52, no. 14, pp. 3972–3979, 1992.
View
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed