Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen
S. Cremer, J. Heinze, Blick in Die Wissenschaft 12 (2003) 32–36.
LibreCat: https://research-explorer.ista.ac.at/record/3917

Symbolic algorithms for verification and control
R. Majumdar, Symbolic Algorithms for Verification and Control, University of California, Berkeley, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4416

Giotto: A time-triggered language for embedded programming
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4425

Free expansion of two-dimensional condensates with a vortex
O. Hosten, P. Vignolo, A. Minguzzi, B. Tanatar, M. Tosi, Journal of Physics B: Atomic, Molecular and Optical Physics 36 (2003) 2455–2463.
LibreCat: https://research-explorer.ista.ac.at/record/576
DOI: 10.1088/0953-4075/36/12/306

Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1
C. Rogers, V. Reale, K. Kim, H. Chatwin, C. Li, P. Evans, M. de Bono, Nature Neuroscience 6 (2003) 1178–1185.
LibreCat: https://research-explorer.ista.ac.at/record/6156
DOI: 10.1038/nn1140
PMID: 14555955

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

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

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

Role of the DRM and CM methyltransferases in RNA-directed DNA methylation
X. Cao, W. Aufsatz, D. Zilberman, M.F. Mette, M.S. Huang, M. Matzke, S.E. Jacobsen, Current Biology 13 (2003) 2212–2217.
LibreCat: https://research-explorer.ista.ac.at/record/9495
DOI: 10.1016/j.cub.2003.11.052
PMID: 14680640

The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles
V. Kaloshin, Inventiones Mathematicae 151 (2003) 451–512.
LibreCat: https://research-explorer.ista.ac.at/record/8519
DOI: 10.1007/s00222-002-0244-9

ARGONAUT control of locus-specific siRNA accumulation and DNA and histone methylation
D. Zilberman,  Xiaofeng Cao, S.E. Jacobsen, Science 299 (2003) 716–719.
LibreCat: https://research-explorer.ista.ac.at/record/9455
DOI: 10.1126/science.1079695
PMID: 12522258

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

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

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

The element of surprise in timed games
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Proceedings of the 14th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–158.
LibreCat: https://research-explorer.ista.ac.at/record/4630
DOI: 10.1007/978-3-540-45187-7_9

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

Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, 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

On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer, 2003, pp. 49–64.
LibreCat: https://research-explorer.ista.ac.at/record/4466
DOI: 10.1007/3-540-36577-X_5

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

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