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.
119 Publications
2003 | Published | Journal Article | IST-REx-ID: 4146 | 
Ulrich, Florian, Miguel Concha, Paul Heid, Ed Voss, Sabine Witzel, Henry Roehl, Masazumi Tada, et al. “Slb/Wnt11 Controls Hypoblast Cell Migration and Morphogenesis at the Onset of Zebrafish Gastrulation.” Development. Company of Biologists, 2003. https://doi.org/10.1242/dev.00758.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 4168
Montero, Juan, and Carl-Philipp J Heisenberg. “Adhesive Crosstalk in Gastrulation.” Developmental Cell. Cell Press, 2003. https://doi.org/10.1016/S1534-5807(03)00235-1.
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 4169
Montero, Juan, Beate Kilian, Joanne Chan, Peter Bayliss, and Carl-Philipp J Heisenberg. “Phosphoinositide 3-Kinase Is Required for Process Outgrowth and Cell Polarization of Gastrulating Mesendodermal Cells.” Current Biology. Cell Press, 2003. https://doi.org/10.1016/S0960-9822(03)00505-0.
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 4185
Kilian, Beate, Hannu Mansukoski, Filipa Barbosa, Florian Ulrich, Masazumi Tada, and Carl-Philipp J Heisenberg. “The Role of Ppt/Wnt5 in Regulating Cell Shape and Movement during Zebrafish Gastrulation.” Mechanisms of Development. Elsevier, 2003. https://doi.org/10.1016/S0925-4773(03)00004-2.
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 4254
Navarro, Arcadio, and Nicholas H Barton. “Accumulating Postzygotic Isolation Genes in Parapatry: A New Twist on Chromosomal Speciation.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2003. https://doi.org/10.1111/j.0014-3820.2003.tb01537.x.
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 4255
Navarro, Arcadio, and Nicholas H Barton. “Chromosomal Speciation and Molecular Divergence -- Accelerated Evolution in Rearranged Chromosomes.” Science. American Association for the Advancement of Science, 2003. https://doi.org/10.1126/science.1080600 .
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 4256
Barton, Nicholas H, and Willem Zuidema. “The Erratic Path towards Complexity.” Current Biology. Cell Press, 2003. https://doi.org/10.1016/S0960-9822(03)00573-6.
[Published Version]
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 4257
Charlesworth, Brian, Deborah Charlesworth, and Nicholas H Barton. “The Effects of Genetic and Geographic Structure on Neutral Variation.” Annual Review of Ecology and Systematics. Annual Reviews, 2003. https://doi.org/10.1146/annurev.ecolsys.34.011802.132359.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 4338
Vines, Timothy, S C Kohler, M Thiel, Ioan Ghira, T R Sands, Catriona Maccallum, Nicholas H Barton, and Beate Nürnberger. “On the Maintenance of Reproductive Isolation in a Mosaic Hybrid Zone between the Toads Bombina Bombina and B. Variegata.” Evolution. Wiley-Blackwell, 2003. https://doi.org/10.1111/j.0014-3820.2003.tb00595.x.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 4348
Huelsenbeck, John, Rasmus Nielsen, and Jonathan P Bollback. “Stochastic Mapping of Morphological Characters.” Systematic Biology. Oxford University Press, 2003. https://doi.org/10.1080/10635150390192780.
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 4350
Harshman, John, Christopher Huddleston, Jonathan P Bollback, Thomas Parsons, and Michael Braun. “True and False Gharials: A Nuclear Gene Phylogeny of Crocodylia.” Systematic Biology. Oxford University Press, 2003. https://doi.org/10.1080/10635150390197028.
View
| DOI
| PubMed | Europe PMC
2003 | Published | Thesis | IST-REx-ID: 4416
Majumdar, Ritankar. “Symbolic Algorithms for Verification and Control.” University of California, Berkeley, 2003.
View
2003 | Published | Thesis | IST-REx-ID: 4425
Horowitz, Benjamin. “Giotto: A Time-Triggered Language for Embedded Programming.” University of California, Berkeley, 2003.
View
2003 | Published | Journal Article | IST-REx-ID: 4460
Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Formal Methods in System Design. Springer, 2003. https://doi.org/10.1023/A:1026228213080.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control.” In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:886–902. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_69.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Shaz Qadeer. “Thread-Modular Abstraction Refinement.” In Proceedings of the 15th International Conference on Computer Aided Verification, 2725:262–74. Springer, 2003. https://doi.org/10.1007/978-3-540-45069-6_27.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Schedule-Carrying Code.” In Proceedings of the 3rd International Conference on Embedded Software, 2855:241–56. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_16.
View
| DOI
2003 | Published | Book Chapter | IST-REx-ID: 4465
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.” In Software-Enabled Control: Information Technology for Dynamical Systems, 123–46. Wiley-Blackwell, 2003. https://doi.org/10.1002/047172288X.ch8.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4466
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 2619:49–64. Springer, 2003. https://doi.org/10.1007/3-540-36577-X_5.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4467
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Software Verification with BLAST.” In Proceedings of the 10th International SPIN Workshop , 2648:235–39. Springer, 2003. https://doi.org/10.1007/3-540-44829-2_17.
View
| DOI