Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6313 Publications
2003 | Journal Article | IST-REx-ID: 2634
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.
View
| DOI
G. López Bendito, R. Luján, R. Shigemoto, P. Ganter, O. Paulsen, Z. Molnár, Cerebral Cortex 13 (2003) 932–942.
2003 | Journal Article | IST-REx-ID: 2635
Subcellular Localization of Metabotropic GABAB Receptor Subunits GABAB1a/b and GABAB2 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.
View
Á. Kulik, I. Vida, R. Luján, C. Haas, G. López Bendito, R. Shigemoto, M. Frotscher, Journal of Neuroscience 23 (2003) 11026–11035.
2003 | Journal Article | IST-REx-ID: 2637
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.
View
| DOI
K. Bell, G.J. De Kort, S. Steggerda, R. Shigemoto, A. Ribeiro Da Silva, A. Cuello, Neuroscience Letters 353 (2003) 143–147.
2003 | Journal Article | IST-REx-ID: 2784
Magnetohydrodynamic damping of convective flows in molten gallium
B. Hof, A. Juel, T. Mullin, Journal of Fluid Mechanics 482 (2003) 163–179.
View
| DOI
B. Hof, A. Juel, T. Mullin, Journal of Fluid Mechanics 482 (2003) 163–179.
2003 | Journal Article | IST-REx-ID: 2785
Scaling of the turbulence transition threshold in a pipe
B. Hof, A. Juel, T. Mullin, Physical Review Letters 91 (2003) 244502/1-244502/4.
View
| DOI
B. Hof, A. Juel, T. Mullin, Physical Review Letters 91 (2003) 244502/1-244502/4.
2003 | Journal Article | IST-REx-ID: 847
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.
View
| DOI
S. Sunyaev, F. Kondrashov, P. Bork, V. Ramensky, Human Molecular Genetics 12 (2003) 3325–3330.
2003 | Journal Article | IST-REx-ID: 8519
The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles
V. Kaloshin, Inventiones Mathematicae 151 (2003) 451–512.
View
| DOI
V. Kaloshin, Inventiones Mathematicae 151 (2003) 451–512.
2003 | Journal Article | IST-REx-ID: 876
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.
View
| DOI
F. Kondrashov, E. Koonin, Trends in Genetics 19 (2003) 115–119.
2003 | Journal Article | IST-REx-ID: 1959
The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping
P. Holt, D. Morgan, L.A. Sazanov, Journal of Biological Chemistry 278 (2003) 43114–43120.
View
| DOI
P. Holt, D. Morgan, L.A. Sazanov, Journal of Biological Chemistry 278 (2003) 43114–43120.
2003 | Journal Article | IST-REx-ID: 1960
A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I)
L.A. Sazanov, J. Carroll, P. Holt, L. Toime, I. Fearnley, Journal of Biological Chemistry 278 (2003) 19483–19491.
View
| DOI
L.A. Sazanov, J. Carroll, P. Holt, L. Toime, I. Fearnley, Journal of Biological Chemistry 278 (2003) 19483–19491.
2003 | Journal Article | IST-REx-ID: 205
Counting rational points on cubic and quartic surfaces
T.D. Browning, Acta Arithmetica 108 (2003) 275–295.
View
| DOI
T.D. Browning, Acta Arithmetica 108 (2003) 275–295.
2003 | Journal Article | IST-REx-ID: 206
A note on the distribution of rational points on threefolds
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 33–39.
View
| DOI
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 33–39.
2003 | Journal Article | IST-REx-ID: 207
Sums of four biquadrates
T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 134 (2003) 385–395.
View
| DOI
T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 134 (2003) 385–395.
2003 | Journal Article | IST-REx-ID: 208
Counting rational points on diagonal quadratic surfaces
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 11–31.
View
| DOI
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 11–31.
2003 | Conference Paper | IST-REx-ID: 4628
Discounting the future in systems theory
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Springer, 2003, pp. 1022–1037.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Springer, 2003, pp. 1022–1037.
2003 | Conference Paper | IST-REx-ID: 4630
The element of surprise in timed games
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–158.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–158.
2003 | Journal Article | IST-REx-ID: 576
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.
View
| DOI
O. Hosten, P. Vignolo, A. Minguzzi, B. Tanatar, M. Tosi, Journal of Physics B: Atomic, Molecular and Optical Physics 36 (2003) 2455–2463.
2003 | Journal Article | IST-REx-ID: 6156
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.
View
| DOI
| PubMed | Europe PMC
C. Rogers, V. Reale, K. Kim, H. Chatwin, C. Li, P. Evans, M. de Bono, Nature Neuroscience 6 (2003) 1178–1185.
2003 | Journal Article | IST-REx-ID: 6157
Molecular approaches to aggregation behavior and social attachment
M. de Bono, Journal of Neurobiology 54 (2003) 78–92.
View
| DOI
| PubMed | Europe PMC
M. de Bono, Journal of Neurobiology 54 (2003) 78–92.
2003 | Journal Article | IST-REx-ID: 1457 | 
Mirror symmetry, langlands duality, and the Hitchin system
T. Hausel, M. Thaddeus, Inventiones Mathematicae 153 (2003) 197–229.
View
| DOI
| Download (ext.)
T. Hausel, M. Thaddeus, Inventiones Mathematicae 153 (2003) 197–229.
2003 | Journal Article | IST-REx-ID: 1458 |
Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles
T. Hausel, M. Thaddeus, Journal of the American Mathematical Society 16 (2003) 303–329.
View
| DOI
| Download (ext.)
T. Hausel, M. Thaddeus, Journal of the American Mathematical Society 16 (2003) 303–329.
2003 | Journal Article | IST-REx-ID: 1459 |
On Yang-Mills instantons over multi-centered gravitational instantons
G. Etesi, T. Hausel, Communications in Mathematical Physics 235 (2003) 275–288.
View
| DOI
| Download (ext.)
G. Etesi, T. Hausel, Communications in Mathematical Physics 235 (2003) 275–288.
2003 | Journal Article | IST-REx-ID: 166 |
Counting rational points on del Pezzo surfaces of degree 5
T.D. Browning, M. Swarbick Jones, Proceedings of the Bonn Session in Analytic Number Theory and Diophantine Equations 360 (2003).
View
| Download None (ext.)
| arXiv
T.D. Browning, M. Swarbick Jones, Proceedings of the Bonn Session in Analytic Number Theory and Diophantine Equations 360 (2003).
2003 | Journal Article | IST-REx-ID: 3725 |
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.
View
| DOI
| Download (ext.)
H.L. Janovjak, M. Kessler, D. Oesterhelt, H. Gaub, D. Mueller, EMBO Journal 22 (2003) 5220–5229.
2003 | Journal Article | IST-REx-ID: 3752 |
Modeling network dynamics: the lac operon, a case study
J. Vilar, C.C. Guet, S. Leibler, Journal of Cell Biology 161 (2003) 471–476.
View
| DOI
| Download (ext.)
J. Vilar, C.C. Guet, S. Leibler, Journal of Cell Biology 161 (2003) 471–476.
2003 | Journal Article | IST-REx-ID: 3797
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.
View
W. Bauer, M. Kleine Berkenbusch, M.T. Bollenbach, Revista Mexicana De Fisica 49 (2003) 1–6.
2003 | Journal Article | IST-REx-ID: 3804
Kv3 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.
View
C. Lien, P.M. Jonas, Journal of Neuroscience 23 (2003) 2058–68.
2003 | Journal Article | IST-REx-ID: 3806
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.
View
| DOI
S. Hallermann, C. Pawlu, P.M. Jonas, M. Heckmann, PNAS 100 (2003) 8975–80.
2003 | Conference Paper | IST-REx-ID: 3897
Simple stochastic parity games
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, Springer, 2003, pp. 100–113.
View
| DOI
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, Springer, 2003, pp. 100–113.
2003 | Conference Paper | IST-REx-ID: 3898
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.
View
| DOI
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, in:, Springer, 2003, pp. 109–126.
2003 | Journal Article | IST-REx-ID: 3917
Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen
S. Cremer, J. Heinze, Blick in Die Wissenschaft 12 (2003) 32–36.
View
S. Cremer, J. Heinze, Blick in Die Wissenschaft 12 (2003) 32–36.
2003 | Journal Article | IST-REx-ID: 3921
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.
View
| DOI
C. Anderson, S. Cremer, J. Heinze, Behavioral Ecology 14 (2003) 54–62.
2003 | Journal Article | IST-REx-ID: 3922
Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants
S. Cremer, J. Heinze, Current Biology 13 (2003) 219–223.
View
| DOI
S. Cremer, J. Heinze, Current Biology 13 (2003) 219–223.
2003 | Book Chapter | IST-REx-ID: 3991
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.
View
| DOI
H. Cheng, H. Edelsbrunner, in:, Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, Springer, 2003, pp. 88–97.
2003 | Journal Article | IST-REx-ID: 3992
The weighted-volume derivative of a space-filling diagram
H. Edelsbrunner, P. Koehl, PNAS 100 (2003) 2203–2208.
View
| DOI
H. Edelsbrunner, P. Koehl, PNAS 100 (2003) 2203–2208.
2003 | Journal Article | IST-REx-ID: 3993
Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds
H. Edelsbrunner, J. Harer, A. Zomorodian, Discrete & Computational Geometry 30 (2003) 87–107.
View
| DOI
H. Edelsbrunner, J. Harer, A. Zomorodian, Discrete & Computational Geometry 30 (2003) 87–107.
2003 | Journal Article | IST-REx-ID: 3994
Area, perimeter and derivatives of a skin curve
H. Cheng, H. Edelsbrunner, Computational Geometry: Theory and Applications 26 (2003) 173–192.
View
| DOI
H. Cheng, H. Edelsbrunner, Computational Geometry: Theory and Applications 26 (2003) 173–192.
2003 | Conference Paper | IST-REx-ID: 3997
A multi-resolution data structure for two-dimensional Morse-Smale functions
P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, in:, IEEE, 2003, pp. 139–146.
View
| DOI
P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, in:, IEEE, 2003, pp. 139–146.
2003 | Conference Paper | IST-REx-ID: 3999
Relaxed scheduling in dynamic skin triangulation
H. Edelsbrunner, A. Üngör, in:, Springer, 2003, pp. 135–151.
View
| DOI
H. Edelsbrunner, A. Üngör, in:, Springer, 2003, pp. 135–151.
2003 | Journal Article | IST-REx-ID: 4146
Slb/Wnt11 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.
View
| DOI
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.
2003 | Journal Article | IST-REx-ID: 4168
Adhesive crosstalk in gastrulation
J. Montero, C.-P.J. Heisenberg, Developmental Cell 5 (2003) 190–191.
View
| DOI
J. Montero, C.-P.J. Heisenberg, Developmental Cell 5 (2003) 190–191.
2003 | Journal Article | IST-REx-ID: 4169
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.
View
| DOI
J. Montero, B. Kilian, J. Chan, P. Bayliss, C.-P.J. Heisenberg, Current Biology 13 (2003) 1279–1289.
2003 | Journal Article | IST-REx-ID: 4185
The role of Ppt/Wnt5 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.
View
| DOI
B. Kilian, H. Mansukoski, F. Barbosa, F. Ulrich, M. Tada, C.-P.J. Heisenberg, Mechanisms of Development 120 (2003) 467–476.
2003 | Journal Article | IST-REx-ID: 4240
New Late–Intensification Schedules for Cancer Treatments
J. González, H. de Vladar, M. Rebolledo, Acta Científica Venezolana 54 (2003) 263–273.
View
| DOI
J. González, H. de Vladar, M. Rebolledo, Acta Científica Venezolana 54 (2003) 263–273.
2003 | Journal Article | IST-REx-ID: 4254
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.
View
| DOI
A. Navarro, N.H. Barton, Evolution; International Journal of Organic Evolution 57 (2003) 447–459.
2003 | Journal Article | IST-REx-ID: 4255
Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes
A. Navarro, N.H. Barton, Science 300 (2003) 321–324.
View
| DOI
A. Navarro, N.H. Barton, Science 300 (2003) 321–324.
2003 | Book Review | IST-REx-ID: 4256
The erratic path towards complexity
N.H. Barton, W. Zuidema, Current Biology 13 (2003) R649–R651.
View
| DOI
N.H. Barton, W. Zuidema, Current Biology 13 (2003) R649–R651.
2003 | Journal Article | IST-REx-ID: 4257
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.
View
| DOI
B. Charlesworth, D. Charlesworth, N.H. Barton, Annual Review of Ecology and Systematics 34 (2003) 99–125.
2003 | Journal Article | IST-REx-ID: 4338
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; International Journal of Organic Evolution 57 (2003) 1876–1888.
View
| DOI
T. Vines, S.C. Kohler, M. Thiel, I. Ghira, T.R. Sands, C. Maccallum, N.H. Barton, B. Nürnberger, Evolution; International Journal of Organic Evolution 57 (2003) 1876–1888.
2003 | Journal Article | IST-REx-ID: 4348
Stochastic mapping of morphological characters
J. Huelsenbeck, R. Nielsen, J.P. Bollback, Systematic Biology 52 (2003) 131–58.
View
| DOI
J. Huelsenbeck, R. Nielsen, J.P. Bollback, Systematic Biology 52 (2003) 131–58.
2003 | Journal Article | IST-REx-ID: 4350
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.
View
| DOI
J. Harshman, C. Huddleston, J.P. Bollback, T. Parsons, M. Braun, Systematic Biology 52 (2003) 386–402.
2003 | Thesis | IST-REx-ID: 4416
Symbolic algorithms for verification and control
R. Majumdar, Symbolic Algorithms for Verification and Control, University of California, Berkeley, 2003.
View
R. Majumdar, Symbolic Algorithms for Verification and Control, University of California, Berkeley, 2003.
2003 | Thesis | IST-REx-ID: 4425
Giotto: A time-triggered language for embedded programming
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.
View
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.
2003 | Journal Article | IST-REx-ID: 4460
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.
View
| DOI
T.A. Henzinger, O. Kupferman, S. Qadeer, Formal Methods in System Design 23 (2003) 303–327.
2003 | Conference Paper | IST-REx-ID: 4462
Counterexample-guided control
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2003, pp. 886–902.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2003, pp. 886–902.
2003 | Conference Paper | IST-REx-ID: 4463
Thread-modular abstraction refinement
T.A. Henzinger, R. Jhala, R. Majumdar, S. Qadeer, in:, Springer, 2003, pp. 262–274.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, S. Qadeer, in:, Springer, 2003, pp. 262–274.
2003 | Conference Paper | IST-REx-ID: 4464
Schedule-carrying code
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2003, pp. 241–256.
View
| DOI
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2003, pp. 241–256.
2003 | Book Chapter | IST-REx-ID: 4465
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.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
2003 | Conference Paper | IST-REx-ID: 4466
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2003, pp. 49–64.
View
| DOI
T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2003, pp. 49–64.
2003 | Conference Paper | IST-REx-ID: 4467
Software verification with BLAST
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Springer, 2003, pp. 235–239.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Springer, 2003, pp. 235–239.
2003 | Journal Article | IST-REx-ID: 4468
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.
View
| DOI
T.A. Henzinger, C. Kirsch, M. Sanvido, W. Pree, IEEE Control Systems Magazine 23 (2003) 50–64.
2003 | Journal Article | IST-REx-ID: 4469
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, Proceedings of the IEEE 91 (2003) 84–99.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, Proceedings of the IEEE 91 (2003) 84–99.
2003 | Conference Paper | IST-REx-ID: 4561
Resource interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, ACM, 2003, pp. 117–133.
View
| DOI
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, ACM, 2003, pp. 117–133.
2003 | Journal Article | IST-REx-ID: 2990
Auxin transport - Shaping the plant
J. Friml, Current Opinion in Plant Biology 6 (2003) 7–12.
View
| DOI
J. Friml, Current Opinion in Plant Biology 6 (2003) 7–12.
2003 | Journal Article | IST-REx-ID: 2992
Cell polarity and PIN protein positioning in Arabidopsis require STEROL METHYLTRANSFERASE1 function
V. Willemsen, J. Friml, M. Grebe, A. Van Den Toorn, K. Palme, B. Scheres, Plant Cell 15 (2003) 612–625.
View
| DOI
V. Willemsen, J. Friml, M. Grebe, A. Van Den Toorn, K. Palme, B. Scheres, Plant Cell 15 (2003) 612–625.
2003 | Journal Article | IST-REx-ID: 2993
Automated whole mount localisation techniques for plant seedlings
J. Friml, E. Benková, U. Mayer, K. Palme, G. Muster, Plant Journal 34 (2003) 115–124.
View
| DOI
J. Friml, E. Benková, U. Mayer, K. Palme, G. Muster, Plant Journal 34 (2003) 115–124.
2003 | Journal Article | IST-REx-ID: 2994
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.
View
| DOI
D. Reinhardt, E. Pesce, P. Stieger, T. Mandel, K. Baltensperger, M. Bennett, J. Traas, J. Friml, C. Kuhlemeier, Nature 426 (2003) 255–260.
2003 | Journal Article | IST-REx-ID: 2995
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.
View
| DOI
J. Friml, A. Vieten, M. Sauer, D. Weijers, H. Schwarz, T. Hamann, R. Offringa, G. Jürgens, Nature 426 (2003) 147–153.
2003 | Journal Article | IST-REx-ID: 2996
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.
View
| DOI
E. Benková, M. Michniewicz, M. Sauer, T. Teichmann, D. Seifertová, G. Jürgens, J. Friml, Cell 115 (2003) 591–602.
2003 | Book Review | IST-REx-ID: 3139
Development of the monosynaptic stretch reflex circuit
H. Chen, S. Hippenmeyer, S. Arber, E. Frank, Current Opinion in Neurobiology 13 (2003) 96–102.
View
| DOI
H. Chen, S. Hippenmeyer, S. Arber, E. Frank, Current Opinion in Neurobiology 13 (2003) 96–102.
2003 | Journal Article | IST-REx-ID: 3150
Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant
D.E. Siekhaus, D. Drubin, Nature Cell Biology 5 (2003) 231–235.
View
| DOI
D.E. Siekhaus, D. Drubin, Nature Cell Biology 5 (2003) 231–235.
2003 | Journal Article | IST-REx-ID: 3151
Amontillado, the Drosophila homolog of the prohormone processing protease PC2, 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.
View
L. Rayburn, H. Gooding, S. Choksi, D. Maloney, A. Kidd, D.E. Siekhaus, M. Bender, Genetics 163 (2003) 227–237.
2003 | Conference Paper | IST-REx-ID: 3170
Computing geodesics and minimal surfaces via graph cuts
Y. Boykov, V. Kolmogorov, in:, IEEE, 2003, pp. 26–33.
View
| DOI
Y. Boykov, V. Kolmogorov, in:, IEEE, 2003, pp. 26–33.
2003 | Conference Paper | IST-REx-ID: 3171
Generalized multi camera scene reconstruction using graph cuts
V. Kolmogorov, R. Zabih, S. Gortler, in:, Springer, 2003, pp. 501–516.
View
| DOI
V. Kolmogorov, R. Zabih, S. Gortler, in:, Springer, 2003, pp. 501–516.
2003 | Conference Paper | IST-REx-ID: 3174
Visual correspondence using energy minimization and mutual information
J. Kim, V. Kolmogorov, R. Zabih, in:, IEEE, 2003, pp. 1033–1040.
View
| DOI
J. Kim, V. Kolmogorov, R. Zabih, in:, IEEE, 2003, pp. 1033–1040.
2003 | Journal Article | IST-REx-ID: 3209
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.
View
| DOI
K.Z. Pietrzak, Journal of Computer and System Sciences 67 (2003) 757–771.
2003 | Conference Paper | IST-REx-ID: 3210
The security of many round Luby Rackoff pseudo random permutations
U. Maurer, K.Z. Pietrzak, in:, Springer, 2003, pp. 544–561.
View
| DOI
U. Maurer, K.Z. Pietrzak, in:, Springer, 2003, pp. 544–561.
2003 | Conference Paper | IST-REx-ID: 3425
3D supernova collapse calculations
M.T. Bollenbach, T. Strother, W. Bauer, in:, Springer, 2003, pp. 277–288.
View
| DOI
M.T. Bollenbach, T. Strother, W. Bauer, in:, Springer, 2003, pp. 277–288.
2003 | Book Chapter | IST-REx-ID: 3458
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.
View
P.M. Jonas, K. Unsicker, in:, R. Schmidt (Ed.), Lehrbuch Vorklinik, Deutscher Ärzte Verlag, 2003, pp. 3–26.
2003 | Journal Article | IST-REx-ID: 3526
Organization of cell assemblies in the hippocampus
K. Harris, J.L. Csicsvari, H. Hirase, G. Dragoi, G. Buzsáki, Nature 424 (2003) 552–556.
View
| DOI
K. Harris, J.L. Csicsvari, H. Hirase, G. Dragoi, G. Buzsáki, Nature 424 (2003) 552–556.
2003 | Journal Article | IST-REx-ID: 3528
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.
View
| DOI
J.L. Csicsvari, B. Jamieson, K. Wise, G. Buzsáki, Neuron 37 (2003) 311–322.
2003 | Journal Article | IST-REx-ID: 3529
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.
View
| DOI
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.
2003 | Journal Article | IST-REx-ID: 3536
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.
View
| DOI
G. Buzsáki, D. Buhl, K. Harris, J.L. Csicsvari, B. Czéh, A. Morozov, Neuroscience 116 (2003) 201–211.
2003 | Journal Article | IST-REx-ID: 3543
Communication between neocortex and hippocampus during sleep in rodents
A. Sirota, J.L. Csicsvari, D. Buhl, G. Buzsáki, PNAS 100 (2003) 2065–2069.
View
| DOI
A. Sirota, J.L. Csicsvari, D. Buhl, G. Buzsáki, PNAS 100 (2003) 2065–2069.
2003 | Conference Paper | IST-REx-ID: 3556
Morse-Smale complexes for piecewise linear 3-manifolds
H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, in:, ACM, 2003, pp. 361–370.
View
| DOI
| Download (ext.)
H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, in:, ACM, 2003, pp. 361–370.
2003 | Book Chapter | IST-REx-ID: 3573
Surface reconstruction by wrapping finite sets in space
H. Edelsbrunner, in:, Discrete & Computational Geometry, Springer, 2003, pp. 379–404.
View
| DOI
| Download (ext.)
H. Edelsbrunner, in:, Discrete & Computational Geometry, Springer, 2003, pp. 379–404.
2003 | Journal Article | IST-REx-ID: 3584
Computing linking numbers of a filtration
H. Edelsbrunner, A. Zomorodian, Homology, Homotopy and Applications 5 (2003) 19–37.
View
| Download None (ext.)
H. Edelsbrunner, A. Zomorodian, Homology, Homotopy and Applications 5 (2003) 19–37.
2003 | Journal Article | IST-REx-ID: 3593
A branching time temporal framework for quantitative reasoning
K. Chatterjee, P. Dasgupta, P. Chakrabarti, Journal of Automated Reasoning 30 (2003) 205–232.
View
| DOI
K. Chatterjee, P. Dasgupta, P. Chakrabarti, Journal of Automated Reasoning 30 (2003) 205–232.
2003 | Journal Article | IST-REx-ID: 3618
A new approach to detecting mixed families
T. Vines, N.H. Barton, Molecular Ecology 12 (2003) 1999–2002.
View
| DOI
T. Vines, N.H. Barton, Molecular Ecology 12 (2003) 1999–2002.
2003 | Journal Article | IST-REx-ID: 3619
The distribution of surviving blocks of an ancestral genome
S. Baird, N.H. Barton, A. Etheridge, Theoretical Population Biology 64 (2003) 451–471.
View
| DOI
S. Baird, N.H. Barton, A. Etheridge, Theoretical Population Biology 64 (2003) 451–471.
2003 | Journal Article | IST-REx-ID: 3620
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.
View
| DOI
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.
2003 | Thesis | IST-REx-ID: 3678
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.
View
| Download (ext.)
C. Lampert, The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric , Universität Bonn, Fachbibliothek Mathematik, 2003.
2002 | Book Chapter | IST-REx-ID: 2338
The ground state of the Bose gas
É. Lieb, J. Solovej, R. Seiringer, J. Yngvason, in:, Current Developments in Mathematics, 2001, International Press, 2002, pp. 131–178.
View
| DOI
É. Lieb, J. Solovej, R. Seiringer, J. Yngvason, in:, Current Developments in Mathematics, 2001, International Press, 2002, pp. 131–178.
2002 | Conference Paper | IST-REx-ID: 2339
Symmetry breaking in a model of a rotating Bose gas
R. Seiringer, in:, R. Weder, P. Exner, B. Grébert (Eds.), World Scientific Publishing, 2002, pp. 281–286.
View
| DOI
R. Seiringer, in:, R. Weder, P. Exner, B. Grébert (Eds.), World Scientific Publishing, 2002, pp. 281–286.
2002 | Journal Article | IST-REx-ID: 2349 |
Proof of Bose-Einstein condensation for dilute trapped gases
É. Lieb, R. Seiringer, Physical Review Letters 88 (2002) 1704091–1704094.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, Physical Review Letters 88 (2002) 1704091–1704094.
2002 | Journal Article | IST-REx-ID: 2350 |
Mass renormalization and energy level shift in non-relativistic QED
C. Hainzl, R. Seiringer, Advances in Theoretical and Mathematical Physics 6 (2002) 847–871.
View
| Download (ext.)
C. Hainzl, R. Seiringer, Advances in Theoretical and Mathematical Physics 6 (2002) 847–871.
2002 | Journal Article | IST-REx-ID: 2351 |
Gross-Pitaevskii theory of the rotating Bose gas
R. Seiringer, Communications in Mathematical Physics 229 (2002) 491–509.
View
| DOI
| Download (ext.)
R. Seiringer, Communications in Mathematical Physics 229 (2002) 491–509.
2002 | Journal Article | IST-REx-ID: 2352 |
General decomposition of radial functions on ℝn and applications to N-body quantum systems
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 61 (2002) 75–84.
View
| DOI
| Download (ext.)
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 61 (2002) 75–84.
2002 | Journal Article | IST-REx-ID: 2353 |
Superfluidity in dilute trapped Bose gases
É. Lieb, R. Seiringer, J. Yngvason, Physical Review B - Condensed Matter and Materials Physics 66 (2002).
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Physical Review B - Condensed Matter and Materials Physics 66 (2002).
2002 | Journal Article | IST-REx-ID: 2420
On the number of corner cuts
U. Wagner, Advances in Applied Mathematics 29 (2002) 152–161.
View
| DOI
U. Wagner, Advances in Applied Mathematics 29 (2002) 152–161.