Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Shaz Qadeer. “Thread-Modular Abstraction Refinement.”https://doi.org/10.1007/978-3-540-45069-6_27__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 .

Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control.”https://doi.org/10.1007/3-540-45061-0_69__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 .

Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Schedule-Carrying Code.”https://doi.org/10.1007/978-3-540-45212-6_16__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 .

Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.”https://doi.org/10.1023/A:1026228213080__Formal Methods in System Design. Springer, 2003.https://doi.org/10.1023/A:1026228213080 .

Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.”https://doi.org/10.1109/JPROC.2002.805825__Proceedings of the IEEE. IEEE, 2003.https://doi.org/10.1109/JPROC.2002.805825 .

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.”https://doi.org/10.1111/j.0014-3820.2003.tb00595.x__Evolution. Wiley-Blackwell, 2003.https://doi.org/10.1111/j.0014-3820.2003.tb00595.x .

Harshman, John, Christopher Huddleston, Jonathan P Bollback, Thomas Parsons, and Michael Braun. “True and False Gharials: A Nuclear Gene Phylogeny of Crocodylia.”https://doi.org/10.1080/10635150390197028__Systematic Biology. Oxford University Press, 2003.https://doi.org/10.1080/10635150390197028 .

Huelsenbeck, John, Rasmus Nielsen, and Jonathan P Bollback. “Stochastic Mapping of Morphological Characters.”https://doi.org/10.1080/10635150390192780__Systematic Biology. Oxford University Press, 2003.https://doi.org/10.1080/10635150390192780 .

Navarro, Arcadio, and Nicholas H Barton. “Accumulating Postzygotic Isolation Genes in Parapatry: A New Twist on Chromosomal Speciation.”https://doi.org/10.1111/j.0014-3820.2003.tb01537.x__Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2003.https://doi.org/10.1111/j.0014-3820.2003.tb01537.x .

Charlesworth, Brian, Deborah Charlesworth, and Nicholas H Barton. “The Effects of Genetic and Geographic Structure on Neutral Variation.”https://doi.org/10.1146/annurev.ecolsys.34.011802.132359__Annual Review of Ecology and Systematics. Annual Reviews, 2003.https://doi.org/10.1146/annurev.ecolsys.34.011802.132359 .

Barton, Nicholas H, and Willem Zuidema. “The Erratic Path towards Complexity.”https://doi.org/10.1016/S0960-9822(03)00573-6__Current Biology. Cell Press, 2003.https://doi.org/10.1016/S0960-9822(03)00573-6 .

Navarro, Arcadio, and Nicholas H Barton. “Chromosomal Speciation and Molecular Divergence -- Accelerated Evolution in Rearranged Chromosomes.”https://doi.org/10.1126/science.1080600 __Science. American Association for the Advancement of Science, 2003.https://doi.org/10.1126/science.1080600  .

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.”https://doi.org/10.1242/dev.00758__Development. Company of Biologists, 2003.https://doi.org/10.1242/dev.00758 .

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.”https://doi.org/10.1016/S0960-9822(03)00505-0__Current Biology. Cell Press, 2003.https://doi.org/10.1016/S0960-9822(03)00505-0 .

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.”https://doi.org/10.1016/S0925-4773(03)00004-2__Mechanisms of Development. Elsevier, 2003.https://doi.org/10.1016/S0925-4773(03)00004-2 .

Edelsbrunner, Herbert, and Patrice Koehl. “The Weighted-Volume Derivative of a Space-Filling Diagram.”https://doi.org/10.1073/pnas.0537830100__PNAS. National Academy of Sciences, 2003.https://doi.org/10.1073/pnas.0537830100 .

Edelsbrunner, Herbert, and Alper Üngör. “Relaxed Scheduling in Dynamic Skin Triangulation.”https://doi.org/10.1007/978-3-540-44400-8_14__In Proceedings of the Japanese Conference on Discrete and Computational Geometry , 2866:135–51. Springer, 2003.https://doi.org/10.1007/978-3-540-44400-8_14 .

Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Multi-Resolution Data Structure for Two-Dimensional Morse-Smale Functions.”https://doi.org/10.1109/VISUAL.2003.1250365__In Proceedings of the 14th IEEE Conference on Visualization , 139–46. IEEE, 2003.https://doi.org/10.1109/VISUAL.2003.1250365 .

Montero, Juan, and Carl-Philipp J Heisenberg. “Adhesive Crosstalk in Gastrulation.”https://doi.org/10.1016/S1534-5807(03)00235-1__Developmental Cell. Cell Press, 2003.https://doi.org/10.1016/S1534-5807(03)00235-1 .

Cheng, Ho, and Herbert Edelsbrunner. “Area and Perimeter Derivatives of a Union of Disks.”https://doi.org/10.1007/3-540-36477-3_7__In Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, 2598:88–97. Springer, 2003.https://doi.org/10.1007/3-540-36477-3_7 .