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.

6981 Publications


2005 |Published| Conference Paper | IST-REx-ID: 4541
Chatterjee K, Henzinger TA. 2005. Semiperfect-information games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 3821, 1–18.
View | DOI
 

2005 |Published| Conference Paper | IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. 2005. The complexity of stochastic Rabin and Streett games. ICALP: Automata, Languages and Programming, LNCS, vol. 3580, 878–890.
View | DOI
 

2005 |Published| Conference Paper | IST-REx-ID: 4554
Chatterjee K, Henzinger TA, Jurdziński M. 2005. Mean-payoff parity games. LICS: Logic in Computer Science, 178–187.
View | DOI
 

2005 |Published| Conference Paper | IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. 2005. Verifying quantitative properties using bound functions. CHARME: Correct Hardware Design and Verification Methods, LNCS, vol. 3725, 50–64.
View | DOI
 

2005 |Published| Conference Paper | IST-REx-ID: 4557
Chatterjee K, Henzinger TA, Jhala R, Majumdar R. 2005. Counterexample-guided planning. UAI: Uncertainty in Artificial Intelligence, 104–111.
View | Download (ext.)
 

2005 |Published| Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2005. Checking memory safety with BLAST. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 3442, 2–18.
View | DOI
 

2005 |Published| Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. 2005. Web service interfaces. WWW: World Wide Web Conference, 148–159.
View | DOI
 

2005 |Published| Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2005. Model checking discounted temporal properties. Theoretical Computer Science. 345(1), 139–170.
View | DOI
 

2005 |Published| Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. 2005. Interface-based design. Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, 83–104.
View | DOI
 

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

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

2005 |Published| Journal Article | IST-REx-ID: 6154
Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. 2005. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 15(10), 905–917.
View | DOI | PubMed | Europe PMC
 

2005 |Published| Journal Article | IST-REx-ID: 843
Yampolsky L, Kondrashov F, Kondrashov A. 2005. Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. 14(21), 3191–3201.
View | DOI
 

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

2005 |Published| Journal Article | IST-REx-ID: 878
Kondrashov F. 2005. In search of the limits of evolution. Nature Genetics. 37(1), 9–10.
View | DOI
 

2005 |Published| Journal Article | IST-REx-ID: 882
Kondrashov F. 2005. Prediction of pathogenic mutations in mitochondrially encoded human tRNAs. Human Molecular Genetics. 14(16), 2415–2419.
View | DOI
 

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

2005 |Published| Journal Article | IST-REx-ID: 893
Jordan I, Kondrashov F, Adzhubeǐ I, Wolf Y, Koonin E, Kondrashov A, Sunyaev S. 2005. A universal trend of amino acid gain and loss in protein evolution. Nature. 433(7026), 633–638.
View | DOI
 

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

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

Filters and Search Terms

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

Search

Filter Publications