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.
8924 Publications
2005 |
Published |
Conference Paper |
IST-REx-ID: 4457
Henzinger, T. A., Kirsch, C., & Matic, S. (2005). Composable code generation for distributed Giotto (pp. 21–30). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM. https://doi.org/10.1145/1065910.1065914
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4536
Doyen, L., Henzinger, T. A., & Raskin, J. (2005). Automatic rectangular refinement of affine hybrid systems (Vol. 3829, pp. 144–161). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/DOI: 10.1007/11603009_13
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4541
Chatterjee, K., & Henzinger, T. A. (2005). Semiperfect-information games (Vol. 3821, pp. 1–18). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11590156_1
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4553
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2005). The complexity of stochastic Rabin and Streett games (Vol. 3580, pp. 878–890). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/11523468_71
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4554
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2005). Mean-payoff parity games (pp. 178–187). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2005.26
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4557
Chatterjee, K., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Counterexample-guided planning (pp. 104–111). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.
View
| Download (ext.)
2005 |
Published |
Conference Paper |
IST-REx-ID: 4560
Chakrabarti, A., Chatterjee, K., Henzinger, T. A., Kupferman, O., & Majumdar, R. (2005). Verifying quantitative properties using bound functions (Vol. 3725, pp. 50–64). Presented at the CHARME: Correct Hardware Design and Verification Methods, Springer. https://doi.org/10.1007/11560548_7
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4576
Beyer, D., Chakrabarti, A., & Henzinger, T. A. (2005). Web service interfaces (pp. 148–159). Presented at the WWW: World Wide Web Conference, ACM. https://doi.org/10.1145/1060745.1060770
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4579
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Checking memory safety with BLAST (Vol. 3442, pp. 2–18). Presented at the FASE: Fundamental Approaches To Software Engineering, Springer. https://doi.org/10.1007/978-3-540-31984-9_2
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4624
De Alfaro, L., & Henzinger, T. A. (2005). Interface-based design (Vol. 195, pp. 83–104). Presented at the Engineering Theories of Software Intensive Systems, Springer. https://doi.org/10.1007/1-4020-3532-2_3
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 4625
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.07.033
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 12203
Liao, Z., Chen, M., Gong, Y., Guo, L., Tan, Q., Feng, X., … Tang, K. (2004). A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides. DNA Sequence. Informa UK Limited. https://doi.org/10.1080/10425170410001667348
View
| DOI
| PubMed | Europe PMC
2004 |
Published |
Journal Article |
IST-REx-ID: 12658
Strasser, U., Corripio, J., Pellicciotti, F., Burlando, P., Brock, B., & Funk, M. (2004). Spatial and temporal variability of meteorological variables at Haut Glacier d’Arolla (Switzerland) during the ablation season 2001: Measurements and simulations. Journal of Geophysical Research: Atmospheres. American Geophysical Union. https://doi.org/10.1029/2003jd003973
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 8517
Dolgopyat, D., Kaloshin, V., & Koralov, L. (2004). A limit shape theorem for periodic stochastic dispersion. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.20032
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 8518
Koralov, L., Kaloshin, V., & Dolgopyat, D. (2004). Sample path properties of the stochastic flows. The Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/aop/1078415827
View
| DOI
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