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.

11357 Publications


2006 | Published | Journal Article | IST-REx-ID: 4173 | OA
Link V, Shevchenko A, Heisenberg C-PJ. Proteomics of early zebrafish embryos. BMC Developmental Biology. 2006;6:1-9. doi:10.1186/1471-213X-6-1
View | DOI | Download None (ext.)
 

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

2006 | Published | Journal Article | IST-REx-ID: 4178
Langenberg T, Dracz T, Oates A, Heisenberg C-PJ, Brand M. Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. 2006;235(4):928-933. doi:10.1002/dvdy.20692
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4184
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. 2006;133(14):2671-2681. doi:doi: 10.1242/dev.02439
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4218
Blaser H, Reichman Fried M, Castanon I, et al. Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. 2006;11(5):613-627. doi:10.1016/j.devcel.2006.09.023
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4235
de Vladar H, González J. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 2006;240(1):162-163. doi:10.1016/j.jtbi.2005.11.016
View | Files available | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4237
de Vladar H. Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. 2006;238(2):245-256. doi:10.1016/j.jtbi.2005.05.014
View | DOI | arXiv
 

2006 | Published | Journal Article | IST-REx-ID: 4248
Roze D, Barton NH. The Hill-Robertson effect and the evolution of recombination. Genetics. 2006;173(3):1793-1811. doi:10.1534/genetics.106.058586
View | DOI
 

2006 | Published | Book Review | IST-REx-ID: 4250
Barton NH. Evolutionary Biology: How did the human species form? Current Biology. 2006;16(16):647-650. doi:10.1016/j.cub.2006.07.032
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4345
Danowski P, Heller L. Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. 2006;40(11):1250-1271. doi:10.1515/bd.2006.40.11.1259
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4351
Bollback JP. SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. 2006;7. doi:10.1186/1471-2105-7-88
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4352
Conn J, Vineis J, Bollback JP, Onyabe D, Wilkerson R, Povoa M. Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil. The American Journal of Tropical Medicine and Hygiene. 2006;74(5):798-806.
View | Download (ext.)
 

2006 | Published | Conference Paper | IST-REx-ID: 4359
Wies T, Kuncak V, Lam P, Podelski A, Rinard M. Field constraint analysis. In: 7th International Conference on Verification, Model Checking, and Abstract Interpretation. Vol 3855. Springer; 2006:157-173. doi:10.1007/11609773_11
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4373
Maler O, Nickovic D, Pnueli A. Real time temporal logic: Past, present, future. In: Third International Conference on Formal Modeling and Analysis of Timed Systems. Vol 3829. Springer; 2006:2-16. doi:10.1007/11603009_2
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4374
Maler O, Nickovic D, Pnueli A. From MITL to timed automata. In: 4th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 4202. Springer; 2006:274-289. doi:10.1007/11867340_20
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4401
Alur R, Cerny P, Zdancewic S. Preserving secrecy under refinement. In: 33rd International Colloquium on Automata, Languages and Programming. Vol 4052. Springer; 2006:107-118. doi:10.1007/11787006_10
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4406
De Wulf M, Doyen L, Henzinger TA, Raskin J. Antichains: A new algorithm for checking universality of finite automata. In: Vol 4144. Springer; 2006:17-30. doi:10.1007/11817963_5
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4431
Henzinger TA, Sifakis J. The embedded systems design challenge. In: Vol 4085. Springer; 2006:1-15. doi:10.1007/11813040_1
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4432
Henzinger TA, Prabhu V. Timed alternating-time temporal logic. In: Vol 4202. Springer; 2006:1-17. doi:10.1007/11867340_1
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4436
Henzinger TA, Matic S. An interface algebra for real-time components. In: IEEE; 2006:253-266. doi:10.1109/RTAS.2006.11
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed