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
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
2004 |Published| Journal Article | IST-REx-ID: 4556
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2004.06.001
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 4578
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-27864-1_2
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 4577
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). An eclipse plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension, IEEE. https://doi.org/10.1109/WPC.2004.1311069
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 4581
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Generating tests from counterexamples (pp. 326–335). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2004.1317455
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 6155
Cheung, B. H. ., Arellano-Carbajal, F., Rybicki, I., & de Bono, M. (2004). Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2004.06.027
View
| DOI
| PubMed | Europe PMC
2004 |Published| Journal Article | IST-REx-ID: 864
Panchenko, A., Kondrashov, F., & Bryant, S. (2004). Prediction of functional sites by analysis of sequence and structure conservation. Protein Science. Wiley-Blackwell. https://doi.org/10.1110/ps.03465504
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 870
Kondrashov, F., Ogurtsov, A., & Kondrashov, A. (2004). Bioinformatical assay of human gene morbidity. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkh330
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 875
Kondrashov, F., & Koonin, E. (2004). A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2004.05.001
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 889
Kern, A., & Kondrashov, F. (2004). Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng1451
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 898
Bazykin, G., Kondrashov, F., Ogurtsov, A., Sunyaev, S., & Kondrashov, A. (2004). Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. Nature. Nature Publishing Group. https://doi.org/10.1038/nature02601
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 902
Castillo Davis, C., Kondrashov, F., Hartl, D., & Kulathinal, R. (2004). The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. Genome Research. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gr.2195604
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 1457 | 
Hausel, T., & Thaddeus, M. (2003). Mirror symmetry, langlands duality, and the Hitchin system. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-003-0286-7
View
| DOI
| Download (ext.)
2003 |Published| Journal Article | IST-REx-ID: 1458 |
Hausel, T., & Thaddeus, M. (2003). Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles. Journal of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/S0894-0347-02-00417-4
View
| DOI
| Download (ext.)
2003 |Published| Journal Article | IST-REx-ID: 1459 |
Etesi, G., & Hausel, T. (2003). On Yang-Mills instantons over multi-centered gravitational instantons. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-003-0806-8
View
| DOI
| Download (ext.)
2003 |Published| Journal Article | IST-REx-ID: 166 |
Browning, T. D., & Swarbick Jones, M. (2003). Counting rational points on del Pezzo surfaces of degree 5. Proceedings of the Bonn Session in Analytic Number Theory and Diophantine Equations. Mathematisches Institut der Universität Bonn.
View
| Download None (ext.)
| arXiv
2003 |Published| Journal Article | IST-REx-ID: 1959
Holt, P., Morgan, D., & Sazanov, L. A. (2003). The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M308247200
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 1960
Sazanov, L. A., Carroll, J., Holt, P., Toime, L., & Fearnley, I. (2003). A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I). Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M208959200
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 205
Browning, T. D. (2003). Counting rational points on cubic and quartic surfaces. Acta Arithmetica. Instytut Matematyczny. https://doi.org/10.4064/aa108-3-7
View
| DOI