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.
10717 Publications
2009 | Published | Book Chapter | IST-REx-ID: 3675
Barton, Nicholas H. “Why Sex and Recombination?” Cold Spring Harbor Symposia on Quantitative Biology, vol. 74, Cold Spring Harbor Laboratory Press, 2009, pp. 187–95, doi:10.1101/sqb.2009.74.030.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3870 | 
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4545 |
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4569 |
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5395 |
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
[Published Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5392 |
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009, doi:10.15479/AT:IST-2009-0004.
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4540
Chatterjee, Krishnendu, et al. Expressiveness and Closure Properties for Quantitative Languages. IEEE, 2009, pp. 199–208, doi:10.1109/LICS.2009.16.
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4542 |
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5393 |
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.
View
| DOI
2009 | Published | Book Chapter | IST-REx-ID: 4137
Bridle, Jon, et al. “Limits to Adaptation and Patterns of Biodiversity.” Speciation and Patterns of Diversity, edited by J.R. R. K. Butlin et al., Cambridge University Press, 2009, pp. 77–101, doi:10.1017/CBO9780511815683.007.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4385
Dragojevic, Aleksandar, et al. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories.” Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, ACM, 2009, pp. 7–16, doi:10.1145/1582716.1582725.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4360
Wies, Thomas, et al. “Combining Theories with Shared Set Operations.” 7th International Symposium on Frontiers of Combining Systems, vol. 5749, Springer, 2009, pp. 366–82, doi:10.1007/978-3-642-04222-5_23.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4377
Hoenicke, Jochen, et al. “It’s Doomed; We Can Prove It.” Second World Congress on Formal Methods, vol. 5850, Springer, 2009, pp. 338–53, doi:10.1007/978-3-642-05089-3_22.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi:10.1007/978-3-642-04027-6_9.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 4376
Lublinerman, Roberto, et al. “Parallel Programming with Object Assemblies.” ACM SIGPLAN Notices, vol. 44, no. 10, ACM, 2009, pp. 61–80, doi:10.1145/1639949.164009.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4391
Cerny, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality.” 21st International Conference on Computer Aided Verification, vol. 5643, Springer, 2009, pp. 173–87, doi:10.1007/978-3-642-02658-4_16.
View
| DOI