Henzinger, Thomas A., et al. “From Control Models to Real-Time Code Using Giotto.”10.1109/MCS.2003.1172829__IEEE Control Systems Magazine, vol. 23, no. 1, IEEE, 2003, pp. 50–64, doi:10.1109/MCS.2003.1172829.

Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.”10.1002/047172288X.ch8__Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–46, doi:10.1002/047172288X.ch8.

Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.”10.1007/3-540-36577-X_5__Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 2619, Springer, 2003, pp. 49–64, doi:10.1007/3-540-36577-X_5.

Henzinger, Thomas A., et al. “Software Verification with BLAST.”10.1007/3-540-44829-2_17__Proceedings of the 10th International SPIN Workshop , vol. 2648, Springer, 2003, pp. 235–39, doi:10.1007/3-540-44829-2_17.

Henzinger, Thomas A., et al. “Thread-Modular Abstraction Refinement.”10.1007/978-3-540-45069-6_27__Proceedings of the 15th International Conference on Computer Aided Verification, vol. 2725, Springer, 2003, pp. 262–74, doi:10.1007/978-3-540-45069-6_27.

Henzinger, Thomas A., et al. “Counterexample-Guided Control.”10.1007/3-540-45061-0_69__Proceedings of the 30th International Colloquium on Automata, Languages and Programming, vol. 2719, Springer, 2003, pp. 886–902, doi:10.1007/3-540-45061-0_69.

Henzinger, Thomas A., et al. “Schedule-Carrying Code.”10.1007/978-3-540-45212-6_16__Proceedings of the 3rd International Conference on Embedded Software, vol. 2855, ACM, 2003, pp. 241–56, doi:10.1007/978-3-540-45212-6_16.

Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.”10.1023/A:1026228213080__Formal Methods in System Design, vol. 23, no. 3, Springer, 2003, pp. 303–27, doi:10.1023/A:1026228213080.

Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.”10.1109/JPROC.2002.805825__Proceedings of the IEEE, vol. 91, no. 1, IEEE, 2003, pp. 84–99, doi:10.1109/JPROC.2002.805825.

Vines, Timothy, et al. “On the Maintenance of Reproductive Isolation in a Mosaic Hybrid Zone between the Toads Bombina Bombina and B. Variegata.”10.1111/j.0014-3820.2003.tb00595.x__Evolution, vol. 57, no. 8, Wiley-Blackwell, 2003, pp. 1876–88, doi:10.1111/j.0014-3820.2003.tb00595.x.

Harshman, John, et al. “True and False Gharials: A Nuclear Gene Phylogeny of Crocodylia.”10.1080/10635150390197028__Systematic Biology, vol. 52, no. 3, Oxford University Press, 2003, pp. 386–402, doi:10.1080/10635150390197028.

Huelsenbeck, John, et al. “Stochastic Mapping of Morphological Characters.”10.1080/10635150390192780__Systematic Biology, vol. 52, no. 2, Oxford University Press, 2003, pp. 131–58, doi:10.1080/10635150390192780.

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

Charlesworth, Brian, et al. “The Effects of Genetic and Geographic Structure on Neutral Variation.”10.1146/annurev.ecolsys.34.011802.132359__Annual Review of Ecology and Systematics, vol. 34, Annual Reviews, 2003, pp. 99–125, doi:10.1146/annurev.ecolsys.34.011802.132359.

Barton, Nicholas H., and Willem Zuidema. “The Erratic Path towards Complexity.”10.1016/S0960-9822(03)00573-6__Current Biology, vol. 13, no. 16, Cell Press, 2003, pp. 9–51, doi:10.1016/S0960-9822(03)00573-6.

Navarro, Arcadio, and Nicholas H. Barton. “Chromosomal Speciation and Molecular Divergence -- Accelerated Evolution in Rearranged Chromosomes.”10.1126/science.1080600 __Science, vol. 300, no. 5617, American Association for the Advancement of Science, 2003, pp. 321–24, doi:10.1126/science.1080600 .

Ulrich, Florian, et al. “Slb/Wnt11 Controls Hypoblast Cell Migration and Morphogenesis at the Onset of Zebrafish Gastrulation.”10.1242/dev.00758__Development, vol. 130, no. 22, Company of Biologists, 2003, pp. 5375–84, doi:10.1242/dev.00758.

Montero, Juan, et al. “Phosphoinositide 3-Kinase Is Required for Process Outgrowth and Cell Polarization of Gastrulating Mesendodermal Cells.”10.1016/S0960-9822(03)00505-0__Current Biology, vol. 13, no. 15, Cell Press, 2003, pp. 1279–89, doi:10.1016/S0960-9822(03)00505-0.

Kilian, Beate, et al. “The Role of Ppt/Wnt5 in Regulating Cell Shape and Movement during Zebrafish Gastrulation.”10.1016/S0925-4773(03)00004-2__Mechanisms of Development, vol. 120, no. 4, Elsevier, 2003, pp. 467–76, doi:10.1016/S0925-4773(03)00004-2.

Edelsbrunner, Herbert, and Patrice Koehl. “The Weighted-Volume Derivative of a Space-Filling Diagram.”10.1073/pnas.0537830100__PNAS, vol. 100, no. 5, National Academy of Sciences, 2003, pp. 2203–08, doi:10.1073/pnas.0537830100.

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

Bremer, Peer, et al. “A Multi-Resolution Data Structure for Two-Dimensional Morse-Smale Functions.”10.1109/VISUAL.2003.1250365__Proceedings of the 14th IEEE Conference on Visualization , IEEE, 2003, pp. 139–46, doi:10.1109/VISUAL.2003.1250365.

Montero, Juan, and Carl-Philipp J. Heisenberg. “Adhesive Crosstalk in Gastrulation.”10.1016/S1534-5807(03)00235-1__Developmental Cell, vol. 5, no. 2, Cell Press, 2003, pp. 190–91, doi:10.1016/S1534-5807(03)00235-1.

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