Please note that ISTA 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.
7112 Publications
2005 | Published | Journal Article | IST-REx-ID: 2658
Down-regulation of metabotropic glutamate receptor 1α in globus pallidus and substantia nigra of parkinsonian monkeys
K. Kaneda, Y. Tachibana, M. Imanishi, H. Kita, R. Shigemoto, A. Nambu, M. Takada, European Journal of Neuroscience 22 (2005) 3241–3254.
View
| DOI
K. Kaneda, Y. Tachibana, M. Imanishi, H. Kita, R. Shigemoto, A. Nambu, M. Takada, European Journal of Neuroscience 22 (2005) 3241–3254.
2005 | Published | Journal Article | IST-REx-ID: 2743
Existence of the D0-D4 bound state: A detailed proof
L. Erdös, D. Hasler, J. Solovej, Annales Henri Poincare 6 (2005) 247–267.
View
| DOI
L. Erdös, D. Hasler, J. Solovej, Annales Henri Poincare 6 (2005) 247–267.
2005 | Published | Journal Article | IST-REx-ID: 2744
The linear Boltzmann equation as the low density limit of a random Schrödinger equation
D. Eng, L. Erdös, Reviews in Mathematical Physics 17 (2005) 669–743.
View
| DOI
D. Eng, L. Erdös, Reviews in Mathematical Physics 17 (2005) 669–743.
2005 | Published | Conference Paper | IST-REx-ID: 3982
Coarse and reliable geometric alignment for protein docking
Y. Wang, P. Agarwal, P. Brown, H. Edelsbrunner, J. Rudolph, in:, World Scientific Publishing, 2005, pp. 64–75.
View
| DOI
Y. Wang, P. Agarwal, P. Brown, H. Edelsbrunner, J. Rudolph, in:, World Scientific Publishing, 2005, pp. 64–75.
2005 | Published | Journal Article | IST-REx-ID: 3983
Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate
J. Sohn, J. Parks, G. Buhrman, P. Brown, K. Kristjánsdóttir, A. Safi, H. Edelsbrunner, W. Yang, J. Rudolph, Biochemistry 44 (2005) 16563–16573.
View
| DOI
J. Sohn, J. Parks, G. Buhrman, P. Brown, K. Kristjánsdóttir, A. Safi, H. Edelsbrunner, W. Yang, J. Rudolph, Biochemistry 44 (2005) 16563–16573.
2005 | Published | Journal Article | IST-REx-ID: 4138
The limitations of adaptive dynamics as a model of evolution
N.H. Barton, J. Polechova, Journal of Evolutionary Biology 18 (2005) 1186–1190.
View
| DOI
N.H. Barton, J. Polechova, Journal of Evolutionary Biology 18 (2005) 1186–1190.
2005 | Published | Journal Article | IST-REx-ID: 4144
Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin
F. Ulrich, M. Krieg, E. Schötz, V. Link, I. Castanon, V. Schnabel, A. Taubenberger, D. Müller, P. Puech, C.-P.J. Heisenberg, Developmental Cell 9 (2005) 555–564.
View
| DOI
F. Ulrich, M. Krieg, E. Schötz, V. Link, I. Castanon, V. Schnabel, A. Taubenberger, D. Müller, P. Puech, C.-P.J. Heisenberg, Developmental Cell 9 (2005) 555–564.
2005 | Published | Journal Article | IST-REx-ID: 4155
Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, C.-P.J. Heisenberg, Journal of Cell Science 118 (2005) 4199–4206.
View
| DOI
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, C.-P.J. Heisenberg, Journal of Cell Science 118 (2005) 4199–4206.
2005 | Published | Journal Article | IST-REx-ID: 4167
Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones
Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
View
| DOI
Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
2005 | Published | Journal Article | IST-REx-ID: 4171
Shield formation at the onset of zebrafish gastrulation
J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, C.-P.J. Heisenberg, Development 132 (2005) 1187–1198.
View
| DOI
J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, C.-P.J. Heisenberg, Development 132 (2005) 1187–1198.
2005 | Published | Journal Article | IST-REx-ID: 4183
Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure
M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, C.-P.J. Heisenberg, Mechanisms of Development 122 (2005) S112–S113.
View
| DOI
M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, C.-P.J. Heisenberg, Mechanisms of Development 122 (2005) S112–S113.
2005 | Published | Journal Article | IST-REx-ID: 4249
Speciation through competition: A critical review
J. Polechova, N.H. Barton, Evolution; International Journal of Organic Evolution 59 (2005) 1194–1210.
View
| DOI
J. Polechova, N.H. Barton, Evolution; International Journal of Organic Evolution 59 (2005) 1194–1210.
2005 | Published | Journal Article | IST-REx-ID: 4251
Evolution of recombination due to random drift
N.H. Barton, S. Otto, Genetics 169 (2005) 2353–2370.
View
| DOI
N.H. Barton, S. Otto, Genetics 169 (2005) 2353–2370.
2005 | Published | Journal Article | IST-REx-ID: 4252 | 
Theoretical models of selection and mutationon quantitative traits
T. Johnson, N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 360 (2005) 1411–1425.
View
| DOI
| Download (ext.)
T. Johnson, N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 360 (2005) 1411–1425.
2005 | Published | Conference Paper | IST-REx-ID: 4367
Boolean Heaps
A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.
View
| DOI
A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.
2005 | Published | Conference Paper | IST-REx-ID: 4404
Synthesis of interface specifications for Java classes
R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.
View
| DOI
R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.
2005 | Published | Conference Paper | IST-REx-ID: 4412
Trading end-to-end latency for composability
S. Matic, T.A. Henzinger, in:, IEEE, 2005, pp. 99–110.
View
| DOI
S. Matic, T.A. Henzinger, in:, IEEE, 2005, pp. 99–110.
2005 | Published | Conference Paper | IST-REx-ID: 4418
A programmable microkernel for real-time systems
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
View
| DOI
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
2005 | Published | Journal Article | IST-REx-ID: 4454
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, J. Raskin, ACM Transactions on Computational Logic (TOCL) 6 (2005) 1–32.
View
| DOI
T.A. Henzinger, R. Majumdar, J. Raskin, ACM Transactions on Computational Logic (TOCL) 6 (2005) 1–32.
2005 | Published | Conference Paper | IST-REx-ID: 4455
Quantifying similarities between timed systems
T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.
View
| DOI
T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.