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.
LibreCat: https://research-explorer.ista.ac.at/record/6157
DOI: 10.1002/neu.10162
PMID: 12486699

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.
LibreCat: https://research-explorer.ista.ac.at/record/847
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.
LibreCat: https://research-explorer.ista.ac.at/record/876
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.
LibreCat: https://research-explorer.ista.ac.at/record/9495
DOI: 10.1016/j.cub.2003.11.052
PMID: 14680640

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.
LibreCat: https://research-explorer.ista.ac.at/record/8519
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.
LibreCat: https://research-explorer.ista.ac.at/record/9455
DOI: 10.1126/science.1079695
PMID: 12522258

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.
LibreCat: https://research-explorer.ista.ac.at/record/4628
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.
LibreCat: https://research-explorer.ista.ac.at/record/13436
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.
LibreCat: https://research-explorer.ista.ac.at/record/4561
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.
LibreCat: https://research-explorer.ista.ac.at/record/4630
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.
LibreCat: https://research-explorer.ista.ac.at/record/4468
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.
LibreCat: https://research-explorer.ista.ac.at/record/4465
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.
LibreCat: https://research-explorer.ista.ac.at/record/4466
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.
LibreCat: https://research-explorer.ista.ac.at/record/4467
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.
LibreCat: https://research-explorer.ista.ac.at/record/4463
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.
LibreCat: https://research-explorer.ista.ac.at/record/4462
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.
LibreCat: https://research-explorer.ista.ac.at/record/4464
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.
LibreCat: https://research-explorer.ista.ac.at/record/4460
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.
LibreCat: https://research-explorer.ista.ac.at/record/4469
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.
LibreCat: https://research-explorer.ista.ac.at/record/4338
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.
LibreCat: https://research-explorer.ista.ac.at/record/4350
DOI: 10.1080/10635150390197028
PMID:  12775527

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.
LibreCat: https://research-explorer.ista.ac.at/record/4348
DOI: 10.1080/10635150390192780
PMID: 12746144 

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.
LibreCat: https://research-explorer.ista.ac.at/record/4254
DOI: 10.1111/j.0014-3820.2003.tb01537.x
PMID: 12703935 

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.
LibreCat: https://research-explorer.ista.ac.at/record/4257
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.
LibreCat: https://research-explorer.ista.ac.at/record/4256
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 .
LibreCat: https://research-explorer.ista.ac.at/record/4255
DOI: 10.1126/science.1080600 
PMID:  12690198

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.
LibreCat: https://research-explorer.ista.ac.at/record/4146
DOI: 10.1242/dev.00758
PMID:  PMC1414802

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.
LibreCat: https://research-explorer.ista.ac.at/record/4169
DOI: 10.1016/S0960-9822(03)00505-0
PMID:  12906787

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.
LibreCat: https://research-explorer.ista.ac.at/record/4185
DOI: 10.1016/S0925-4773(03)00004-2
PMID: 12676324 

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.
LibreCat: https://research-explorer.ista.ac.at/record/3992
DOI: 10.1073/pnas.0537830100
PMID: 12601153

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.
LibreCat: https://research-explorer.ista.ac.at/record/3999
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.
LibreCat: https://research-explorer.ista.ac.at/record/3997
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.
LibreCat: https://research-explorer.ista.ac.at/record/4168
DOI: 10.1016/S1534-5807(03)00235-1
PMID: 12919669 

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.
LibreCat: https://research-explorer.ista.ac.at/record/3991
DOI: 10.1007/3-540-36477-3_7