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.
11357 Publications
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.
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 (ext.)
2006 |
Published |
Conference Paper |
IST-REx-ID: 4359
Wies, Thomas, Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin Rinard. “Field Constraint Analysis.” In 7th International Conference on Verification, Model Checking, and Abstract Interpretation, 3855:157–73. Springer, 2006. https://doi.org/10.1007/11609773_11.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4373
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Real Time Temporal Logic: Past, Present, Future.” In Third International Conference on Formal Modeling and Analysis of Timed Systems, 3829:2–16. Springer, 2006. https://doi.org/10.1007/11603009_2.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4374
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata.” In 4th International Conference on Formal Modeling and Analysis of Timed Systems, 4202:274–89. Springer, 2006. https://doi.org/10.1007/11867340_20.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4401
Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy under Refinement.” In 33rd International Colloquium on Automata, Languages and Programming, 4052:107–18. Springer, 2006. https://doi.org/10.1007/11787006_10.
View
| DOI
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,” 4144:17–30. Springer, 2006. https://doi.org/10.1007/11817963_5.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4431
Henzinger, Thomas A, and Joseph Sifakis. “The Embedded Systems Design Challenge,” 4085:1–15. Springer, 2006. https://doi.org/10.1007/11813040_1.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4432
Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic,” 4202:1–17. Springer, 2006. https://doi.org/10.1007/11867340_1.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4436
Henzinger, Thomas A, and Slobodan Matic. “An Interface Algebra for Real-Time Components,” 253–66. IEEE, 2006. https://doi.org/10.1109/RTAS.2006.11.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4437
Henzinger, Thomas A, and Nir Piterman. “Solving Games without Determinization,” 4207:395–410. Springer, 2006. https://doi.org/10.1007/11874683_26.
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 |
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,” 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,” 132–41. ACM, 2006. https://doi.org/10.1145/1176887.1176907.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A Henzinger. “Executable Biology,” 1675–82. IEEE, 2006. https://doi.org/10.1109/WSC.2006.322942.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games,” 3884:512–23. Springer, 2006. https://doi.org/10.1007/11672142_42.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A Henzinger. “Finitary Winning in Omega-Regular Games,” 3920:257–71. Springer, 2006. https://doi.org/10.1007/11691372_17.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4549
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Compositional Quantitative Reasoning,” 179–88. IEEE, 2006. https://doi.org/10.1109/QEST.2006.11.
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: 4551
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Markov Decision Processes with Multiple Objectives,” 3884:325–36. Springer, 2006. https://doi.org/10.1007/11672142_26.
View
| DOI