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