de Bono, Mario. “Molecular Approaches to Aggregation Behavior and Social Attachment.”10.1002/neu.10162__Journal of Neurobiology, vol. 54, no. 1, Wiley, 2003, pp. 78–92, doi:10.1002/neu.10162.

Sunyaev, Shamil, et al. “Impact of Selection, Mutation Rate and Genetic Drift on Human Genetic Variation.”10.1093/hmg/ddg359__Human Molecular Genetics, vol. 12, no. 24, Oxford University Press, 2003, pp. 3325–30, doi:10.1093/hmg/ddg359.

Kondrashov, Fyodor, and Eugene Koonin. “Evolution of Alternative Splicing: Deletions, Insertions and Origin of Functional Parts of Proteins from Intron Sequences.”10.1016/S0168-9525(02)00029-X__Trends in Genetics, vol. 19, no. 3, Elsevier, 2003, pp. 115–19, doi:10.1016/S0168-9525(02)00029-X.

Cao, Xiaofeng, et al. “Role of the DRM and CM Methyltransferases in RNA-Directed DNA Methylation.”10.1016/j.cub.2003.11.052__Current Biology, vol. 13, no. 24, Elsevier, 2003, pp. 2212–17, doi:10.1016/j.cub.2003.11.052.

Kaloshin, Vadim. “The Existential Hilbert 16-Th Problem and an Estimate for Cyclicity of Elementary Polycycles.”10.1007/s00222-002-0244-9__Inventiones Mathematicae, vol. 151, no. 3, Springer Nature, 2003, pp. 451–512, doi:10.1007/s00222-002-0244-9.

Zilberman, Daniel, et al. “ARGONAUT Control of Locus-Specific SiRNA Accumulation and DNA and Histone Methylation.”10.1126/science.1079695__Science, vol. 299, no. 5607, American Association for the Advancement of Science, 2003, pp. 716–19, doi:10.1126/science.1079695.

De Alfaro, Luca, et al. “Discounting the Future in Systems Theory.”10.1007/3-540-45061-0_79__Proceedings of the 30th International Colloquium on Automata, Languages and Programming, vol. 2719, Springer, 2003, pp. 1022–37, doi:10.1007/3-540-45061-0_79.

Michrowska, Anna, et al. “Cross-Metathesis Reaction of Vinyl Sulfones and Sulfoxides.”10.1016/s0040-4020(03)00682-3__Tetrahedron, vol. 59, no. 25, Elsevier, 2003, pp. 4525–31, doi:10.1016/s0040-4020(03)00682-3.

Chakrabarti, Arindam, et al. “Resource Interfaces.”10.1007/978-3-540-45212-6_9__Third International Conference on Embedded Software, vol. 2855, ACM, 2003, pp. 117–33, doi:10.1007/978-3-540-45212-6_9.

De Alfaro, Luca, et al. “The Element of Surprise in Timed Games.”10.1007/978-3-540-45187-7_9__Proceedings of the 14th International Conference on Concurrency Theory, vol. 2761, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–58, doi:10.1007/978-3-540-45187-7_9.

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.