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.
6978 Publications
2005 |Published| Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, Krishnendu Chatterjee, Thomas A Henzinger, Orna Kupferman, and Ritankar Majumdar. “Verifying Quantitative Properties Using Bound Functions,” 3725:50–64. Springer, 2005. https://doi.org/10.1007/11560548_7.
View
| DOI
2005 |Published| Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Planning,” 104–11. AUAI Press, 2005.
View
| Download (ext.)
2005 |Published| Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Checking Memory Safety with BLAST,” 3442:2–18. Springer, 2005. https://doi.org/10.1007/978-3-540-31984-9_2.
View
| DOI
2005 |Published| Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, Arindam Chakrabarti, and Thomas A Henzinger. “Web Service Interfaces,” 148–59. ACM, 2005. https://doi.org/10.1145/1060745.1060770.
View
| DOI
2005 |Published| Journal Article | IST-REx-ID: 4625
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science. Elsevier, 2005. https://doi.org/10.1016/j.tcs.2005.07.033.
View
| DOI
2005 |Published| Conference Paper | IST-REx-ID: 4624
De Alfaro, Luca, and Thomas A Henzinger. “Interface-Based Design,” 195:83–104. Springer, 2005. https://doi.org/10.1007/1-4020-3532-2_3.
View
| DOI
2005 |Published| Conference Paper | IST-REx-ID: 575
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation,” 1:365–67. IEEE, 2005. https://doi.org/ 10.1109/QELS.2005.1548783.
View
| DOI
2005 |Published| Journal Article | IST-REx-ID: 6153
Bono, Mario de, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.” Annual Review of Neuroscience. Annual Reviews, 2005. https://doi.org/10.1146/annurev.neuro.27.070203.144259.
View
| DOI
| PubMed | Europe PMC
2005 |Published| Journal Article | IST-REx-ID: 6154
Cheung, Benny H.H., Merav Cohen, Candida Rogers, Onder Albayram, and Mario de Bono. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.” Current Biology. Elsevier, 2005. https://doi.org/10.1016/j.cub.2005.04.017.
View
| DOI
| PubMed | Europe PMC
2005 |Published| Journal Article | IST-REx-ID: 843
Yampolsky, Lev, Fyodor Kondrashov, and Alexey Kondrashov. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.” Human Molecular Genetics. Oxford University Press, 2005. https://doi.org/10.1093/hmg/ddi350.
View
| DOI
2005 |Published| Journal Article | IST-REx-ID: 877
Kondrashov, Fyodor. “The Analysis of Monomer Sequences in Protein and TRNA and the Manifestation of the Compensation of Pathogenic Deviations in Their Evolution.” Biofizika. Pleiades Publishing, 2005.
View
| Download None (ext.)
| PubMed | Europe PMC
2005 |Published| Journal Article | IST-REx-ID: 878
Kondrashov, Fyodor. “In Search of the Limits of Evolution.” Nature Genetics. Nature Publishing Group, 2005. https://doi.org/10.1038/ng0105-9.
View
| DOI
2005 |Published| Journal Article | IST-REx-ID: 882
Kondrashov, Fyodor. “Prediction of Pathogenic Mutations in Mitochondrially Encoded Human TRNAs.” Human Molecular Genetics. Oxford University Press, 2005. https://doi.org/10.1093/hmg/ddi243.
View
| DOI
2005 |Published| Journal Article | IST-REx-ID: 880
Kondrashov, Fyodor. “The Convergent Evolution of the Secondary Structure of Mitochondrial Cysteine TRNA in the Nine-Banded Armadillo Dasypus Novemcinctus.” Biofizika. Pleiades Publishing, 2005.
View
| Download None (ext.)
| PubMed | Europe PMC
2005 |Published| Journal Article | IST-REx-ID: 893
Jordan, Ingo, Fyodor Kondrashov, Ivan Adzhubeǐ, Yuri Wolf, Eugene Koonin, Alexey Kondrashov, and Shamil Sunyaev. “A Universal Trend of Amino Acid Gain and Loss in Protein Evolution.” Nature. Nature Publishing Group, 2005. https://doi.org/10.1038/nature03306.
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 1456 | 
Hausel, Tamás, Eugénie Hunsicker, and Rafe Mazzeo. “Hodge Cohomology of Gravitational Instantons.” Duke Mathematical Journal. Duke University Press, 2004. https://doi.org/10.1215/S0012-7094-04-12233-X.
View
| DOI
| Download (ext.)
2004 |Published| Journal Article | IST-REx-ID: 1464 |
Hausel, Tamás, and Michael Thaddeus. “Generators for the Cohomology Ring of the Moduli Space of Rank 2 Higgs Bundles.” Proceedings of the London Mathematical Society. Oxford University Press, 2004. https://doi.org/10.1112/S0024611503014618.
View
| DOI
| Download (ext.)
2004 |Published| Journal Article | IST-REx-ID: 1963
Mamedova, Aygun, Peter Holt, Joe Carroll, and Leonid A Sazanov. “Substrate-Induced Conformational Change in Bacterial Complex I.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2004. https://doi.org/10.1074/jbc.M401539200.
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 209
Browning, Timothy D, and Roger Heath Brown. “Equal Sums of Three Powers.” Inventiones Mathematicae. Unknown, 2004. https://doi.org/10.1007/s00222-004-0360-9.
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 2308
Novarino, Gaia, Cinzia Fabrizi, Raffaella Tonini, Michela Denti, Albedi Malchiodi, Giuliana Lauro, Benedetto Sacchetti, et al. “Involvement of the Intracellular Ion Channel CLIC1 in Microglia-Mediated β-Amyloid-Induced Neurotoxicity.” Journal of Neuroscience. Society for Neuroscience, 2004. https://doi.org/10.1523/JNEUROSCI.1170-04.2004.
View
| DOI