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
Tonelli, D., Calegari, F., Fei, J., Nomura, T., Osumi, N., Heisenberg, C., & Huttner, W. (2006). Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques, 41(6), 727–732.
View | DOI

2006 | Journal Article | IST-REx-ID: 4176
Link, V., Carvalho, L., Castanon, I., Stockinger, P., Shevchenko, A., & Heisenberg, C. (2006). Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science, 119(10), 2073–2083.
View | DOI

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger, T. A., & Sifakis, J. (2006). The embedded systems design challenge (Vol. 4085, pp. 1–15). Presented at the FM: Formal Methods, Springer.
View | DOI

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, T. A., & Matic, S. (2006). An interface algebra for real-time components (pp. 253–266). Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, IEEE.
View | DOI

2006 | Conference Paper | IST-REx-ID: 4359
Wies, T., Kuncak, V., Lam, P., Podelski, A., & Rinard, M. (2006). Field Constraint Analysis (pp. 157–173). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer.
View | DOI

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: APA

Export / Embed