M. de Bono, “Molecular approaches to aggregation behavior and social attachment,” Journal of Neurobiology, vol. 54, no. 1. Wiley, pp. 78–92, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/6157
DOI: 10.1002/neu.10162
PMID: 12486699

S. Sunyaev, F. Kondrashov, P. Bork, and V. Ramensky, “Impact of selection, mutation rate and genetic drift on human genetic variation,” Human Molecular Genetics, vol. 12, no. 24. Oxford University Press, pp. 3325–3330, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/847
DOI: 10.1093/hmg/ddg359

F. Kondrashov and E. Koonin, “Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences,” Trends in Genetics, vol. 19, no. 3. Elsevier, pp. 115–119, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/876
DOI: 10.1016/S0168-9525(02)00029-X

X. Cao et al., “Role of the DRM and CM methyltransferases in RNA-directed DNA methylation,” Current Biology, vol. 13, no. 24. Elsevier, pp. 2212–2217, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/9495
DOI: 10.1016/j.cub.2003.11.052
PMID: 14680640

V. Kaloshin, “The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles,” Inventiones mathematicae, vol. 151, no. 3. Springer Nature, pp. 451–512, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/8519
DOI: 10.1007/s00222-002-0244-9

D. Zilberman,  Xiaofeng Cao, and S. E. Jacobsen, “ARGONAUT control of locus-specific siRNA accumulation and DNA and histone methylation,” Science, vol. 299, no. 5607. American Association for the Advancement of Science, pp. 716–719, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/9455
DOI: 10.1126/science.1079695
PMID: 12522258

L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Discounting the future in systems theory,” in Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Eindhoven, The Netherlands, 2003, vol. 2719, pp. 1022–1037.
LibreCat: https://research-explorer.ista.ac.at/record/4628
DOI: 10.1007/3-540-45061-0_79

A. Michrowska, M. Bieniek, M. Kim, R. Klajn, and K. Grela, “Cross-metathesis reaction of vinyl sulfones and sulfoxides,” Tetrahedron, vol. 59, no. 25. Elsevier, pp. 4525–4531, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/13436
DOI: 10.1016/s0040-4020(03)00682-3

A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Resource interfaces,” in Third International Conference on Embedded Software, Philadelphia, PA, USA, 2003, vol. 2855, pp. 117–133.
LibreCat: https://research-explorer.ista.ac.at/record/4561
DOI: 10.1007/978-3-540-45212-6_9

L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “The element of surprise in timed games,” in Proceedings of the 14th International Conference on Concurrency Theory, Marseille, France, 2003, vol. 2761, pp. 144–158.
LibreCat: https://research-explorer.ista.ac.at/record/4630
DOI: 10.1007/978-3-540-45187-7_9

T. A. Henzinger, C. Kirsch, M. Sanvido, and W. Pree, “From control models to real-time code using Giotto,” IEEE Control Systems Magazine, vol. 23, no. 1. IEEE, pp. 50–64, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4468
DOI: 10.1109/MCS.2003.1172829

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

T. A. Henzinger, O. Kupferman, and R. Majumdar, “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 , Warsaw, Poland, 2003, vol. 2619, pp. 49–64.
LibreCat: https://research-explorer.ista.ac.at/record/4466
DOI: 10.1007/3-540-36577-X_5

T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Software verification with BLAST,” in Proceedings of the 10th International SPIN Workshop , Portland, OR, USA, 2003, vol. 2648, pp. 235–239.
LibreCat: https://research-explorer.ista.ac.at/record/4467
DOI: 10.1007/3-540-44829-2_17

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