Henzinger, T. A., &; Matic, S. (2006). An interface algebra for real-time components (pp. 253–266). Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, IEEE.https://doi.org/10.1109/RTAS.2006.11 
LibreCat: https://research-explorer.ista.ac.at/record/4436
DOI: 10.1109/RTAS.2006.11

Henzinger, T. A., &; Prabhu, V. (2006). Timed alternating-time temporal logic (Vol. 4202, pp. 1–17). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/10.1007/11867340_1 
LibreCat: https://research-explorer.ista.ac.at/record/4432
DOI: 10.1007/11867340_1

Henzinger, T. A., &; Sifakis, J. (2006). The embedded systems design challenge (Vol. 4085, pp. 1–15). Presented at the FM: Formal Methods, Springer.https://doi.org/10.1007/11813040_1 
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

Henzinger, T. A., Kupferman, O., &; Majumdar, R. (2006). On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2005.11.015 
LibreCat: https://research-explorer.ista.ac.at/record/4451
DOI: 10.1016/j.tcs.2005.11.015

Gulavani, B., Henzinger, T. A., Kannan, Y., Nori, A., &; Rajamani, S. (2006). Synergy: A new algorithm for property checking (pp. 117–127). Presented at the FSE: Foundations of Software Engineering, ACM.https://doi.org/10.1145/1181775.1181790 
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., &; Sangiovanni Vincentelli, A. (2006). A hierarchical coordination language for interacting real-time tasks (pp. 132–141). Presented at the EMSOFT: Embedded Software , ACM.https://doi.org/10.1145/1176887.1176907 
LibreCat: https://research-explorer.ista.ac.at/record/4526
DOI: 10.1145/1176887.1176907

Fisher, J., &; Henzinger, T. A. (2006). Executable biology (pp. 1675–1682). Presented at the WSC: Winter Simulation Conference, IEEE.https://doi.org/10.1109/WSC.2006.322942 
LibreCat: https://research-explorer.ista.ac.at/record/4528
DOI: 10.1109/WSC.2006.322942

Chatterjee, K., &; Henzinger, T. A. (2006). Finitary winning in omega-regular games (Vol. 3920, pp. 257–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer.https://doi.org/10.1007/11691372_17 
LibreCat: https://research-explorer.ista.ac.at/record/4539
DOI: 10.1007/11691372_17

Chatterjee, K., &; Henzinger, T. A. (2006). Strategy improvement and randomized subexponential algorithms for stochastic parity games (Vol. 3884, pp. 512–523). Presented at the STACS: Theoretical Aspects of Computer Science, Springer.https://doi.org/10.1007/11672142_42 
LibreCat: https://research-explorer.ista.ac.at/record/4538
DOI: 10.1007/11672142_42

Chatterjee, K., Majumdar, R., &; Henzinger, T. A. (2006). Markov decision processes with multiple objectives (Vol. 3884, pp. 325–336). Presented at the STACS: Theoretical Aspects of Computer Science, Springer.https://doi.org/10.1007/11672142_26 
LibreCat: https://research-explorer.ista.ac.at/record/4551
DOI: 10.1007/11672142_26