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
A. Chakrabarti, K. Chatterjee, T. A. Henzinger, O. Kupferman, and R. Majumdar, “Verifying quantitative properties using bound functions,” presented at the CHARME: Correct Hardware Design and Verification Methods, 2005, vol. 3725, pp. 50–64.
View | DOI
 

2005 |Published| Conference Paper | IST-REx-ID: 4557
K. Chatterjee, T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided planning,” presented at the UAI: Uncertainty in Artificial Intelligence, 2005, pp. 104–111.
View | Download (ext.)
 

2005 |Published| Conference Paper | IST-REx-ID: 4579
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “Checking memory safety with BLAST,” presented at the FASE: Fundamental Approaches To Software Engineering, 2005, vol. 3442, pp. 2–18.
View | DOI
 

2005 |Published| Conference Paper | IST-REx-ID: 4576
D. Beyer, A. Chakrabarti, and T. A. Henzinger, “Web service interfaces,” presented at the WWW: World Wide Web Conference, 2005, pp. 148–159.
View | DOI
 

2005 |Published| Journal Article | IST-REx-ID: 4625
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” Theoretical Computer Science, vol. 345, no. 1. Elsevier, pp. 139–170, 2005.
View | DOI
 

2005 |Published| Conference Paper | IST-REx-ID: 4624
L. De Alfaro and T. A. Henzinger, “Interface-based design,” presented at the Engineering Theories of Software Intensive Systems, 2005, vol. 195, pp. 83–104.
View | DOI
 

2005 |Published| Conference Paper | IST-REx-ID: 575
O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual quantum computation,” presented at the QELS: Quantum Electronics and Laser Science, 2005, vol. 1, pp. 365–367.
View | DOI
 

2005 |Published| Journal Article | IST-REx-ID: 6153
M. de Bono and A. Villu Maricq, “Neuronal substrates of complex behaviors in C. elegans,” Annual Review of Neuroscience, vol. 28. Annual Reviews, pp. 451–501, 2005.
View | DOI | PubMed | Europe PMC
 

2005 |Published| Journal Article | IST-REx-ID: 6154
B. H. H. Cheung, M. Cohen, C. Rogers, O. Albayram, and M. de Bono, “Experience-dependent modulation of C. elegans behavior by ambient oxygen,” Current Biology, vol. 15, no. 10. Elsevier, pp. 905–917, 2005.
View | DOI | PubMed | Europe PMC
 

2005 |Published| Journal Article | IST-REx-ID: 843
L. Yampolsky, F. Kondrashov, and A. Kondrashov, “Distribution of the strength of selection against amino acid replacements in human proteins,” Human Molecular Genetics, vol. 14, no. 21. Oxford University Press, pp. 3191–3201, 2005.
View | DOI
 

2005 |Published| Journal Article | IST-REx-ID: 877
F. Kondrashov, “The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution,” Biofizika, vol. 50, no. 3. Pleiades Publishing, pp. 389–395, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 |Published| Journal Article | IST-REx-ID: 878
F. Kondrashov, “In search of the limits of evolution,” Nature Genetics, vol. 37, no. 1. Nature Publishing Group, pp. 9–10, 2005.
View | DOI
 

2005 |Published| Journal Article | IST-REx-ID: 882
F. Kondrashov, “Prediction of pathogenic mutations in mitochondrially encoded human tRNAs,” Human Molecular Genetics, vol. 14, no. 16. Oxford University Press, pp. 2415–2419, 2005.
View | DOI
 

2005 |Published| Journal Article | IST-REx-ID: 880
F. Kondrashov, “The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus,” Biofizika, vol. 50, no. 3. Pleiades Publishing, pp. 396–403, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 |Published| Journal Article | IST-REx-ID: 893
I. Jordan et al., “A universal trend of amino acid gain and loss in protein evolution,” Nature, vol. 433, no. 7026. Nature Publishing Group, pp. 633–638, 2005.
View | DOI
 

2004 |Published| Journal Article | IST-REx-ID: 1456 | OA
T. Hausel, E. Hunsicker, and R. Mazzeo, “Hodge cohomology of gravitational instantons,” Duke Mathematical Journal, vol. 122, no. 3. Duke University Press, pp. 485–548, 2004.
View | DOI | Download (ext.)
 

2004 |Published| Journal Article | IST-REx-ID: 1464 | OA
T. Hausel and M. Thaddeus, “Generators for the cohomology ring of the moduli space of rank 2 higgs bundles,” Proceedings of the London Mathematical Society, vol. 88, no. 3. Oxford University Press, pp. 632–658, 2004.
View | DOI | Download (ext.)
 

2004 |Published| Journal Article | IST-REx-ID: 1963
A. Mamedova, P. Holt, J. Carroll, and L. A. Sazanov, “Substrate-induced conformational change in bacterial complex I,” Journal of Biological Chemistry, vol. 279, no. 22. American Society for Biochemistry and Molecular Biology, pp. 23830–23836, 2004.
View | DOI
 

2004 |Published| Journal Article | IST-REx-ID: 209
T. D. Browning and R. Heath Brown, “Equal sums of three powers,” Inventiones Mathematicae, vol. 157, no. 3. Unknown, pp. 553–573, 2004.
View | DOI
 

2004 |Published| Journal Article | IST-REx-ID: 2308
G. Novarino et al., “Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity,” Journal of Neuroscience, vol. 24, no. 23. Society for Neuroscience, pp. 5322–5330, 2004.
View | DOI
 

Filters and Search Terms

supervisor%3D3E04A7AA-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications