Please note that IST 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.

5761 Publications


2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, T. A. (2000). Masaccio: A formal model for embedded components (Vol. 1872, pp. 549–563). Presented at the TCS: Theoretical Computer Science, Springer. https://doi.org/10.1007/3-540-44929-9_38
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan & R. Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp. 265–292). Springer.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Alur, R., Henzinger, T. A., Lafferriere, G., & Pappas, G. (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(7), 971–984. https://doi.org/10.1109/5.871304
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro, L., & Henzinger, T. A. (2000). Concurrent omega-regular games (pp. 141–154). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2000.855763
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, L., Henzinger, T. A., & Mang, F. (2000). The control of synchronous systems (Vol. 1877, pp. 458–473). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44618-4_33
View | DOI
 

Search

Filter Publications