Cremer, Sylvia, and Jürgen Heinze. “Zwischen Hochzeitsflug Und Brudermord: Reproduktive Taktiken Bei Ameisenmännchen.” Blick in Die Wissenschaft. Schnell und Steiner, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/3917

Majumdar, Ritankar. “Symbolic Algorithms for Verification and Control.” University of California, Berkeley, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4416

Horowitz, Benjamin. “Giotto: A Time-Triggered Language for Embedded Programming.” University of California, Berkeley, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4425

Hosten, Onur, Patrizia Vignolo, Anna Minguzzi, Bilal Tanatar, and Mario Tosi. “Free Expansion of Two-Dimensional Condensates with a Vortex.”https://doi.org/10.1088/0953-4075/36/12/306__Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd., 2003.https://doi.org/10.1088/0953-4075/36/12/306 .
LibreCat: https://research-explorer.ista.ac.at/record/576
DOI: 10.1088/0953-4075/36/12/306

Rogers, Candida, Vincenzina Reale, Kyuhyung Kim, Heather Chatwin, Chris Li, Peter Evans, and Mario de Bono. “Inhibition of Caenorhabditis Elegans Social Feeding by FMRFamide-Related Peptide Activation of NPR-1.”https://doi.org/10.1038/nn1140__Nature Neuroscience. Springer Nature, 2003.https://doi.org/10.1038/nn1140 .
LibreCat: https://research-explorer.ista.ac.at/record/6156
DOI: 10.1038/nn1140
PMID: 14555955

Bono, Mario de. “Molecular Approaches to Aggregation Behavior and Social Attachment.”https://doi.org/10.1002/neu.10162__Journal of Neurobiology. Wiley, 2003.https://doi.org/10.1002/neu.10162 .
LibreCat: https://research-explorer.ista.ac.at/record/6157
DOI: 10.1002/neu.10162
PMID: 12486699

Sunyaev, Shamil, Fyodor Kondrashov, Peer Bork, and Vasily Ramensky. “Impact of Selection, Mutation Rate and Genetic Drift on Human Genetic Variation.”https://doi.org/10.1093/hmg/ddg359__Human Molecular Genetics. Oxford University Press, 2003.https://doi.org/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.”https://doi.org/10.1016/S0168-9525(02)00029-X__Trends in Genetics. Elsevier, 2003.https://doi.org/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, Werner Aufsatz, Daniel Zilberman, M.Florian Mette, Michael S. Huang, Marjori Matzke, and Steven E. Jacobsen. “Role of the DRM and CM Methyltransferases in RNA-Directed DNA Methylation.”https://doi.org/10.1016/j.cub.2003.11.052__Current Biology. Elsevier, 2003.https://doi.org/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.”https://doi.org/10.1007/s00222-002-0244-9__Inventiones Mathematicae. Springer Nature, 2003.https://doi.org/10.1007/s00222-002-0244-9 .
LibreCat: https://research-explorer.ista.ac.at/record/8519
DOI: 10.1007/s00222-002-0244-9

Zilberman, Daniel,https://doi.org/10.1126/science.1079695__Xiaofeng Cao, and Steven E. Jacobsen. “ARGONAUT Control of Locus-Specific SiRNA Accumulation and DNA and Histone Methylation.”https://doi.org/10.1126/science.1079695__Science. American Association for the Advancement of Science, 2003.https://doi.org/10.1126/science.1079695 .
LibreCat: https://research-explorer.ista.ac.at/record/9455
DOI: 10.1126/science.1079695
PMID: 12522258

De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Discounting the Future in Systems Theory.”https://doi.org/10.1007/3-540-45061-0_79__In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:1022–37. Springer, 2003.https://doi.org/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, Micha Bieniek, Mikhail Kim, Rafal Klajn, and Karol Grela. “Cross-Metathesis Reaction of Vinyl Sulfones and Sulfoxides.”https://doi.org/10.1016/s0040-4020(03)00682-3__Tetrahedron. Elsevier, 2003.https://doi.org/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, Luca De Alfaro, Thomas A Henzinger, and Mariëlle Stoelinga. “Resource Interfaces.”https://doi.org/10.1007/978-3-540-45212-6_9__In Third International Conference on Embedded Software, 2855:117–33. ACM, 2003.https://doi.org/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, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “The Element of Surprise in Timed Games.”https://doi.org/10.1007/978-3-540-45187-7_9__In Proceedings of the 14th International Conference on Concurrency Theory, 2761:144–58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003.https://doi.org/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, Christoph Kirsch, Marco Sanvido, and Wolfgang Pree. “From Control Models to Real-Time Code Using Giotto.”https://doi.org/10.1109/MCS.2003.1172829__IEEE Control Systems Magazine. IEEE, 2003.https://doi.org/10.1109/MCS.2003.1172829 .
LibreCat: https://research-explorer.ista.ac.at/record/4468
DOI: 10.1109/MCS.2003.1172829

Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.”https://doi.org/10.1002/047172288X.ch8__In Software-Enabled Control: Information Technology for Dynamical Systems, 123–46. Wiley-Blackwell, 2003.https://doi.org/10.1002/047172288X.ch8 .
LibreCat: https://research-explorer.ista.ac.at/record/4465
DOI: 10.1002/047172288X.ch8

Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.”https://doi.org/10.1007/3-540-36577-X_5__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 .
LibreCat: https://research-explorer.ista.ac.at/record/4466
DOI: 10.1007/3-540-36577-X_5

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Software Verification with BLAST.”https://doi.org/10.1007/3-540-44829-2_17__In Proceedings of the 10th International SPIN Workshop , 2648:235–39. Springer, 2003.https://doi.org/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, 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4463
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4462
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4464
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4460
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4469
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4338
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4350
DOI: 10.1080/10635150390197028
PMID:  12775527

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

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 .
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.”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 .
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.”https://doi.org/10.1126/science.1080600 __Science. American Association for the Advancement of Science, 2003.https://doi.org/10.1126/science.1080600  .
LibreCat: https://research-explorer.ista.ac.at/record/4255
DOI: 10.1126/science.1080600 
PMID:  12690198

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

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

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 .
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.”https://doi.org/10.1073/pnas.0537830100__PNAS. National Academy of Sciences, 2003.https://doi.org/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.”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 .
LibreCat: https://research-explorer.ista.ac.at/record/3999
DOI: 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 .
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.”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 .
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.”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 .
LibreCat: https://research-explorer.ista.ac.at/record/3991
DOI: 10.1007/3-540-36477-3_7