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.

6285 Publications


2005 | 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
 

2005 | Journal Article | IST-REx-ID: 4167
Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones
W. Norton, M. Mangoli, Z. Lele, H. Pogoda, B. Diamond, S. Mercurio, C. Russell, H. Teraoka, H. Stickney, G. Rauch, C.-P.J. Heisenberg, C. Houart, T. Schilling, H. Frohnhoefer, S. Rastegar, C. Neumann, R.M. Gardiner, U. Strähle, R. Geisler, M. Rees, W. Talbot, S. Wilson, Development 132 (2005) 645–658.
View | DOI
 

2005 | 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
 

2005 | 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
 

2005 | 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
 

2005 | 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
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
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.)
 

2005 | Conference Paper | IST-REx-ID: 4367
Boolean Heaps
A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.
View | DOI
 

2005 | 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
 

2005 | 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
 

2005 | 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
 

2005 | 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
 

2005 | 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
 

2005 | Conference Paper | IST-REx-ID: 4456
Permissive interfaces
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Composable code generation for distributed Giotto
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Automatic rectangular refinement of affine hybrid systems
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Semiperfect-information games
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
The complexity of stochastic Rabin and Streett games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Mean-payoff parity games
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Counterexample-guided planning
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first?
P. Dhonukshe, J. Kleine Vehn, J. Friml, Protoplasma 226 (2005) 67–73.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Auxin inhibits endocytosis and promotes its own efflux from cells
T. Paciorek, E. Zažímalová, N. Ruthardt, J. Petrášek, Y. Stierhof, J. Kleine Vehn, D. Morris, N. Emans, G. Jürgens, N. Geldner, J. Friml, Nature 435 (2005) 1251–1256.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression
A. Vieten, S. Vanneste, J. Wiśniewska, E. Benková, R. Benjamins, T. Beeckman, C. Luschnig, J. Friml, Development 132 (2005) 4521–4531.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis
D. Weijers, M. Sauer, O. Meurette, J. Friml, K. Ljung, G. Sandberg, P. Hooykaas, R. Offringa, Plant Cell 17 (2005) 2517–2526.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Conformational changes in the Arp2 3 complex leading to actin nucleation
A. Rodal, O. Sokolova, D. Robins, K. Daugherty, S. Hippenmeyer, H. Riezman, N. Grigorieff, B. Goode, Nature Structural and Molecular Biology 12 (2005) 26–31.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
A developmental switch in the response of DRG neurons to ETS transcription factor signaling
S. Hippenmeyer, E. Vrieseling, M. Sigrist, T. Portmann, C. Laengle, D. Ladle, S. Arber, PLoS Biology 3 (2005) 0878–0890.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
Digital tapestry
C. Rother, S. Kumar, V. Kolmogorov, A. Blake, in:, IEEE, 2005, pp. 589–596.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
Bi-layer segmentation of binocular stereo video
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, in:, IEEE, 2005, pp. 1186–1186.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
On the optimality of tree reweighted max product message passing
V. Kolmogorov, M. Wainwright, in:, AUAI Press, 2005, pp. 316–323.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182 View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Bi-layer segmentation of binocular stereo video
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, in:, IEEE, 2005, pp. 407–414.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3211
Improved security analyses for CBC MACs
M. Bellare, K.Z. Pietrzak, P. Rogaway, in:, Springer, 2005, pp. 527–545.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
On the generic insecurity of the full domain hash
Y. Dodis, R. Oliveira, K.Z. Pietrzak, in:, Springer, 2005, pp. 449–466.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Composition does not imply adaptive security
K.Z. Pietrzak, in:, Springer, 2005, pp. 55–65.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Complex stability of single proteins explored by forced unfolding experiments
H.L. Janovjak, T. Sapra, D. Mueller, Biophysical Journal 88 (2005) 37–39.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Automated alignment and pattern recognition of single-molecule force spectroscopy data
M. Kuhn, H.L. Janovjak, M. Hubain, D. Mueller, Journal of Microscopy 218 (2005) 125–132.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3418
Hydrodynamic effects in fast AFM single molecule force measurements
H.L. Janovjak, J. Struckmeier, D. Mueller, European Biophysics Journal 34 (2005) 91–96.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3426 | OA
Robust formation of morphogen gradients
M.T. Bollenbach, K. Kruse, P. Pantazis, M. González Gaitán, F. Jülicher, Physical Review Letters 94 (2005).
View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Book Chapter | IST-REx-ID: 3433
Posterior mapping and posterior predictive distributions
J.P. Bollback, in:, R. Nielsen (Ed.), Statistical Methods in Molecular Evolution, Springer, 2005, pp. 439–462.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3443
Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations
T. Klausberger, L. Marton, J. O’Neill, J. Huck, Y. Dalezios, P. Fuentealba, W. Suen, E. Papp, T. Kaneko, M. Watanabe, J.L. Csicsvari, P. Somogyi, Journal of Neuroscience 25 (2005) 9782–9793.
View | DOI
 

2005 | Patent | IST-REx-ID: 3509 View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3557
Surface tiling with differential topology
H. Edelsbrunner, in:, ACM, 2005, pp. 9–11.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3558
Extraction and simplification of iso-surfaces in tandem
D. Attali, D. Cohen Steiner, H. Edelsbrunner, in:, ACM, 2005, pp. 139–148.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3576
The geometry of biomolecular solvation
H. Edelsbrunner, P. Koehl, in:, Combinatorial and Computational Geometry, Cambridge University Press, 2005, pp. 243–275.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3588
Cell migration during zebrafish gastrulation
I. Castanon Ortega, C.-P.J. Heisenberg, in:, D. Wedlich (Ed.), Cell Migration in Development and Disease, Wiley-VCH, 2005, pp. 71–105.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3589
Cleavage and gastrulation in zebrafish embryos
M. Köppen, C.-P.J. Heisenberg, in:, Encyclopedia of Life Sciences, Wiley-Blackwell, 2005.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
A stern view of gastrulation
I. Castanon Ortega, C.-P.J. Heisenberg, Nature Cell Biology 7 (2005) 19–19.
View | DOI
 

Search

Filter Publications