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.
2007 | Journal Article | IST-REx-ID: 4182
M. Krieg, Y. Arboleda, D. Müller, and C.-P. J. Heisenberg, “The role of cell adhesion and contractility for germ layer morphogenesis during zebrafish gastrulation,” European Journal of Cell Biology, vol. 86, no. Supplement 1. Elsevier, pp. 39–39, 2007.View | DOI
2007 | Journal Article | IST-REx-ID: 4354
E. Freyhult, J. P. Bollback, and P. Gardner, “Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA,” Genome Research, vol. 17, no. 1. Cold Spring Harbor Laboratory Press, pp. 117–25, 2007.View | DOI | Download (ext.)
2007 | Book Chapter | IST-REx-ID: 4417
R. Manevich, J. Field, T. A. Henzinger, G. Ramalingam, and M. Sagiv, “Abstract counterexample-based refinement for powerset domains,” in Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, vol. 4444, Springer, 2007, pp. 273–292.View | DOI
2007 | Thesis | IST-REx-ID: 4566
A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007.View