Zilberman, D., Cao,https://doi.org/10.1126/science.1079695__Xiaofeng, &; Jacobsen, S. E. (2003). ARGONAUT control of locus-specific siRNA accumulation and DNA and histone methylation. Science. American Association for the Advancement of Science.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, L., Henzinger, T. A., &; Majumdar, R. (2003). Discounting the future in systems theory. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 1022–1037). Eindhoven, The Netherlands: Springer.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, A., Bieniek, M., Kim, M., Klajn, R., &; Grela, K. (2003). Cross-metathesis reaction of vinyl sulfones and sulfoxides. Tetrahedron. Elsevier.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, A., De Alfaro, L., Henzinger, T. A., &; Stoelinga, M. (2003). Resource interfaces. In Third International Conference on Embedded Software (Vol. 2855, pp. 117–133). Philadelphia, PA, USA: ACM.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, L., Faella, M., Henzinger, T. A., Majumdar, R., &; Stoelinga, M. (2003). The element of surprise in timed games. In Proceedings of the 14th International Conference on Concurrency Theory (Vol. 2761, pp. 144–158). Marseille, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, 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