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.
5794 Publications
2015 | Published | Conference Paper | IST-REx-ID: 1820 | 
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2015. Optimal cost almost-sure reachability in POMDPs. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence . IAAI: Innovative Applications of Artificial Intelligence, Artifical Intelligence, vol. 5, 3496–3502.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2015 | Published | Thesis | IST-REx-ID: 1400
Reiter J. 2015. The subclonal evolution of cancer. Institute of Science and Technology Austria.
View
| Files available
2015 | Published | Conference Paper | IST-REx-ID: 1510 |
Franek P, Krcál M. 2015. On computability and triviality of well groups. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34, 842–856.
[Published Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1697 |
Marre O, Botella Soler V, Simmons K, Mora T, Tkačik G, Berry M. 2015. High accuracy decoding of dynamical motion from a large retinal population. PLoS Computational Biology. 11(7), e1004304.
[Published Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1701 |
Tkačik G, Mora T, Marre O, Amodei D, Palmer S, Berry Ii M, Bialek W. 2015. Thermodynamics and signatures of criticality in a network of neurons. PNAS. 112(37), 11508–11513.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Published | Journal Article | IST-REx-ID: 1993 |
Konrad M, Grasse AV, Tragust S, Cremer S. 2015. Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Proceedings of the Royal Society of London Series B Biological Sciences. 282(1799), 20141976.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Research Data Reference | IST-REx-ID: 9742 |
Westhus C, Ugelvig LV, Tourdot E, Heinze J, Doums C, Cremer S. 2015. Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant, Dryad, 10.5061/dryad.7kc79.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2015 | Published | Journal Article | IST-REx-ID: 1850 |
Novak S, Cremer S. 2015. Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. Journal of Theoretical Biology. 372(5), 54–64.
[Submitted Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1830 |
Theis F, Ugelvig LV, Marr C, Cremer S. 2015. Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 370(1669).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Research Data Reference | IST-REx-ID: 9721 |
Theis F, Ugelvig LV, Marr C, Cremer S. 2015. Data from: Opposing effects of allogrooming on disease transmission in ant societies, Dryad, 10.5061/dryad.dj2bf.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2015 | Published | Journal Article | IST-REx-ID: 1542 |
Paixao T, Badkobeh G, Barton NH, Çörüş D, Dang D, Friedrich T, Lehre P, Sudholt D, Sutton A, Trubenova B. 2015. Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology. 383, 28–43.
[Published Version]
View
| Files available
| DOI
2015 | Published | Conference Paper | IST-REx-ID: 1647 |
Fuchsbauer G, Hanser C, Slamanig D. 2015. Practical round-optimal blind signatures in the standard model. CRYPTO: International Cryptology Conference, LNCS, vol. 9216, 233–253.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2015 | Published | Thesis | IST-REx-ID: 1399
Pausinger F. 2015. On the approximation of intrinsic volumes. Institute of Science and Technology Austria.
View
| Files available
2015 | Published | Journal Article | IST-REx-ID: 2035 |
Edelsbrunner H, Jablonski G, Mrozek M. 2015. The persistent homology of a self-map. Foundations of Computational Mathematics. 15(5), 1213–1244.
[Published Version]
View
| Files available
| DOI
2015 | Published | Conference Paper | IST-REx-ID: 1481 |
Ahmed U, Chatterjee K, Gulwani S. 2015. Automatic generation of alternative starting positions for simple traditional board games. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2, 745–752.
View
| Files available
| Download None (ext.)
| arXiv
2015 | Published | Conference Paper | IST-REx-ID: 1670 |
Bogomolov S, Magazzeni D, Minopoli S, Wehrle M. 2015. PDDL+ planning with hybrid automata: Foundations of translating must behavior. ICAPS: International Conference on Automated Planning and Scheduling, 42–46.
View
| Download None (ext.)
2015 | Published | Conference Paper | IST-REx-ID: 1425 |
Pentina A, Lampert C. 2015. Lifelong learning with non-i.i.d. tasks. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 2015, 1540–1548.
View
| Download None (ext.)
2015 | Published | Conference Paper | IST-REx-ID: 1424 |
Kwitt R, Huber S, Niethammer M, Lin W, Bauer U. 2015. Statistical topological data analysis-A kernel perspective. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 28, 3070–3078.
[Submitted Version]
View
| Download Submitted Version (ext.)
2015 | Published | Conference Paper | IST-REx-ID: 1689 |
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. 2015. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 259–268.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv