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.
151 Publications
2005 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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.
2005 |Published| Journal Article | IST-REx-ID: 8491
SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds
P. Schanda, Ē. Kupče, B. Brutscher, Journal of Biomolecular NMR 33 (2005) 199–211.
View
| DOI
P. Schanda, Ē. Kupče, B. Brutscher, Journal of Biomolecular NMR 33 (2005) 199–211.
2005 |Published| Journal Article | IST-REx-ID: 8492
Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds
P. Schanda, B. Brutscher, Journal of the American Chemical Society 127 (2005) 8014–8015.
View
| DOI
P. Schanda, B. Brutscher, Journal of the American Chemical Society 127 (2005) 8014–8015.
2005 |Published| Journal Article | IST-REx-ID: 8516
On diffusion in high-dimensional Hamiltonian systems
J. Bourgain, V. Kaloshin, Journal of Functional Analysis 229 (2005) 1–61.
View
| DOI
J. Bourgain, V. Kaloshin, Journal of Functional Analysis 229 (2005) 1–61.
2005 |Published| Journal Article | IST-REx-ID: 877
The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution
F. Kondrashov, Biofizika 50 (2005) 389–395.
View
| Download None (ext.)
| PubMed | Europe PMC
F. Kondrashov, Biofizika 50 (2005) 389–395.
2005 |Published| Journal Article | IST-REx-ID: 878
In search of the limits of evolution
F. Kondrashov, Nature Genetics 37 (2005) 9–10.
View
| DOI
F. Kondrashov, Nature Genetics 37 (2005) 9–10.