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 |
Link, Vinzenz, et al. “Proteomics of Early Zebrafish Embryos.” BMC Developmental Biology, vol. 6, BioMed Central, 2006, pp. 1–9, doi:10.1186/1471-213X-6-1.
View
| DOI
| Download None (ext.)
2006 |
Published |
Journal Article |
IST-REx-ID: 4176
Link, Vinzenz, et al. “Identification of Regulators of Germ Layer Morphogenesis Using Proteomics in Zebrafish.” Journal of Cell Science, vol. 119, no. 10, Company of Biologists, 2006, pp. 2073–83, doi:10.1242/jcs.02928.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4178
Langenberg, Tobias, et al. “Analysis and Visualization of Cell Movement in the Developing Zebrafish Brain.” Developmental Dynamics, vol. 235, no. 4, Wiley-Blackwell, 2006, pp. 928–33, doi:10.1002/dvdy.20692.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4184
Köppen, Mathias, et al. “Coordinated Cell-Shape Changes Control Epithelial Movement in Zebrafish and Drosophila.” Development, vol. 133, no. 14, Company of Biologists, 2006, pp. 2671–81, doi:doi: 10.1242/dev.02439.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4218
Blaser, Heiko, et al. “Migration of Zebrafish Primordial Germ Cells: A Role for Myosin Contraction and Cytoplasmic Flow.” Developmental Cell, vol. 11, no. 5, Cell Press, 2006, pp. 613–27, doi:10.1016/j.devcel.2006.09.023.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4235
de Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology, vol. 240, no. 1, Elsevier, 2006, pp. 162–63, doi:10.1016/j.jtbi.2005.11.016.
View
| Files available
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4237
de Vladar, Harold. “Density-Dependence as a Size-Independent Regulatory Mechanism.” Journal of Theoretical Biology, vol. 238, no. 2, Elsevier, 2006, pp. 245–56, doi:10.1016/j.jtbi.2005.05.014.
View
| DOI
| arXiv
2006 |
Published |
Journal Article |
IST-REx-ID: 4248
Roze, Denis, and Nicholas H. Barton. “The Hill-Robertson Effect and the Evolution of Recombination.” Genetics, vol. 173, no. 3, Genetics Society of America, 2006, pp. 1793–811, doi:10.1534/genetics.106.058586 .
View
| DOI
2006 |
Published |
Book Review |
IST-REx-ID: 4250
Barton, Nicholas H. “Evolutionary Biology: How Did the Human Species Form?” Current Biology, vol. 16, no. 16, Cell Press, 2006, pp. 647–50, doi:10.1016/j.cub.2006.07.032.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4345
Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0 - Die Bibliothek Der Zukunft?” Bibliotheksdienst, vol. 40, no. 11, De Gruyter, 2006, pp. 1250–71, doi:10.1515/bd.2006.40.11.1259.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4351
Bollback, Jonathan P. “SIMMAP: Stochastic Character Mapping of Discrete Traits on Phylogenies.” BMC Bioinformatics, vol. 7, BioMed Central, 2006, doi:10.1186/1471-2105-7-88.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4352
Conn, Jan, et al. “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, vol. 74, no. 5, American Society of Tropical Medicine and Hygiene, 2006, pp. 798–806.
View
| Download (ext.)
2006 |
Published |
Conference Paper |
IST-REx-ID: 4359
Wies, Thomas, et al. “Field Constraint Analysis.” 7th International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 3855, Springer, 2006, pp. 157–73, doi:10.1007/11609773_11.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4373
Maler, Oded, et al. “Real Time Temporal Logic: Past, Present, Future.” Third International Conference on Formal Modeling and Analysis of Timed Systems, vol. 3829, Springer, 2006, pp. 2–16, doi:10.1007/11603009_2.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4374
Maler, Oded, et al. “From MITL to Timed Automata.” 4th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 4202, Springer, 2006, pp. 274–89, doi:10.1007/11867340_20.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4401
Alur, Rajeev, et al. “Preserving Secrecy under Refinement.” 33rd International Colloquium on Automata, Languages and Programming, vol. 4052, Springer, 2006, pp. 107–18, doi:10.1007/11787006_10.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4406
De Wulf, Martin, et al. Antichains: A New Algorithm for Checking Universality of Finite Automata. Vol. 4144, Springer, 2006, pp. 17–30, doi:10.1007/11817963_5.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4431
Henzinger, Thomas A., and Joseph Sifakis. The Embedded Systems Design Challenge. Vol. 4085, Springer, 2006, pp. 1–15, doi:10.1007/11813040_1.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4432
Henzinger, Thomas A., and Vinayak Prabhu. Timed Alternating-Time Temporal Logic. Vol. 4202, Springer, 2006, pp. 1–17, doi:10.1007/11867340_1.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4436
Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11.
View
| DOI