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.
147 Publications
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 | 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 | Patent | IST-REx-ID: 3509 |
Methods, apparatus and computer program products for modeling three-dimensional colored objects
S. Williams, H. Edelsbrunner, P. Fu, (2005).
[Published Version]
View
| Download Published Version (ext.)
S. Williams, H. Edelsbrunner, P. Fu, (2005).
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 | 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: 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: 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 | 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 | 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: 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 | 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: 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: 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 | 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 | 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: 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: 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: 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: 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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.
2005 | Conference Paper | IST-REx-ID: 4456
Permissive interfaces
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
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
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
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
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
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: 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: 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: 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 | 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 | 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: 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 | Conference Paper | IST-REx-ID: 575
Counterfactual quantum computation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
View
| DOI
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
2005 | Journal Article | IST-REx-ID: 6153
Neuronal substrates of complex behaviors in C. elegans
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
View
| DOI
| PubMed | Europe PMC
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
2005 | Journal Article | IST-REx-ID: 6154
Experience-dependent modulation of C. elegans behavior by ambient oxygen
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
View
| DOI
| PubMed | Europe PMC
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
2005 | Journal Article | IST-REx-ID: 8028 |
Signal propagation and logic gating in networks of integrate-and-fire neurons
T.P. Vogels, L.F. Abbott, Journal of Neuroscience 25 (2005) 10786–10795.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T.P. Vogels, L.F. Abbott, Journal of Neuroscience 25 (2005) 10786–10795.
2005 | Journal Article | IST-REx-ID: 8029
Neural network dynamics
T.P. Vogels, K. Rajan, L.F. Abbott, Annual Review of Neuroscience 28 (2005) 357–376.
View
| DOI
| PubMed | Europe PMC
T.P. Vogels, K. Rajan, L.F. Abbott, Annual Review of Neuroscience 28 (2005) 357–376.
2005 | Journal Article | IST-REx-ID: 9491 |
DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes
R.K. Tran, J.G. Henikoff, D. Zilberman, R.F. Ditt, S.E. Jacobsen, S. Henikoff, Current Biology 15 (2005) 154–159.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.K. Tran, J.G. Henikoff, D. Zilberman, R.F. Ditt, S.E. Jacobsen, S. Henikoff, Current Biology 15 (2005) 154–159.
2005 | Journal Article | IST-REx-ID: 9514 |
Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis
R.K. Tran, D. Zilberman, C. de Bustos, R.F. Ditt, J.G. Henikoff, A.M. Lindroth, J. Delrow, T. Boyle, S. Kwong, T.D. Bryson, S.E. Jacobsen, S. Henikoff, Genome Biology 6 (2005).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.K. Tran, D. Zilberman, C. de Bustos, R.F. Ditt, J.G. Henikoff, A.M. Lindroth, J. Delrow, T. Boyle, S. Kwong, T.D. Bryson, S.E. Jacobsen, S. Henikoff, Genome Biology 6 (2005).
2005 | Journal Article | IST-REx-ID: 843
Distribution of the strength of selection against amino acid replacements in human proteins
L. Yampolsky, F. Kondrashov, A. Kondrashov, Human Molecular Genetics 14 (2005) 3191–3201.
View
| DOI
L. Yampolsky, F. Kondrashov, A. Kondrashov, Human Molecular Genetics 14 (2005) 3191–3201.