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