Unfolding pathways of native bacteriorhodopsin depend on temperature
H.L. Janovjak, M. Kessler, D. Oesterhelt, H. Gaub, D. Mueller, EMBO Journal 22 (2003) 5220–5229.
LibreCat: https://research-explorer.ista.ac.at/record/3725
DOI: 10.1093/emboj/cdg509

K potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons
C. Lien, P.M. Jonas, Journal of Neuroscience 23 (2003) 2058–68.
LibreCat: https://research-explorer.ista.ac.at/record/3804

A large pool of releasable vesicles in a cortical glutamatergic synapse
S. Hallermann, C. Pawlu, P.M. Jonas, M. Heckmann, PNAS 100 (2003) 8975–80.
LibreCat: https://research-explorer.ista.ac.at/record/3806
DOI: 10.1073/pnas.1432836100

Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals
C. Anderson, S. Cremer, J. Heinze, Behavioral Ecology 14 (2003) 54–62.
LibreCat: https://research-explorer.ista.ac.at/record/3921
DOI: 10.1093/beheco/14.1.54

Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants
S. Cremer, J. Heinze, Current Biology 13 (2003) 219–223.
LibreCat: https://research-explorer.ista.ac.at/record/3922
DOI: 10.1016/S0960-9822(03)00012-5

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

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

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

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

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

On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata
T. Vines, S.C. Kohler, M. Thiel, I. Ghira, T.R. Sands, C. Maccallum, N.H. Barton, B. Nürnberger, Evolution 57 (2003) 1876–1888.
LibreCat: https://research-explorer.ista.ac.at/record/4338
DOI: 10.1111/j.0014-3820.2003.tb00595.x

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

Stochastic mapping of morphological characters
J. Huelsenbeck, R. Nielsen, J.P. Bollback, Systematic Biology 52 (2003) 131–158.
LibreCat: https://research-explorer.ista.ac.at/record/4348
DOI: 10.1080/10635150390192780
PMID: 12746144 

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

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

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

Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes
A. Navarro, N.H. Barton, Science 300 (2003) 321–324.
LibreCat: https://research-explorer.ista.ac.at/record/4255
DOI: 10.1126/science.1080600 
PMID:  12690198

Slb/Wn controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation
F. Ulrich, M. Concha, P. Heid, E. Voss, S. Witzel, H. Roehl, M. Tada, S. Wilson, R. Adams, D. Soll, C.-P.J. Heisenberg, Development 130 (2003) 5375–5384.
LibreCat: https://research-explorer.ista.ac.at/record/4146
DOI: 10.1242/dev.00758
PMID:  PMC1414802

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

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

The weighted-volume derivative of a space-filling diagram
H. Edelsbrunner, P. Koehl, PNAS 100 (2003) 2203–2208.
LibreCat: https://research-explorer.ista.ac.at/record/3992
DOI: 10.1073/pnas.0537830100
PMID: 12601153

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

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

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

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