ISTA Research Explorer

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.

231 Publications

2006 | Published | Conference Paper | IST-REx-ID: 4552

Strategy improvement for concurrent reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems, IEEE, 2006, pp. 291–300.

View | DOI

2006 | Published | Conference Paper | IST-REx-ID: 4528

Executable biology
J. Fisher, T.A. Henzinger, in:, Proceedings of the 38th Conference on Winter Simulation, IEEE, 2006, pp. 1675–1682.

View | DOI

2006 | Published | Journal Article | IST-REx-ID: 4550

Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, Theoretical Computer Science 365 (2006) 67–82.

View | DOI

2006 | Published | Conference Paper | IST-REx-ID: 4437

Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Proceedings of the 20th International Conference on Computer Science Logic, Springer, 2006, pp. 395–410.

View | DOI

2006 | Published | Conference Paper | IST-REx-ID: 4436

An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE, 2006, pp. 253–266.

View | DOI

2006 | Published | Conference Paper | IST-REx-ID: 4523

Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2006, pp. 117–127.

View | DOI

2006 | Published | Conference Paper | IST-REx-ID: 4526

A hierarchical coordination language for interacting real-time tasks
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, Proceedings of the 6th ACM & IEEE International Conference on Embedded Software, ACM, 2006, pp. 132–141.

View | DOI

2006 | Published | Journal Article | IST-REx-ID: 4451

On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.

View | DOI

2006 | Published | Journal Article | IST-REx-ID: 4352

Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil
J. Conn, J. Vineis, J.P. Bollback, D. Onyabe, R. Wilkerson, M. Povoa, The American Journal of Tropical Medicine and Hygiene 74 (2006) 798–806.

View | Download None (ext.) | PubMed | Europe PMC

2006 | Published | Conference Paper | IST-REx-ID: 4406

Antichains: A new algorithm for checking universality of finite automata
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Proceedings of the 18th International Conference on Computer Aided Verification, Springer Nature, 2006, pp. 17–30.

View | DOI

2006 | Published | Conference Paper | IST-REx-ID: 4432

Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2006, pp. 1–17.

View | DOI

2006 | Published | Conference Paper | IST-REx-ID: 4431

The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Proceedings of the 14th International Conference on Formal Methods, Springer Nature, 2006, pp. 1–15.

View | DOI

2006 | Published | Journal Article | IST-REx-ID: 4351

SIMMAP: stochastic character mapping of discrete traits on phylogenies
J.P. Bollback, BMC Bioinformatics 7 (2006).