en
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.
191 Publications
2006 | Journal Article | IST-REx-ID: 4145
Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid
D. Tonelli, F. Calegari, J. Fei, T. Nomura, N. Osumi, C. Heisenberg, W. Huttner, Biotechniques 41 (2006) 727–732.
View
| DOI
D. Tonelli, F. Calegari, J. Fei, T. Nomura, N. Osumi, C. Heisenberg, W. Huttner, Biotechniques 41 (2006) 727–732.
2006 | Journal Article | IST-REx-ID: 4176
Identification of regulators of germ layer morphogenesis using proteomics in zebrafish
V. Link, L. Carvalho, I. Castanon, P. Stockinger, A. Shevchenko, C. Heisenberg, Journal of Cell Science 119 (2006) 2073–2083.
View
| DOI
V. Link, L. Carvalho, I. Castanon, P. Stockinger, A. Shevchenko, C. Heisenberg, Journal of Cell Science 119 (2006) 2073–2083.
2006 | Conference Paper | IST-REx-ID: 4431
The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
View
| DOI
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
2006 | Conference Paper | IST-REx-ID: 4436
An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
View
| DOI
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
2006 | Conference Paper | IST-REx-ID: 4359
Field Constraint Analysis
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, Springer, 2006, pp. 157–173.
View
| DOI
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, Springer, 2006, pp. 157–173.