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.
147 Publications
2005 | Conference Paper | IST-REx-ID: 4456
Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Permissive interfaces (pp. 31–40). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1081706.1081713
View
| DOI
2005 | 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 | 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 | 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 | 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