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: 4458
Henzinger, T. A., Jhala, R., Majumdar, R., & Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/964001.964021
View
| DOI
2004 |Published| Book Chapter | IST-REx-ID: 4461
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer. https://doi.org/10.1007/978-3-540-39910-0_16
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 4525
Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-24743-2_24
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 4555
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2004.10051
View
| DOI
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.)