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.
6997 Publications
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: 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: 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.
2005 |Published| Journal Article | IST-REx-ID: 882
Prediction of pathogenic mutations in mitochondrially encoded human tRNAs
F. Kondrashov, Human Molecular Genetics 14 (2005) 2415–2419.
View
| DOI
F. Kondrashov, Human Molecular Genetics 14 (2005) 2415–2419.
2005 |Published| Journal Article | IST-REx-ID: 880
The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus
F. Kondrashov, Biofizika 50 (2005) 396–403.
View
| Download None (ext.)
| PubMed | Europe PMC
F. Kondrashov, Biofizika 50 (2005) 396–403.
2005 |Published| Journal Article | IST-REx-ID: 893
A universal trend of amino acid gain and loss in protein evolution
I. Jordan, F. Kondrashov, I. Adzhubeǐ, Y. Wolf, E. Koonin, A. Kondrashov, S. Sunyaev, Nature 433 (2005) 633–638.
View
| DOI
I. Jordan, F. Kondrashov, I. Adzhubeǐ, Y. Wolf, E. Koonin, A. Kondrashov, S. Sunyaev, Nature 433 (2005) 633–638.
2004 |Published| Journal Article | IST-REx-ID: 1456 |
Hodge cohomology of gravitational instantons
T. Hausel, E. Hunsicker, R. Mazzeo, Duke Mathematical Journal 122 (2004) 485–548.
View
| DOI
| Download (ext.)
T. Hausel, E. Hunsicker, R. Mazzeo, Duke Mathematical Journal 122 (2004) 485–548.
2004 |Published| Journal Article | IST-REx-ID: 1464 |
Generators for the cohomology ring of the moduli space of rank 2 higgs bundles
T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.
View
| DOI
| Download (ext.)
T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.
2004 |Published| Journal Article | IST-REx-ID: 1963
Substrate-induced conformational change in bacterial complex I
A. Mamedova, P. Holt, J. Carroll, L.A. Sazanov, Journal of Biological Chemistry 279 (2004) 23830–23836.
View
| DOI
A. Mamedova, P. Holt, J. Carroll, L.A. Sazanov, Journal of Biological Chemistry 279 (2004) 23830–23836.
2004 |Published| Journal Article | IST-REx-ID: 209
Equal sums of three powers
T.D. Browning, R. Heath Brown, Inventiones Mathematicae 157 (2004) 553–573.
View
| DOI
T.D. Browning, R. Heath Brown, Inventiones Mathematicae 157 (2004) 553–573.
2004 |Published| Journal Article | IST-REx-ID: 2308
Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity
G. Novarino, C. Fabrizi, R. Tonini, M. Denti, A. Malchiodi, G. Lauro, B. Sacchetti, S. Paradisi, A. Ferroni, P. Curmi, S. Breit, M. Mazzanti, Journal of Neuroscience 24 (2004) 5322–5330.
View
| DOI
G. Novarino, C. Fabrizi, R. Tonini, M. Denti, A. Malchiodi, G. Lauro, B. Sacchetti, S. Paradisi, A. Ferroni, P. Curmi, S. Breit, M. Mazzanti, Journal of Neuroscience 24 (2004) 5322–5330.
2004 |Published| Journal Article | IST-REx-ID: 2356 |
One-dimensional behavior of dilute, trapped Bose gases
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 244 (2004) 347–393.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 244 (2004) 347–393.