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

K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for concurrent reachability games,” in Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems, Riverside, CA, United States, 2006, pp. 291–300.

View | DOI

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

J. Fisher and T. A. Henzinger, “Executable biology,” in Proceedings of the 38th conference on Winter simulation, Monterey, CA, United States, 2006, pp. 1675–1682.

View | DOI

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

K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Games with secure equilibria,” Theoretical Computer Science, vol. 365, no. 1–2. Elsevier, pp. 67–82, 2006.

View | DOI

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

T. A. Henzinger and N. Piterman, “Solving games without determinization,” in Proceedings of the 20th international conference on Computer Science Logic, Szeged, Hungary, 2006, vol. 4207, pp. 395–410.

View | DOI

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

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

View | DOI

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

B. Gulavani, T. A. Henzinger, Y. Kannan, A. Nori, and S. Rajamani, “Synergy: A new algorithm for property checking,” in Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, Portland, Oregon, United States, 2006, pp. 117–127.

View | DOI

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

A. Ghosal, T. A. Henzinger, D. Iercan, C. Kirsch, and A. Sangiovanni Vincentelli, “A hierarchical coordination language for interacting real-time tasks,” in Proceedings of the 6th ACM & IEEE International conference on Embedded software, Seoul, Korea, 2006, pp. 132–141.

View | DOI

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

T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” Theoretical Computer Science, vol. 354, no. 2. Elsevier, pp. 173–186, 2006.

View | DOI

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

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

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

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

M. De Wulf, L. Doyen, T. A. Henzinger, and J. Raskin, “Antichains: A new algorithm for checking universality of finite automata,” in Proceedings of the 18th international conference on Computer Aided Verification, Seattle, WA, United States, 2006, vol. 4144, pp. 17–30.

View | DOI

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

T. A. Henzinger and V. Prabhu, “Timed alternating-time temporal logic,” in Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems, Paris, France, 2006, vol. 4202, pp. 1–17.

View | DOI

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

T. A. Henzinger and J. Sifakis, “The embedded systems design challenge,” in Proceedings of the 14th international conference on Formal Methods, Hamilton, Canada, 2006, vol. 4085, pp. 1–15.

View | DOI

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

J. P. Bollback, “SIMMAP: stochastic character mapping of discrete traits on phylogenies,” BMC Bioinformatics, vol. 7. BioMed Central, 2006.