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
2004 |Published| Conference Paper | IST-REx-ID: 4558
Quantitative stochastic parity games
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
View
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
2004 |Published| Journal Article | IST-REx-ID: 4556
Stack size analysis for interrupt-driven programs
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
View
| DOI
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
2004 |Published| Conference Paper | IST-REx-ID: 4578
The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
View
| DOI
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
2004 |Published| Conference Paper | IST-REx-ID: 4577
An eclipse plug-in for model checking
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
2004 |Published| Conference Paper | IST-REx-ID: 4581
Generating tests from counterexamples
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
View
| DOI
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
2004 |Published| Conference Paper | IST-REx-ID: 4629
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
2004 |Published| Journal Article | IST-REx-ID: 6155
Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
View
| DOI
| PubMed | Europe PMC
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
2004 |Published| Journal Article | IST-REx-ID: 864
Prediction of functional sites by analysis of sequence and structure conservation
A. Panchenko, F. Kondrashov, S. Bryant, Protein Science 13 (2004) 884–892.
View
| DOI
A. Panchenko, F. Kondrashov, S. Bryant, Protein Science 13 (2004) 884–892.
2004 |Published| Journal Article | IST-REx-ID: 870
Bioinformatical assay of human gene morbidity
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Nucleic Acids Research 32 (2004) 1731–1737.
View
| DOI
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Nucleic Acids Research 32 (2004) 1731–1737.
2004 |Published| Journal Article | IST-REx-ID: 875
A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications
F. Kondrashov, E. Koonin, Trends in Genetics 20 (2004) 287–291.
View
| DOI
F. Kondrashov, E. Koonin, Trends in Genetics 20 (2004) 287–291.
2004 |Published| Journal Article | IST-REx-ID: 889
Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs
A. Kern, F. Kondrashov, Nature Genetics 36 (2004) 1207–1212.
View
| DOI
A. Kern, F. Kondrashov, Nature Genetics 36 (2004) 1207–1212.
2004 |Published| Journal Article | IST-REx-ID: 898
Positive selection at sites of multiple amino acid replacements since rat-mouse divergence
G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, A. Kondrashov, Nature 429 (2004) 558–562.
View
| DOI
G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, A. Kondrashov, Nature 429 (2004) 558–562.
2004 |Published| Journal Article | IST-REx-ID: 902
The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint
C. Castillo Davis, F. Kondrashov, D. Hartl, R. Kulathinal, Genome Research 14 (2004) 802–811.
View
| DOI
C. Castillo Davis, F. Kondrashov, D. Hartl, R. Kulathinal, Genome Research 14 (2004) 802–811.
2003 |Published| Journal Article | IST-REx-ID: 1457 | 
Mirror symmetry, langlands duality, and the Hitchin system
T. Hausel, M. Thaddeus, Inventiones Mathematicae 153 (2003) 197–229.
View
| DOI
| Download (ext.)
T. Hausel, M. Thaddeus, Inventiones Mathematicae 153 (2003) 197–229.
2003 |Published| Journal Article | IST-REx-ID: 1458 |
Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles
T. Hausel, M. Thaddeus, Journal of the American Mathematical Society 16 (2003) 303–329.
View
| DOI
| Download (ext.)
T. Hausel, M. Thaddeus, Journal of the American Mathematical Society 16 (2003) 303–329.
2003 |Published| Journal Article | IST-REx-ID: 1459 |
On Yang-Mills instantons over multi-centered gravitational instantons
G. Etesi, T. Hausel, Communications in Mathematical Physics 235 (2003) 275–288.
View
| DOI
| Download (ext.)
G. Etesi, T. Hausel, Communications in Mathematical Physics 235 (2003) 275–288.
2003 |Published| Journal Article | IST-REx-ID: 166 |
Counting rational points on del Pezzo surfaces of degree 5
T.D. Browning, M. Swarbick Jones, Proceedings of the Bonn Session in Analytic Number Theory and Diophantine Equations 360 (2003).
View
| Download None (ext.)
| arXiv
T.D. Browning, M. Swarbick Jones, Proceedings of the Bonn Session in Analytic Number Theory and Diophantine Equations 360 (2003).
2003 |Published| Journal Article | IST-REx-ID: 1959
The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping
P. Holt, D. Morgan, L.A. Sazanov, Journal of Biological Chemistry 278 (2003) 43114–43120.
View
| DOI
P. Holt, D. Morgan, L.A. Sazanov, Journal of Biological Chemistry 278 (2003) 43114–43120.
2003 |Published| Journal Article | IST-REx-ID: 1960
A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I)
L.A. Sazanov, J. Carroll, P. Holt, L. Toime, I. Fearnley, Journal of Biological Chemistry 278 (2003) 19483–19491.
View
| DOI
L.A. Sazanov, J. Carroll, P. Holt, L. Toime, I. Fearnley, Journal of Biological Chemistry 278 (2003) 19483–19491.
2003 |Published| Journal Article | IST-REx-ID: 205
Counting rational points on cubic and quartic surfaces
T.D. Browning, Acta Arithmetica 108 (2003) 275–295.
View
| DOI
T.D. Browning, Acta Arithmetica 108 (2003) 275–295.