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.
3934 Publications
2015 | Technical Report | IST-REx-ID: 5430 | 
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-319-v1-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5431 |
Chatterjee, K., Ibsen-Jensen, R., & Hansen, K. (2015). The patience of concurrent stochastic games with safety and reachability objectives. IST Austria. https://doi.org/10.15479/AT:IST-2015-322-v1-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5432 |
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v1-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5434 |
Anonymous, 1, & Anonymous, 2. (2015). Optimal cost indefinite-horizon reachability in goal DEC-POMDPs. IST Austria.
View
| Files available
2015 | Technical Report | IST-REx-ID: 5435 |
Chatterjee, K., Komarkova, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2015-318-v2-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5436 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2015). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-170-v2-2
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5437 |
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-330-v2-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5438 |
Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2015). Edit distance for pushdown automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-334-v1-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5439 |
Boker, U., Henzinger, T. A., & Otop, J. (2015). The target discounted-sum problem. IST Austria. https://doi.org/10.15479/AT:IST-2015-335-v1-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5440 |
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v2-2
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5441 |
Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria. https://doi.org/10.15479/AT:IST-2015-340-v1-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5442 |
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria.
View
| Files available
2015 | Technical Report | IST-REx-ID: 5443 |
Chatterjee, K., Chmelik, M., & Davies, J. (2015). A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs. IST Austria. https://doi.org/10.15479/AT:IST-2015-325-v2-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5444 |
Reiter, J., Makohon-Moore, A., Gerold, J., Bozic, I., Chatterjee, K., Iacobuzio-Donahue, C., … Nowak, M. (2015). Reconstructing robust phylogenies of metastatic cancers. IST Austria. https://doi.org/10.15479/AT:IST-2015-399-v1-1
View
| Files available
| DOI
2015 | Research Data | IST-REx-ID: 5549 |
Fellner, A. (2015). Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. IST Austria. https://doi.org/10.15479/AT:ISTA:28
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 10794 |
Parise, F., Lygeros, J., & Ruess, J. (2015). Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study. Frontiers in Environmental Science. Frontiers. https://doi.org/10.3389/fenvs.2015.00042
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 10796
Chatterjee, K., & Ibsen-Jensen, R. (2015). The value 1 problem under finite-memory strategies for concurrent mean-payoff games. In Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2015, pp. 1018–1029). San Diego, CA, United States: SIAM. https://doi.org/10.1137/1.9781611973730.69
View
| DOI
| arXiv
2015 | Journal Article | IST-REx-ID: 1533
Xia, W., Domokos, C., Xiong, J., Cheong, L., & Yan, S. (2015). Segmentation over detection via optimal sparse reconstructions. IEEE Transactions on Circuits and Systems for Video Technology. IEEE. https://doi.org/10.1109/TCSVT.2014.2379972
View
| DOI
2015 | Journal Article | IST-REx-ID: 1534 |
Wang, H., Yang, K., Zou, J., Zhu, L., Xie, Z., Morita, M., … Le, J. (2015). Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms9822
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1535 |
Vandael, D. H., Marcantoni, A., & Carbone, E. (2015). Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells. Current Molecular Pharmacology. Bentham Science Publishers. https://doi.org/10.2174/1874467208666150507105443
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC