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.

8978 Publications


2006 | 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 | 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 | 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 | 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 | 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:3802
View | DOI
 

2006 | 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:91-109.
View
 

2006 | 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 | 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 | Conference Paper | IST-REx-ID: 4359
Wies T, Kuncak V, Lam P, Podelski A, Rinard M. Field Constraint Analysis. In: Springer; 2006:157-173. doi:1551
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler O, Nickovic D, Pnueli A. Real Time Temporal Logic: Past, Present, Future. In: Springer; 2006:2-16. doi:1571
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4374
Maler O, Nickovic D, Pnueli A. From MITL to Timed Automata. In: Springer; 2006:274-289. doi:1570
View | DOI
 

2006 | 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 | Conference Paper | IST-REx-ID: 4401
Alur R, Cerny P, Zdancewic S. Preserving Secrecy Under Refinement. In: Springer; 2006:107-118. doi:1543
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Henzinger TA, Piterman N. Solving games without determinization. In: Vol 4207. Springer; 2006:395-410. doi:10.1007/11874683_26
View | DOI
 

2006 | 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
 

2006 | 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 | 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 | Journal Article | IST-REx-ID: 4451
Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 2006;354(2):173-186. doi:10.1016/j.tcs.2005.11.015
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. Synergy: A new algorithm for property checking. In: ACM; 2006:117-127. doi:10.1145/1181775.1181790
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. A hierarchical coordination language for interacting real-time tasks. In: ACM; 2006:132-141. doi:10.1145/1176887.1176907
View | DOI
 

Search

Filter Publications