T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” in Proceedings of the 15th International Conference on Computer Aided Verification, Boulder, CO, USA, 2003, vol. 2725, pp. 262–274.
LibreCat: https://research-explorer.ista.ac.at/record/4463
DOI: 10.1007/978-3-540-45069-6_27

T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” in Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Eindhoven, The Netherlands, 2003, vol. 2719, pp. 886–902.
LibreCat: https://research-explorer.ista.ac.at/record/4462
DOI: 10.1007/3-540-45061-0_69

T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” in Proceedings of the 3rd International Conference on Embedded Software, Philadelphia, PA, USA, 2003, vol. 2855, pp. 241–256.
LibreCat: https://research-explorer.ista.ac.at/record/4464
DOI: 10.1007/978-3-540-45212-6_16

T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” Formal Methods in System Design, vol. 23, no. 3. Springer, pp. 303–327, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4460
DOI: 10.1023/A:1026228213080

T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” Proceedings of the IEEE, vol. 91, no. 1. IEEE, pp. 84–99, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4469
DOI: 10.1109/JPROC.2002.805825

T. Vines et al., “On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata,” Evolution, vol. 57, no. 8. Wiley-Blackwell, pp. 1876–1888, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4338
DOI: 10.1111/j.0014-3820.2003.tb00595.x

J. Harshman, C. Huddleston, J. P. Bollback, T. Parsons, and M. Braun, “True and false gharials: A nuclear gene phylogeny of crocodylia,” Systematic Biology, vol. 52, no. 3. Oxford University Press, pp. 386–402, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4350
DOI: 10.1080/10635150390197028
PMID:  12775527

J. Huelsenbeck, R. Nielsen, and J. P. Bollback, “Stochastic mapping of morphological characters,” Systematic Biology, vol. 52, no. 2. Oxford University Press, pp. 131–158, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4348
DOI: 10.1080/10635150390192780
PMID: 12746144 

A. Navarro and N. H. Barton, “Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation,” Evolution; International Journal of Organic Evolution, vol. 57, no. 3. Wiley-Blackwell, pp. 447–459, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4254
DOI: 10.1111/j.0014-3820.2003.tb01537.x
PMID: 12703935 

B. Charlesworth, D. Charlesworth, and N. H. Barton, “The effects of genetic and geographic structure on neutral variation,” Annual Review of Ecology and Systematics, vol. 34. Annual Reviews, pp. 99–125, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4257
DOI: 10.1146/annurev.ecolsys.34.011802.132359

N. H. Barton and W. Zuidema, “The erratic path towards complexity,” Current Biology, vol. 13, no. 16. Cell Press, pp. 9–1, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4256
DOI: 10.1016/S0960-9822(03)00573-6

A. Navarro and N. H. Barton, “Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes,” Science, vol. 300, no. 5617. American Association for the Advancement of Science, pp. 321–324, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4255
DOI: 10.1126/science.1080600 
PMID:  12690198

F. Ulrich et al., “Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation,” Development, vol. 130, no. 22. Company of Biologists, pp. 5375–5384, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4146
DOI: 10.1242/dev.00758
PMID:  PMC1414802

J. Montero, B. Kilian, J. Chan, P. Bayliss, and C.-P. J. Heisenberg, “Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells,” Current Biology, vol. 13, no. 15. Cell Press, pp. 1279–1289, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4169
DOI: 10.1016/S0960-9822(03)00505-0
PMID:  12906787

B. Kilian, H. Mansukoski, F. Barbosa, F. Ulrich, M. Tada, and C.-P. J. Heisenberg, “The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation,” Mechanisms of Development, vol. 120, no. 4. Elsevier, pp. 467–476, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4185
DOI: 10.1016/S0925-4773(03)00004-2
PMID: 12676324 

H. Edelsbrunner and P. Koehl, “The weighted-volume derivative of a space-filling diagram,” PNAS, vol. 100, no. 5. National Academy of Sciences, pp. 2203–2208, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/3992
DOI: 10.1073/pnas.0537830100
PMID: 12601153

H. Edelsbrunner and A. Üngör, “Relaxed scheduling in dynamic skin triangulation,” in Proceedings of the Japanese Conference on Discrete and Computational Geometry , Tokyo, Japan, 2003, vol. 2866, pp. 135–151.
LibreCat: https://research-explorer.ista.ac.at/record/3999
DOI: 10.1007/978-3-540-44400-8_14

P. Bremer, H. Edelsbrunner, B. Hamann, and V. Pascucci, “A multi-resolution data structure for two-dimensional Morse-Smale functions,” in Proceedings of the 14th IEEE Conference on Visualization , Seattle, WA, USA , 2003, pp. 139–146.
LibreCat: https://research-explorer.ista.ac.at/record/3997
DOI: 10.1109/VISUAL.2003.1250365

J. Montero and C.-P. J. Heisenberg, “Adhesive crosstalk in gastrulation,” Developmental Cell, vol. 5, no. 2. Cell Press, pp. 190–191, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4168
DOI: 10.1016/S1534-5807(03)00235-1
PMID: 12919669 

H. Cheng and H. Edelsbrunner, “Area and perimeter derivatives of a union of disks,” in Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, vol. 2598, Springer, 2003, pp. 88–97.
LibreCat: https://research-explorer.ista.ac.at/record/3991
DOI: 10.1007/3-540-36477-3_7