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
Why species and subspecies?
N.H. Barton, Current Biology 3 (1993) 797–799.
View | DOI
 

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

1993 | Conference Paper | IST-REx-ID: 4619
Parametric real-time reasoning
R. Alur, T.A. Henzinger, M. Vardi, in:, ACM, 1993, pp. 592–601.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 1945 View
 

1992 | Journal Article | IST-REx-ID: 2532
Distribution of the glucose transporters in human brain tumors
T. Nishioka, Y. Oda, Y. Seino, T. Yamamoto, N. Inagaki, H. Yano, H. Imura, R. Shigemoto, H. Kikuchi, Cancer Research 52 (1992) 3972–3979.
View
 

Search

Filter Publications

Display / Sort

Export / Embed