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, et al. “Strategy Improvement for Concurrent Reachability Games.” Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems, IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.

View | DOI

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

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

View | DOI

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

Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.” Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi: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.” Proceedings of the 20th International Conference on Computer Science Logic, vol. 4207, Springer, 2006, pp. 395–410, doi: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.” Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11.

View | DOI

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

Gulavani, Bhargav, et al. “Synergy: A New Algorithm for Property Checking.” Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.

View | DOI

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

Ghosal, Arkadeb, et al. “A Hierarchical Coordination Language for Interacting Real-Time Tasks.” Proceedings of the 6th ACM & IEEE International Conference on Embedded Software, ACM, 2006, pp. 132–41, doi:10.1145/1176887.1176907.

View | DOI

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

Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi:10.1016/j.tcs.2005.11.015.

View | DOI

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

Conn, Jan, et al. “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, 2006, pp. 798–806.

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

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

De Wulf, Martin, et al. “Antichains: A New Algorithm for Checking Universality of Finite Automata.” Proceedings of the 18th International Conference on Computer Aided Verification, vol. 4144, Springer Nature, 2006, pp. 17–30, doi: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.” Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 4202, Springer Nature, 2006, pp. 1–17, doi: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.” Proceedings of the 14th International Conference on Formal Methods, vol. 4085, Springer Nature, 2006, pp. 1–15, doi: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, vol. 7, 88, BioMed Central, 2006, doi:10.1186/1471-2105-7-88.