Please note that ISTA 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.

7112 Publications


2007 | Published | Journal Article | IST-REx-ID: 4182
The role of cell adhesion and contractility for germ layer morphogenesis during zebrafish gastrulation
M. Krieg, Y. Arboleda, D. Müller, C.-P.J. Heisenberg, European Journal of Cell Biology 86 (2007) 39–39.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4205
The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion
S. Von Der Hardt, J. Bakkers, A. Inbal, L. Carvalho, L. Solnica Krezel, C.-P.J. Heisenberg, M. Hammerschmidt, Current Biology 17 (2007) 475–487.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4225
Evolution and multilevel optimization of the genetic code
M.T. Bollenbach, K. Vetsigian, R. Kishony, Genome Research 17 (2007) 401–404.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4226
Kinetics of morphogen gradient formation
A. Kicheva, P. Pantazis, T. Bollenbach, Y. Kalaidzidis, T. Bittig, F. Julicher, M. Gonzalez Gaitan, Science 315 (2007) 521–525.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4233
Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas
H. de Vladar, in:, N. Falcón, Y. Loyo De Sardi (Eds.), Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4234 | OA [Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 4246
Do evolution and ecology need the Gaia hypothesis?
A. Free, N.H. Barton, Trends in Ecology and Evolution 22 (2007) 611–619.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4247
The relation between multilocus population genetics and social evolution theory
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4342 View | DOI | Download None (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 4343
Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei
P. Danowski, B. Pfeifer, Bibliothek - Forschung Und Praxis 31 (2007) 149–155.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4344
Bibliothek 2.0 ? Wird alles anders?
P. Danowski, L. Heller, Bibliothek - Forschung Und Praxis 31 (2007) 130–136.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 4353
The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing
J. Binladen, M.T. Gilbert, J.P. Bollback, F. Panitz, C. Bendixen, R. Nielsen, E. Willerslev, PLoS One 2 (2007).
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4354
Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA
E. Freyhult, J.P. Bollback, P. Gardner, Genome Research 17 (2007) 117–25.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 4355
Clonal interference is alleviated by high mutation rates in large populations
J.P. Bollback, J. Huelsenbeck, Molecular Biology and Evolution 24 (2007) 1397–1406.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4356
Genes under positive selection in Escherichia coli
L. Petersen, J.P. Bollback, M. Dimmic, M. Hubisz, R. Nielsen, Genome Research 17 (2007) 1336–1343.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4368
AMT: a property-based monitoring tool for analog systems
D. Nickovic, O. Maler, in:, Springer, 2007, pp. 304–319.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4370
On synthesizing controllers from bounded-response properties
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2007, pp. 95–107.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4394
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, Springer, 2007, pp. 74–88.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4398
Shape Analysis for Composite Data Structures
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 178–192.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4399
Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
View | DOI
 

Filters and Search Terms

supervisor%3D38F4F166-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Export / Embed