Henzinger, T. A., Kirsch, C., Sanvido, M., &; Pree, W. (2003). From control models to real-time code using Giotto. IEEE Control Systems Magazine. IEEE.https://doi.org/10.1109/MCS.2003.1172829 
LibreCat: https://research-explorer.ista.ac.at/record/4468
DOI: 10.1109/MCS.2003.1172829

Henzinger, T. A., Horowitz, B., &; Kirsch, C. (2003). Embedded control systems development with Giotto. In Software-Enabled Control: Information Technology for Dynamical Systems (pp. 123–146). Wiley-Blackwell.https://doi.org/10.1002/047172288X.ch8 
LibreCat: https://research-explorer.ista.ac.at/record/4465
DOI: 10.1002/047172288X.ch8

Henzinger, T. A., Kupferman, O., &; Majumdar, R. (2003). On the universal and existential fragments of the mu-calculus. In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems  (Vol. 2619, pp. 49–64). Warsaw, Poland: Springer.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, T. A., Jhala, R., Majumdar, R., &; Sutre, G. (2003). Software verification with BLAST. In Proceedings of the 10th International SPIN Workshop  (Vol. 2648, pp. 235–239). Portland, OR, USA: Springer.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, T. A., Jhala, R., Majumdar, R., &; Qadeer, S. (2003). Thread-modular abstraction refinement. In Proceedings of the 15th International Conference on Computer Aided Verification (Vol. 2725, pp. 262–274). Boulder, CO, USA: Springer.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, T. A., Jhala, R., &; Majumdar, R. (2003). Counterexample-guided control. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 886–902). Eindhoven, The Netherlands: Springer.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, T. A., Kirsch, C., &; Matic, S. (2003). Schedule-carrying code. In Proceedings of the 3rd International Conference on Embedded Software (Vol. 2855, pp. 241–256). Philadelphia, PA, USA: ACM.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, T. A., Kupferman, O., &; Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. Springer.https://doi.org/10.1023/A:1026228213080 
LibreCat: https://research-explorer.ista.ac.at/record/4460
DOI: 10.1023/A:1026228213080

Henzinger, T. A., Horowitz, B., &; Kirsch, C. (2003). Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. IEEE.https://doi.org/10.1109/JPROC.2002.805825 
LibreCat: https://research-explorer.ista.ac.at/record/4469
DOI: 10.1109/JPROC.2002.805825

Vines, T., Kohler, S. C., Thiel, M., Ghira, I., Sands, T. R., Maccallum, C.,https://doi.org/10.1111/j.0014-3820.2003.tb00595.x__Nürnberger, B. (2003). On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution. Wiley-Blackwell.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, J., Huddleston, C., Bollback, J. P., Parsons, T., &; Braun, M. (2003). True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. Oxford University Press.https://doi.org/10.1080/10635150390197028 
LibreCat: https://research-explorer.ista.ac.at/record/4350
DOI: 10.1080/10635150390197028
PMID:  12775527

Huelsenbeck, J., Nielsen, R., &; Bollback, J. P. (2003). Stochastic mapping of morphological characters. Systematic Biology. Oxford University Press.https://doi.org/10.1080/10635150390192780 
LibreCat: https://research-explorer.ista.ac.at/record/4348
DOI: 10.1080/10635150390192780
PMID: 12746144 

Navarro, A., &; Barton, N. H. (2003). Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.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, B., Charlesworth, D., &; Barton, N. H. (2003). The effects of genetic and geographic structure on neutral variation. Annual Review of Ecology and Systematics. Annual Reviews.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, N. H., &; Zuidema, W. (2003). The erratic path towards complexity. Current Biology. Cell Press.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, A., &; Barton, N. H. (2003). Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1080600  
LibreCat: https://research-explorer.ista.ac.at/record/4255
DOI: 10.1126/science.1080600 
PMID:  12690198

Ulrich, F., Concha, M., Heid, P., Voss, E., Witzel, S., Roehl, H.,https://doi.org/10.1242/dev.00758__Heisenberg, C.-P. J. (2003). Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation. Development. Company of Biologists.https://doi.org/10.1242/dev.00758 
LibreCat: https://research-explorer.ista.ac.at/record/4146
DOI: 10.1242/dev.00758
PMID:  PMC1414802

Montero, J., Kilian, B., Chan, J., Bayliss, P., &; Heisenberg, C.-P. J. (2003). Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. Cell Press.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, B., Mansukoski, H., Barbosa, F., Ulrich, F., Tada, M., &; Heisenberg, C.-P. J. (2003). The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation. Mechanisms of Development. Elsevier.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, H., &; Koehl, P. (2003). The weighted-volume derivative of a space-filling diagram. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.0537830100 
LibreCat: https://research-explorer.ista.ac.at/record/3992
DOI: 10.1073/pnas.0537830100
PMID: 12601153

Edelsbrunner, H., &; Üngör, A. (2003). Relaxed scheduling in dynamic skin triangulation. In Proceedings of the Japanese Conference on Discrete and Computational Geometry  (Vol. 2866, pp. 135–151). Tokyo, Japan: Springer.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, P., Edelsbrunner, H., Hamann, B., &; Pascucci, V. (2003). A multi-resolution data structure for two-dimensional Morse-Smale functions. In Proceedings of the 14th IEEE Conference on Visualization  (pp. 139–146). Seattle, WA, USA : IEEE.https://doi.org/10.1109/VISUAL.2003.1250365 
LibreCat: https://research-explorer.ista.ac.at/record/3997
DOI: 10.1109/VISUAL.2003.1250365

Montero, J., &; Heisenberg, C.-P. J. (2003). Adhesive crosstalk in gastrulation. Developmental Cell. Cell Press.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, H., &; Edelsbrunner, H. (2003). Area and perimeter derivatives of a union of disks. In Computer Science in Perspective: Essays Dedicated to Thomas Ottmann (Vol. 2598, pp. 88–97). Springer.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