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, Andrej Shevchenko, and Carl-Philipp J Heisenberg. “Proteomics of Early Zebrafish Embryos.” BMC Developmental Biology. BioMed Central, 2006. https://doi.org/10.1186/1471-213X-6-1.
View
| DOI
| Download None (ext.)
2006 |
Published |
Journal Article |
IST-REx-ID: 4176
Link, Vinzenz, Lara Carvalho, Irinka Castanon, Petra Stockinger, Andrej Shevchenko, and Carl-Philipp J Heisenberg. “Identification of Regulators of Germ Layer Morphogenesis Using Proteomics in Zebrafish.” Journal of Cell Science. Company of Biologists, 2006. https://doi.org/10.1242/jcs.02928.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4178
Langenberg, Tobias, Tadeusz Dracz, Andrew Oates, Carl-Philipp J Heisenberg, and Michael Brand. “Analysis and Visualization of Cell Movement in the Developing Zebrafish Brain.” Developmental Dynamics. Wiley-Blackwell, 2006. https://doi.org/10.1002/dvdy.20692.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4184
Köppen, Mathias, Beatriz Fernández, Lara Carvalho, António Jacinto, and Carl-Philipp J Heisenberg. “Coordinated Cell-Shape Changes Control Epithelial Movement in Zebrafish and Drosophila.” Development. Company of Biologists, 2006. https://doi.org/doi: 10.1242/dev.02439.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4218
Blaser, Heiko, Michal Reichman Fried, Irinka Castanon, Karin Dumstrei, Florence Marlow, Koichi Kawakami, Lilianna Solnica Krezel, Carl-Philipp J Heisenberg, and Erez Raz. “Migration of Zebrafish Primordial Germ Cells: A Role for Myosin Contraction and Cytoplasmic Flow.” Developmental Cell. Cell Press, 2006. https://doi.org/10.1016/j.devcel.2006.09.023.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4235
Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology. Elsevier, 2006. https://doi.org/10.1016/j.jtbi.2005.11.016.
View
| Files available
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4237
Vladar, Harold de. “Density-Dependence as a Size-Independent Regulatory Mechanism.” Journal of Theoretical Biology. Elsevier, 2006. https://doi.org/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. Genetics Society of America, 2006. https://doi.org/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. Cell Press, 2006. https://doi.org/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. De Gruyter, 2006. https://doi.org/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. BioMed Central, 2006. https://doi.org/10.1186/1471-2105-7-88.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4352
Conn, Jan, Joseph Vineis, Jonathan P Bollback, David Onyabe, Richard Wilkerson, and Marinete Povoa. “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. American Society of Tropical Medicine and Hygiene, 2006.
View
| Download (ext.)
2006 |
Published |
Conference Paper |
IST-REx-ID: 4359
Wies, Thomas, Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin Rinard. “Field Constraint Analysis.” In 7th International Conference on Verification, Model Checking, and Abstract Interpretation, 3855:157–73. Springer, 2006. https://doi.org/10.1007/11609773_11.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4373
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Real Time Temporal Logic: Past, Present, Future.” In Third International Conference on Formal Modeling and Analysis of Timed Systems, 3829:2–16. Springer, 2006. https://doi.org/10.1007/11603009_2.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4374
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata.” In 4th International Conference on Formal Modeling and Analysis of Timed Systems, 4202:274–89. Springer, 2006. https://doi.org/10.1007/11867340_20.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4401
Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy under Refinement.” In 33rd International Colloquium on Automata, Languages and Programming, 4052:107–18. Springer, 2006. https://doi.org/10.1007/11787006_10.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4406
De Wulf, Martin, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Antichains: A New Algorithm for Checking Universality of Finite Automata,” 4144:17–30. Springer, 2006. https://doi.org/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,” 4085:1–15. Springer, 2006. https://doi.org/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,” 4202:1–17. Springer, 2006. https://doi.org/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,” 253–66. IEEE, 2006. https://doi.org/10.1109/RTAS.2006.11.
View
| DOI