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.
442 Publications
2015 | Conference Paper | IST-REx-ID: 1820 | 
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2015). Optimal cost almost-sure reachability in POMDPs. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (Vol. 5, pp. 3496–3502). Austin, TX, USA: AAAI Press.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 1814 |
Jeschke, S., & Wojtan, C. (2015). Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2714572
[Submitted Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1818 |
Polechova, J., & Barton, N. H. (2015). Limits to adaptation along environmental gradients. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1421515112
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1819
Zwiewka, M., Nodzyński, T., Robert, S., Vanneste, S., & Friml, J. (2015). Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant. Elsevier. https://doi.org/10.1016/j.molp.2015.03.007
View
| DOI
2015 | Journal Article | IST-REx-ID: 1823 |
Chevereau, G., & Bollenbach, M. T. (2015). Systematic discovery of drug interaction mechanisms. Molecular Systems Biology. Nature Publishing Group. https://doi.org/10.15252/msb.20156098
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1824 |
Knebel, J., Weber, M., Krüger, T. H., & Frey, E. (2015). Evolutionary games of condensates in coupled birth-death processes. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms7977
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1831 |
Kappeler, P., Cremer, S., & Nunn, C. (2015). Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2014.0116
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1828 |
Akopyan, A., Pirogov, S., & Rybko, A. (2015). Invariant measures of genetic recombination process. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-015-1238-5
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1836
Cerny, P., Henzinger, T. A., Kovács, L., Radhakrishna, A., & Zwirchmayr, J. (2015). Segment abstraction for worst-case execution time analysis. Presented at the ESOP: European Symposium on Programming, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46669-8_5
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1838 |
Bloem, R., Chatterjee, K., Jacobs, S., & Könighofer, R. (2015). Assume-guarantee synthesis for concurrent reactive programs with partial information (Vol. 9035, pp. 517–532). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_50
[Preprint]
View
| DOI
| Download Preprint (ext.)