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.
5884 Publications
2015 |Published| Technical Report | IST-REx-ID: 5436 |
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-170-v2-2
[Published Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1659 |
Boker U, Henzinger TA, Otop J. The target discounted-sum problem. In: LICS. Logic in Computer Science. IEEE; 2015:750-761. doi:10.1109/LICS.2015.74
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1610 |
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. In: 42nd International Colloquium. Vol 9135. Springer Nature; 2015:121-133. doi:10.1007/978-3-662-47666-6_10
View
| Files available
| DOI
| Download None (ext.)
| arXiv
2015 |Published| Technical Report | IST-REx-ID: 5437 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 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: 5430 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-319-v1-1
[Published Version]
View
| Files available
| DOI
2015 |Published| Technical Report | IST-REx-ID: 5439 |
Boker U, Henzinger TA, Otop J. 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: 5438 |
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 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: 5440 |
Chatterjee K, Ibsen-Jensen R, Nowak M. 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: 5432 |
Chatterjee K, Ibsen-Jensen R, Nowak M. 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: 5444 |
Reiter J, Makohon-Moore A, Gerold J, 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 |Published| Technical Report | IST-REx-ID: 5443 |
Chatterjee K, Chmelik M, Davies J. 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| Conference Paper | IST-REx-ID: 1511 |
Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:476-490. doi:10.4230/LIPIcs.SOCG.2015.476
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 6118 |
Fenk LA, de Bono M. Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity. Proceedings of the National Academy of Sciences. 2015;112(27):E3525-E3534. doi:10.1073/pnas.1423808112
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 |Published| Journal Article | IST-REx-ID: 6120 |
Laurent P, Soltesz Z, Nelson GM, et al. Decoding a neural circuit controlling global animal state in C. elegans. eLife. 2015;4. doi:10.7554/elife.04241
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 |Published| Conference Paper | IST-REx-ID: 1637 |
Kolmogorov V, Krokhin A, Rolinek M. The complexity of general-valued CSPs. In: IEEE; 2015:1246-1258. doi:10.1109/FOCS.2015.80
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 6737 |
Mondelli M, Hassani H, Sason I, Urbanke R. Achieving Marton’s region for broadcast channels using polar codes. IEEE Transactions on Information Theory. 2015;61(2):783-800. doi:10.1109/tit.2014.2368555
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 6736 |
Mondelli M, Hassani H, Urbanke R. Scaling exponent of list decoders with applications to polar codes. IEEE Transactions on Information Theory. 2015;61(9):4838-4851. doi:10.1109/tit.2015.2453315
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 7741 |
Adams MJ, Robinson MR, Mannarelli M-E, Hatchwell BJ. Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird. Proceedings of the Royal Society B: Biological Sciences. 2015;282(1810). doi:10.1098/rspb.2015.0689
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2015 |Published| Journal Article | IST-REx-ID: 7739 |
Santure AW, Poissant J, De Cauwer I, et al. Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations. Molecular Ecology. 2015;24:6148-6162. doi:10.1111/mec.13452
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 778 |
Alistarh D-A, Kopinsky J, Kuznetsov P, Ravi S, Shavit N. Inherent limitations of hybrid transactional memory. In: Vol 9363. Springer; 2015:185-199. doi:10.1007/978-3-662-48653-5_13
View
| DOI
| Download None (ext.)
| arXiv