Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




4840 Publications

2015 | Published | Technical Report | IST-REx-ID: 5431 | OA
Chatterjee, Krishnendu, et al. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria, 2015, doi:10.15479/AT:IST-2015-322-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5432 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5435 | OA
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v2-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-170-v2-2.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5437 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-330-v2-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5438 | OA
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-334-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5439 | OA
Boker, Udi, et al. The Target Discounted-Sum Problem. IST Austria, 2015, doi:10.15479/AT:IST-2015-335-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v2-2.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015, doi:10.15479/AT:IST-2015-340-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5443 | OA
Chatterjee, Krishnendu, et al. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015, doi:10.15479/AT:IST-2015-325-v2-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5444 | OA
Reiter, Johannes, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015, doi:10.15479/AT:IST-2015-399-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Research Data | IST-REx-ID: 5549 | OA
Fellner, Andreas. Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Institute of Science and Technology Austria, 2015, doi:10.15479/AT:ISTA:28.
[Published Version] View | Files available | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1474 | OA
Ferrara, Anna, et al. Policy Privacy in Cryptographic Access Control. IEEE, 2015, pp. 46–60, doi:10.1109/CSF.2015.11.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2015 | Published | Conference Paper | IST-REx-ID: 1481 | OA
Ahmed, Umair, et al. “Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.” Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, vol. 2, AAAI Press, 2015, pp. 745–52.
View | Files available | Download None (ext.)
 
2015 | Published | Conference Paper | IST-REx-ID: 1483 | OA
Reininghaus, Jan, et al. A Stable Multi-Scale Kernel for Topological Machine Learning. IEEE, 2015, pp. 4741–48, doi:10.1109/CVPR.2015.7299106.
[Preprint] View | DOI | Download Preprint (ext.)
 
2015 | Published | Conference Paper | IST-REx-ID: 1495 | OA
Edelsbrunner, Herbert, et al. “Relaxed Disk Packing.” Proceedings of the 27th Canadian Conference on Computational Geometry, vol. 2015–August, Queen’s University, 2015, pp. 128–35.
[Submitted Version] View | Download Submitted Version (ext.)
 
2015 | Published | Journal Article | IST-REx-ID: 1497 | OA
Andergassen, Daniel, et al. “Allelome.PRO, a Pipeline to Define Allele-Specific Genomic Features from High-Throughput Sequencing Data.” Nucleic Acids Research, vol. 43, no. 21, e146, Oxford University Press, 2015, doi:10.1093/nar/gkv727.
[Published Version] View | Files available | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1498 | OA
Dragoi, Cezara, et al. The Need for Language Support for Fault-Tolerant Distributed Systems. Vol. 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102, doi:10.4230/LIPIcs.SNAPL.2015.90.
[Published Version] View | Files available | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1499 | OA
Kretinsky, Jan, et al. Polynomial Time Decidability of Weighted Synchronization under Partial Observability. Vol. 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–54, doi:10.4230/LIPIcs.CONCUR.2015.142.
[Published Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1501 | OA
Chatterjee, Krishnendu, et al. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.” Formal Methods in System Design, vol. 47, no. 2, Springer, 2015, pp. 230–64, doi:10.1007/s10703-015-0235-2.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed