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.
257 Publications
2009 | Published | Technical Report | IST-REx-ID: 5395 | 
Chatterjee K, Doyen L, Henzinger TA. 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 K. 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 K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. In: IEEE; 2009:199-208. doi:10.1109/LICS.2009.16
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4542 |
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009: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 K, Henzinger TA, Jobstmann B, Radhakrishna A. 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 K, Henzinger TA, Horn F. Stochastic games with finitary objectives. In: Vol 5734. Springer; 2009:34-54. doi:10.1007/978-3-642-03816-7_4
View
| DOI
2009 | Published | Book Chapter | IST-REx-ID: 4137
Bridle J, Polechova J, Vines T. Limits to adaptation and patterns of biodiversity. In: R. K. Butlin JR, Bridle J, Schluter D, eds. Speciation and Patterns of Diversity. Cambridge University Press; 2009:77-101. doi:10.1017/CBO9780511815683.007
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4385
Dragojevic A, Guerraoui R, Singh A, Singh V. Preventing versus curing: Avoiding conflicts in transactional memories. In: Proceedings of the 28th ACM Symposium on Principles of Distributed Computing. ACM; 2009:7-16. doi:10.1145/1582716.1582725
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4360
Wies T, Piskac R, Kuncak V. Combining theories with shared set operations. In: 7th International Symposium on Frontiers of Combining Systems. Vol 5749. Springer; 2009:366-382. doi:10.1007/978-3-642-04222-5_23
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4377
Hoenicke J, Leino KR, Podelski A, Schäf M, Wies T. It’s doomed; we can prove it. In: Second World Congress on Formal Methods. Vol 5850. Springer; 2009:338-353. doi:10.1007/978-3-642-05089-3_22
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009: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 R, Chaudhuri S, Cerny P. Parallel programming with object assemblies. ACM SIGPLAN Notices. 2009;44(10):61-80. doi:10.1145/1639949.164009
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4391
Cerny P, Alur R. Automated analysis of Java methods for confidentiality. In: 21st International Conference on Computer Aided Verification. Vol 5643. Springer; 2009:173-187. doi:10.1007/978-3-642-02658-4_16
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4365
Seghir M, Podelski A, Wies T. Abstraction refinement for quantified array assertions. In: 16th International Symposium on Static Analysis. Vol 5673. Springer; 2009:3-18. doi:10.1007/978-3-642-03237-0_3
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4375
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. Intra-module inference. In: 21st International Conference on Computer Aided Verification. Vol 5643. Springer; 2009:493-508. doi:10.1007/978-3-642-02658-4_37
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3768
Kupczok A, Von Haeseler A. Comment on “A congruence index for testing topological similarity between trees.” Bioinformatics. 2009;25(1):147-149. doi:10.1093/bioinformatics/btn539
View
| DOI
2009 | Published | Thesis | IST-REx-ID: 4232
de Vladar H. Stochasticity and Variability in the dynamics and genetics of populations. 2009.
View