One-dimensional Bosons in three-dimensional traps
É. Lieb, R. Seiringer, J. Yngvason, Physical Review Letters 91 (2003) 1504011–1504014.
LibreCat: https://research-explorer.ista.ac.at/record/2358
DOI: 10.1103/PhysRevLett.91.150401

On k-Sets and Their Applications
U. Wagner, On K-Sets and Their Applications, ETH Zurich, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/2414
DOI: 10.3929/ethz-a-004708408

Shape dimension and intrinsic metric from samples of manifolds with high co-dimension
J. Giesen, U. Wagner, in:, ACM, 2003, pp. 329–337.
LibreCat: https://research-explorer.ista.ac.at/record/2424
DOI: 10.1145/777792.777841

New constructions of weak epsilon-nets
J. Matousek, U. Wagner, in:, ACM, 2003, pp. 129–135.
LibreCat: https://research-explorer.ista.ac.at/record/2423
DOI: 10.1145/777792.777813

On the rectilinear crossing number of complete graphs
U. Wagner, in:, SIAM, 2003, pp. 583–588.
LibreCat: https://research-explorer.ista.ac.at/record/2422

Mechanisms underlying cerebellar motor deficits due to mGlu-autoantibodies
M. Coesmans, P. Sillevis Smitt, D. Linden, R. Shigemoto, T. Hirano, Y. Yamakawa, A. Van Alphen, C. Luo, J. Van Der Geest, J. Kros, C. Gaillard, M. Frens, C. De Zeeuw, Annals of Neurology 53 (2003) 325–336.
LibreCat: https://research-explorer.ista.ac.at/record/2623
DOI: 10.1002/ana.10451

Long-term potentiation of mGlu activity by depolarization-induced Homea in mouse cerebellar Purkinje neurons
I. Minami, M. Kengaku, S. Smitt, R. Shigemoto, T. Hirano, European Journal of Neuroscience 17 (2003) 1023–1032.
LibreCat: https://research-explorer.ista.ac.at/record/2625
DOI: 10.1046/j.1460-9568.2003.02499.x

Differential expression patterns of mGlu;1 in monkey nigral dopamine neurons
K. Kaneda, M. Imanishi, A. Nambu, R. Shigemoto, M. Takada, Neuroreport 14 (2003) 947–950.
LibreCat: https://research-explorer.ista.ac.at/record/2626
DOI: 10.1097/01.wnr.0000074344.81633.e4

Asymmetrical allocation of NMDA receptor ;52 subunits in hippocampal circuitry
R. Kawakami, Y. Shinohara, Y. Kato, H. Sugiyama, R. Shigemoto, I. Ito, Science 300 (2003) 990–994.
LibreCat: https://research-explorer.ista.ac.at/record/2627
DOI: 10.1126/science.1082609

High level of mGlu in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus
P. Somogyi, Y. Dalezios, R. Luján, J. Roberts, M. Watanabe, R. Shigemoto, European Journal of Neuroscience 17 (2003) 2503–2520.
LibreCat: https://research-explorer.ista.ac.at/record/2629
DOI: 10.1046/j.1460-9568.2003.02697.x

The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats
A. Momiyama, R. Silver, M. Häusser, T. Notomi, Y. Wu, R. Shigemoto, S. Cull Candy, Journal of Physiology 549 (2003) 75–92.
LibreCat: https://research-explorer.ista.ac.at/record/2628
DOI: 10.1113/jphysiol.2002.033472

Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and N8-15 cells
H. Higashida, J. Zhang, S. Mochida, X. Chen, Y. Shin, M. Noda, K. Hossain, N. Hoshi, M. Hashii, R. Shigemoto, S. Nakanishi, Y. Fukuda, S. Yokoyama, Journal of Neurochemistry 85 (2003) 1148–1158.
LibreCat: https://research-explorer.ista.ac.at/record/2631
DOI: 10.1046/j.1471-4159.2003.01751.x

Co-expression of metabotropic glutamate receptor 7 and N-type C+ channels in single cerebrocortical nerve terminals of adult rats
C. Millán, E. Castro, M. Torres, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 278 (2003) 23955–23962.
LibreCat: https://research-explorer.ista.ac.at/record/2633
DOI: 10.1074/jbc.M211471200

Cell type-dependent expression of HCN1 in the main olfactory bulb
N. Holderith, R. Shigemoto, Z. Nusser, European Journal of Neuroscience 18 (2003) 344–354.
LibreCat: https://research-explorer.ista.ac.at/record/2632
DOI: 10.1046/j.1460-9568.2003.02756.x

Subcellular Localization of Metabotropic GABAB Receptor Subunits GABAa/b and GABA in the Rat Hippocampus
Á. Kulik, I. Vida, R. Luján, C. Haas, G. López Bendito, R. Shigemoto, M. Frotscher, Journal of Neuroscience 23 (2003) 11026–11035.
LibreCat: https://research-explorer.ista.ac.at/record/2635

Blockade of GABAB receptors alters the tangential migration of cortical neurons
G. López Bendito, R. Luján, R. Shigemoto, P. Ganter, O. Paulsen, Z. Molnár, Cerebral Cortex 13 (2003) 932–942.
LibreCat: https://research-explorer.ista.ac.at/record/2634
DOI: 10.1093/cercor/13.9.932

Expression of metabotropic glutamate receptor group I in rat gustatory papillae
T. Toyono, Y. Seta, S. Kataoka, S. Kawano, R. Shigemoto, K. Toyoshima, Cell and Tissue Research 313 (2003) 29–35.
LibreCat: https://research-explorer.ista.ac.at/record/2630
DOI: 10.1007/s00441-003-0740-2

Structural involvement of the glutamatergic presynaptic boutons in a transgenic mouse model expressing early onset amyloid pathology
K. Bell, G.J. De Kort, S. Steggerda, R. Shigemoto, A. Ribeiro Da Silva, A. Cuello, Neuroscience Letters 353 (2003) 143–147.
LibreCat: https://research-explorer.ista.ac.at/record/2637
DOI: 10.1016/j.neulet.2003.09.027

Magnetohydrodynamic damping of convective flows in molten gallium
B. Hof, A. Juel, T. Mullin, Journal of Fluid Mechanics 482 (2003) 163–179.
LibreCat: https://research-explorer.ista.ac.at/record/2784
DOI: 10.1017/S0022112003004014

Scaling of the turbulence transition threshold in a pipe
B. Hof, A. Juel, T. Mullin, Physical Review Letters 91 (2003) 244502/1-244502/4.
LibreCat: https://research-explorer.ista.ac.at/record/2785
DOI: 10.1103/PhysRevLett.91.244502

Auxin transport - Shaping the plant
J. Friml, Current Opinion in Plant Biology 6 (2003) 7–12.
LibreCat: https://research-explorer.ista.ac.at/record/2990
DOI: 10.1016/S1369526602000031

Cell polarity and PIN protein positioning in Arabidopsis require STEROL METHYLTRANSFERAS function
V. Willemsen, J. Friml, M. Grebe, A. Van Den Toorn, K. Palme, B. Scheres, Plant Cell 15 (2003) 612–625.
LibreCat: https://research-explorer.ista.ac.at/record/2992
DOI: 10.1105/tpc.008433

Local, efflux-dependent auxin gradients as a common module for plant organ formation
E. Benková, M. Michniewicz, M. Sauer, T. Teichmann, D. Seifertová, G. Jürgens, J. Friml, Cell 115 (2003) 591–602.
LibreCat: https://research-explorer.ista.ac.at/record/2996
DOI: 10.1016/S0092-8674(03)00924-3

Efflux dependent auxin gradients establish the apical basal axis of Arabidopsis
J. Friml, A. Vieten, M. Sauer, D. Weijers, H. Schwarz, T. Hamann, R. Offringa, G. Jürgens, Nature 426 (2003) 147–153.
LibreCat: https://research-explorer.ista.ac.at/record/2995
DOI: 10.1038/nature02085

Regulation of phyllotaxis by polar auxin transport
D. Reinhardt, E. Pesce, P. Stieger, T. Mandel, K. Baltensperger, M. Bennett, J. Traas, J. Friml, C. Kuhlemeier, Nature 426 (2003) 255–260.
LibreCat: https://research-explorer.ista.ac.at/record/2994
DOI: 10.1038/nature02081

Automated whole mount localisation techniques for plant seedlings
J. Friml, E. Benková, U. Mayer, K. Palme, G. Muster, Plant Journal 34 (2003) 115–124.
LibreCat: https://research-explorer.ista.ac.at/record/2993
DOI: 10.1046/j.1365-313X.2003.01705.x

Amontillado, the Drosophila homolog of the prohormone processing protease P, is required during embryogenesis and early larval development
L. Rayburn, H. Gooding, S. Choksi, D. Maloney, A. Kidd, D.E. Siekhaus, M. Bender, Genetics 163 (2003) 227–237.
LibreCat: https://research-explorer.ista.ac.at/record/3151

Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant
D.E. Siekhaus, D. Drubin, Nature Cell Biology 5 (2003) 231–235.
LibreCat: https://research-explorer.ista.ac.at/record/3150
DOI: 10.1038/ncb941

On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems
K.Z. Pietrzak, Journal of Computer and System Sciences 67 (2003) 757–771.
LibreCat: https://research-explorer.ista.ac.at/record/3209
DOI: 10.1016/S0022-0000(03)00078-3

The security of many round Luby Rackoff pseudo random permutations
U. Maurer, K.Z. Pietrzak, in:, Springer, 2003, pp. 544–561.
LibreCat: https://research-explorer.ista.ac.at/record/3210
DOI: 10.1007/3-540-39200-9_34

3D supernova collapse calculations
M.T. Bollenbach, T. Strother, W. Bauer, in:, Springer, 2003, pp. 277–288.
LibreCat: https://research-explorer.ista.ac.at/record/3425
DOI: 10.1007/978-1-4020-2705-5_21

Molekulare und zelluläre Grundlagen des Nervensystems.
P.M. Jonas, K. Unsicker, in:, R. Schmidt (Ed.), Lehrbuch Vorklinik, Deutscher Ärzte Verlag, 2003, pp. 3–26.
LibreCat: https://research-explorer.ista.ac.at/record/3458

Hippocampal network patterns of activity in the mouse
G. Buzsáki, D. Buhl, K. Harris, J.L. Csicsvari, B. Czéh, A. Morozov, Neuroscience 116 (2003) 201–211.
LibreCat: https://research-explorer.ista.ac.at/record/3536
DOI: 10.1016/S0306-4522(02)00669-3

Morse-Smale complexes for piecewise linear 3-manifolds
H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, in:, ACM, 2003, pp. 361–370.
LibreCat: https://research-explorer.ista.ac.at/record/3556
DOI: 10.1145/777792.777846

Surface reconstruction by wrapping finite sets in space
H. Edelsbrunner, in:, Discrete &; Computational Geometry, Springer, 2003, pp. 379–404.
LibreCat: https://research-explorer.ista.ac.at/record/3573
DOI: 10.1007/978-3-642-55566-4_17

Computing linking numbers of a filtration
H. Edelsbrunner, A. Zomorodian, Homology, Homotopy and Applications 5 (2003) 19–37.
LibreCat: https://research-explorer.ista.ac.at/record/3584

A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae)
B. Nürnberger, S. Hofman, B. Förg Brey, G. Praetzel, A. Maclean, J. Szymura, C. Abbott, N.H. Barton, Heredity 91 (2003) 136–142.
LibreCat: https://research-explorer.ista.ac.at/record/3620
DOI: 10.1038/sj.hdy.6800291

The distribution of surviving blocks of an ancestral genome
S. Baird, N.H. Barton, A. Etheridge, Theoretical Population Biology 64 (2003) 451–471.
LibreCat: https://research-explorer.ista.ac.at/record/3619
DOI: 10.1016/S0040-5809(03)00098-4

A new approach to detecting mixed families
T. Vines, N.H. Barton, Molecular Ecology 12 (2003) 1999–2002.
LibreCat: https://research-explorer.ista.ac.at/record/3618
DOI: 10.1046/j.1365-294X.2003.01867.x

Modeling network dynamics: the lac operon, a case study
J. Vilar, C.C. Guet, S. Leibler, Journal of Cell Biology 161 (2003) 471–476.
LibreCat: https://research-explorer.ista.ac.at/record/3752
DOI: 10.1083/jcb.200301125

Breaking atomic nuclei into little pieces: evidence for a phase transition
W. Bauer, M. Kleine Berkenbusch, M.T. Bollenbach, Revista Mexicana De Fisica 49 (2003) 1–6.
LibreCat: https://research-explorer.ista.ac.at/record/3797

Simple stochastic parity games
K. Chatterjee, M. Jurdziski, T.A. Henzinger, in:, Springer, 2003, pp. 100–113.
LibreCat: https://research-explorer.ista.ac.at/record/3897
DOI: 10.1007/978-3-540-45220-1_11

Stack size analysis for interrupt-driven programs
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, in:, Springer, 2003, pp. 109–126.
LibreCat: https://research-explorer.ista.ac.at/record/3898
DOI: 10.1007/3-540-44898-5_7

Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds
H. Edelsbrunner, J. Harer, A. Zomorodian, Discrete &; Computational Geometry 30 (2003) 87–107.
LibreCat: https://research-explorer.ista.ac.at/record/3993
DOI: 10.1007/s00454-003-2926-5

Area, perimeter and derivatives of a skin curve
H. Cheng, H. Edelsbrunner, Computational Geometry: Theory and Applications 26 (2003) 173–192.
LibreCat: https://research-explorer.ista.ac.at/record/3994
DOI: 10.1016/S0925-7721(02)00124-4

Development of the monosynaptic stretch reflex circuit
H. Chen, S. Hippenmeyer, S. Arber, E. Frank, Current Opinion in Neurobiology 13 (2003) 96–102.
LibreCat: https://research-explorer.ista.ac.at/record/3139
DOI: 10.1016/S0959-4388(03)00006-0

Generalized multi camera scene reconstruction using graph cuts
V. Kolmogorov, R. Zabih, S. Gortler, in:, Springer, 2003, pp. 501–516.
LibreCat: https://research-explorer.ista.ac.at/record/3171
DOI: 10.1007/978-3-540-45063-4_32

Visual correspondence using energy minimization and mutual information
J. Kim, V. Kolmogorov, R. Zabih, in:, IEEE, 2003, pp. 1033–1040.
LibreCat: https://research-explorer.ista.ac.at/record/3174
DOI: 10.1109/ICCV.2003.1238463

Computing geodesics and minimal surfaces via graph cuts
Y. Boykov, V. Kolmogorov, in:, IEEE, 2003, pp. 26–33.
LibreCat: https://research-explorer.ista.ac.at/record/3170
DOI: 10.1109/ICCV.2003.1238310

Organization of cell assemblies in the hippocampus
K. Harris, J.L. Csicsvari, H. Hirase, G. Dragoi, G. Buzsáki, Nature 424 (2003) 552–556.
LibreCat: https://research-explorer.ista.ac.at/record/3526
DOI: 0.1038/nature01834

Massively parallel recording of unit and local field potentials with silicon-based electrodes
J.L. Csicsvari, D. Henze, B. Jamieson, K. Harris, A. Sirota, P. Bartho, K. Wise, G. Buzsáki, Journal of Neurophysiology 90 (2003) 1314–1323.
LibreCat: https://research-explorer.ista.ac.at/record/3529
DOI: 10.1152/jn.00116.2003

Mechanisms of gamma oscillations in the hippocampus of the behaving rat
J.L. Csicsvari, B. Jamieson, K. Wise, G. Buzsáki, Neuron 37 (2003) 311–322.
LibreCat: https://research-explorer.ista.ac.at/record/3528
DOI: 10.1016/S0896-6273(02)01169-8

Communication between neocortex and hippocampus during sleep in rodents
A. Sirota, J.L. Csicsvari, D. Buhl, G. Buzsáki, PNAS 100 (2003) 2065–2069.
LibreCat: https://research-explorer.ista.ac.at/record/3543
DOI: 10.1073/pnas.0437938100

A branching time temporal framework for quantitative reasoning
K. Chatterjee, P. Dasgupta, P. Chakrabarti, Journal of Automated Reasoning 30 (2003) 205–232.
LibreCat: https://research-explorer.ista.ac.at/record/3593
DOI: 10.1023/A:1023217515688

The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric 
C. Lampert, The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric , Universität Bonn, Fachbibliothek Mathematik, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/3678

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