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.
6107 Publications
2005 | Conference Paper | IST-REx-ID: 3213
Composition does not imply adaptive security
K.Z. Pietrzak, in:, Springer, 2005, pp. 55–65.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2005, pp. 55–65.
2005 | Journal Article | IST-REx-ID: 3416 |

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.)
H.L. Janovjak, T. Sapra, D. Mueller, Biophysical Journal 88 (2005) 37–39.
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
M. Kuhn, H.L. Janovjak, M. Hubain, D. Mueller, Journal of Microscopy 218 (2005) 125–132.
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
H.L. Janovjak, J. Struckmeier, D. Mueller, European Biophysics Journal 34 (2005) 91–96.
2005 | Journal Article | IST-REx-ID: 3426 |

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
M.T. Bollenbach, K. Kruse, P. Pantazis, M. González Gaitán, F. Jülicher, Physical Review Letters 94 (2005).
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
J.P. Bollback, in:, R. Nielsen (Ed.), Statistical Methods in Molecular Evolution, Springer, 2005, pp. 439–462.
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
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.
2005 | Patent | IST-REx-ID: 3509
Methods, apparatus and computer program products for modeling three-dimensional colored objects
S. Williams, H. Edelsbrunner, P. Fu, (2005).
View
| DOI
| Download (ext.)
S. Williams, H. Edelsbrunner, P. Fu, (2005).
2005 | Conference Paper | IST-REx-ID: 3557
Surface tiling with differential topology
H. Edelsbrunner, in:, ACM, 2005, pp. 9–11.
View
| DOI
| Download (ext.)
H. Edelsbrunner, in:, ACM, 2005, pp. 9–11.
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.)
D. Attali, D. Cohen Steiner, H. Edelsbrunner, in:, ACM, 2005, pp. 139–148.
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.)
H. Edelsbrunner, P. Koehl, in:, Combinatorial and Computational Geometry, Cambridge University Press, 2005, pp. 243–275.
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
I. Castanon Ortega, C.-P.J. Heisenberg, in:, D. Wedlich (Ed.), Cell Migration in Development and Disease, Wiley-VCH, 2005, pp. 71–105.
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
M. Köppen, C.-P.J. Heisenberg, in:, Encyclopedia of Life Sciences, Wiley-Blackwell, 2005.
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
I. Castanon Ortega, C.-P.J. Heisenberg, Nature Cell Biology 7 (2005) 19–19.
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
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
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
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
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
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.
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.)
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
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
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
2005 | Conference Paper | IST-REx-ID: 4624
Interface-based design
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
2005 | Journal Article | IST-REx-ID: 4625
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
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
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
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
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
2005 | Journal Article | IST-REx-ID: 3720
P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex.
J. Guzmán, Z. Gerevich, J. Hengstler, P. Illes, W. Kleemann, Synapse 57 (2005) 235–238.
View
| DOI
J. Guzmán, Z. Gerevich, J. Hengstler, P. Illes, W. Kleemann, Synapse 57 (2005) 235–238.
2005 | Journal Article | IST-REx-ID: 3721 |

Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins
H.L. Janovjak, D. Mueller, A. Humphris, Biophysical Journal 88 (2005) 1423–1431.
View
| DOI
| Download (ext.)
H.L. Janovjak, D. Mueller, A. Humphris, Biophysical Journal 88 (2005) 1423–1431.
2005 | Journal Article | IST-REx-ID: 3741 |

Information-based clustering
N. Slonim, G. Atwal, G. Tkačik, W. Bialek, PNAS 102 (2005) 18297–18302.
View
| DOI
| Download (ext.)
N. Slonim, G. Atwal, G. Tkačik, W. Bialek, PNAS 102 (2005) 18297–18302.
2005 | Preprint | IST-REx-ID: 3746 |

Estimating mutual information and multi-information in large networks
N. Slonim, G. Atwal, G. Tkačik, W. Bialek, ArXiv (2005) 1–11.
View
| Download (ext.)
N. Slonim, G. Atwal, G. Tkačik, W. Bialek, ArXiv (2005) 1–11.
2005 | Journal Article | IST-REx-ID: 3753
Real-time RNA profiling within a single bacterium
T. Le, S. Harlepp, C.C. Guet, K. Dittmar, T. Emonet, T. Pan, P. Cluzel, PNAS 102 (2005) 9160–9164.
View
| DOI
T. Le, S. Harlepp, C.C. Guet, K. Dittmar, T. Emonet, T. Pan, P. Cluzel, PNAS 102 (2005) 9160–9164.
2005 | Journal Article | IST-REx-ID: 3763
Controllable motion synthesis in a gaseous medium
L. Shi, Y. Yu, C.J. Wojtan, S. Chenney, The Visual Computer 21 (2005) 474–487.
View
| DOI
L. Shi, Y. Yu, C.J. Wojtan, S. Chenney, The Visual Computer 21 (2005) 474–487.
2005 | Journal Article | IST-REx-ID: 3808
Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons
D. Engel, P.M. Jonas, Neuron 45 (2005) 405–17.
View
| DOI
D. Engel, P.M. Jonas, Neuron 45 (2005) 405–17.
2005 | Journal Article | IST-REx-ID: 3611
Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes
B. Nürnberger, N.H. Barton, L. Kruuk, T. Vines, Heredity 94 (2005) 247–257.
View
| DOI
B. Nürnberger, N.H. Barton, L. Kruuk, T. Vines, Heredity 94 (2005) 247–257.
2005 | Journal Article | IST-REx-ID: 3612
Speciation and gene flow between snails of opposing chirality
A. Davison, S. Chiba, N.H. Barton, B. Clarke, PLoS Biology 3 (2005).
View
| DOI
A. Davison, S. Chiba, N.H. Barton, B. Clarke, PLoS Biology 3 (2005).
2005 | Journal Article | IST-REx-ID: 3613
Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns
M. Gardner, K. Fowler, N.H. Barton, L. Patridge, Genetics 169 (2005) 1553–1571.
View
| DOI
M. Gardner, K. Fowler, N.H. Barton, L. Patridge, Genetics 169 (2005) 1553–1571.
2005 | Conference Paper | IST-REx-ID: 3684
Oblivious document capture and real-time retrieval
C. Lampert, T. Braun, A. Ulges, D. Keysers, T. Breuel, in:, CBDAR, 2005, pp. 79–86.
View
| Download (ext.)
C. Lampert, T. Braun, A. Ulges, D. Keysers, T. Breuel, in:, CBDAR, 2005, pp. 79–86.
2005 | Book Review | IST-REx-ID: 3812
Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review)
S. Hefft, P.M. Jonas, Nature Neuroscience 8 (2005) 1319–28.
View
| DOI
S. Hefft, P.M. Jonas, Nature Neuroscience 8 (2005) 1319–28.
2005 | Conference Paper | IST-REx-ID: 3689
Document image dewarping using robust estimation of curled text lines
A. Ulges, C. Lampert, T. Breuel, in:, IEEE, 2005, pp. 1001–1005.
View
| DOI
| Download (ext.)
A. Ulges, C. Lampert, T. Breuel, in:, IEEE, 2005, pp. 1001–1005.
2005 | Journal Article | IST-REx-ID: 3691
Boundary regularity of admissible operators
C. Lampert, Publicacions Matemàtiques 49 (2005) 179–195.
View
| DOI
C. Lampert, Publicacions Matemàtiques 49 (2005) 179–195.
2005 | Conference Paper | IST-REx-ID: 3892
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, Springer, 2005, pp. 141–161.
View
| DOI
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, Springer, 2005, pp. 141–161.
2005 | Conference Paper | IST-REx-ID: 3893
Two-player nonzero-sum ω-regular games
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 413–427.
View
| DOI
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 413–427.
2005 | Conference Paper | IST-REx-ID: 3896
Complexity of compositional model checking of computation tree logic on simple structures
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Springer, 2005, pp. 89–102.
View
| DOI
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Springer, 2005, pp. 89–102.
2005 | Conference Paper | IST-REx-ID: 3902
The drawback of mobility: invasive species in a globalised world
S. Cremer, J. Boomsma, in:, Elsevier, 2005.
View
| Download None (ext.)
S. Cremer, J. Boomsma, in:, Elsevier, 2005.
2005 | Journal Article | IST-REx-ID: 3915
Primary sex ratio adjustment by ant queens in response to local mate competition
L. De Menten, S. Cremer, J. Heinze, S. Aron, Animal Behaviour 69 (2005) 1031–1035.
View
| DOI
L. De Menten, S. Cremer, J. Heinze, S. Aron, Animal Behaviour 69 (2005) 1031–1035.
2005 | Journal Article | IST-REx-ID: 3916
Sexual cooperation: mating increases longevity in ant queens
A. Schrempf, J. Heinze, S. Cremer, Current Biology 15 (2005) 267–270.
View
| DOI
A. Schrempf, J. Heinze, S. Cremer, Current Biology 15 (2005) 267–270.
2005 | Journal Article | IST-REx-ID: 3933
The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node
M.K. Sixt, N. Kanazawa, M. Selg, T. Samson, G. Roos, D. Reinhardt, R. Pabst, M. Lutz, L. Sorokin, Immunity 22 (2005) 19–29.
View
| DOI
M.K. Sixt, N. Kanazawa, M. Selg, T. Samson, G. Roos, D. Reinhardt, R. Pabst, M. Lutz, L. Sorokin, Immunity 22 (2005) 19–29.
2005 | 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 | 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 | 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 | 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 | 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 | 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
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.