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

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability Games.” In Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems, 291–300. IEEE, 2006. https://doi.org/10.1109/QEST.2006.48.

View | DOI

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

Fisher, Jasmin, and Thomas A Henzinger. “Executable Biology.” In Proceedings of the 38th Conference on Winter Simulation, 1675–82. IEEE, 2006. https://doi.org/10.1109/WSC.2006.322942.

View | DOI

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

Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Games with Secure Equilibria.” Theoretical Computer Science. Elsevier, 2006. https://doi.org/10.1016/j.tcs.2006.07.032.

View | DOI

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

Henzinger, Thomas A, and Nir Piterman. “Solving Games without Determinization.” In Proceedings of the 20th International Conference on Computer Science Logic, 4207:395–410. Springer, 2006. https://doi.org/10.1007/11874683_26.

View | DOI

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

Henzinger, Thomas A, and Slobodan Matic. “An Interface Algebra for Real-Time Components.” In Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, 253–66. IEEE, 2006. https://doi.org/10.1109/RTAS.2006.11.

View | DOI

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

Gulavani, Bhargav, Thomas A Henzinger, Yamini Kannan, Aditya Nori, and Sriram Rajamani. “Synergy: A New Algorithm for Property Checking.” In Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 117–27. ACM, 2006. https://doi.org/10.1145/1181775.1181790.

View | DOI

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

Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks.” In Proceedings of the 6th ACM & IEEE International Conference on Embedded Software, 132–41. ACM, 2006. https://doi.org/10.1145/1176887.1176907.

View | DOI

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

Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science. Elsevier, 2006. https://doi.org/10.1016/j.tcs.2005.11.015.

View | DOI

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

Conn, Jan, Joseph Vineis, Jonathan P Bollback, David Onyabe, Richard Wilkerson, and Marinete 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. American Society of Tropical Medicine and Hygiene, 2006.

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

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

De Wulf, Martin, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Antichains: A New Algorithm for Checking Universality of Finite Automata.” In Proceedings of the 18th International Conference on Computer Aided Verification, 4144:17–30. Springer Nature, 2006. https://doi.org/10.1007/11817963_5.

View | DOI

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

Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic.” In Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, 4202:1–17. Springer Nature, 2006. https://doi.org/10.1007/11867340_1.

View | DOI

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

Henzinger, Thomas A, and Joseph Sifakis. “The Embedded Systems Design Challenge.” In Proceedings of the 14th International Conference on Formal Methods, 4085:1–15. Springer Nature, 2006. https://doi.org/10.1007/11813040_1.

View | DOI

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

Bollback, Jonathan P. “SIMMAP: Stochastic Character Mapping of Discrete Traits on Phylogenies.” BMC Bioinformatics. BioMed Central, 2006. https://doi.org/10.1186/1471-2105-7-88.