Lutz, A. F., W. W. Immerzeel, A. Gobiet, Francesca Pellicciotti, and M. F. P. Bierkens. “Comparison of Climate Change Signals in CMI and CMI Multi-Model Ensembles and Implications for Central Asian Glaciers.”https://doi.org/10.5194/hess-17-3661-2013__Hydrology and Earth System Sciences. Copernicus GmbH, 2013.https://doi.org/10.5194/hess-17-3661-2013 .
LibreCat: https://research-explorer.ista.ac.at/record/12638
DOI: 10.5194/hess-17-3661-2013

Ragettli, S., Francesca Pellicciotti, R. Bordoy, and W. W. Immerzeel. “Sources of Uncertainty in Modeling the Glaciohydrological Response of a Karakoram Watershed to Climate Change.”https://doi.org/10.1002/wrcr.20450__Water Resources Research. American Geophysical Union, 2013.https://doi.org/10.1002/wrcr.20450 .
LibreCat: https://research-explorer.ista.ac.at/record/12639
DOI: 10.1002/wrcr.20450

Feng, Xiaoqi, Daniel Zilberman, and Hugh Dickinson. “A Conversation across Generations: Soma-Germ Cell Crosstalk in Plants.”https://doi.org/10.1016/j.devcel.2013.01.014__Developmental Cell. Elsevier, 2013.https://doi.org/10.1016/j.devcel.2013.01.014 .
LibreCat: https://research-explorer.ista.ac.at/record/9520
DOI: 10.1016/j.devcel.2013.01.014
PMID: 23410937

Stephens, Greg, Thierry Mora, Gasper Tkadik, and William Bialek. “Statistical Thermodynamics of Natural Images.”https://doi.org/10.1103/PhysRevLett.110.018701__Physical Review Letters. American Physical Society, 2013.https://doi.org/10.1103/PhysRevLett.110.018701 .
LibreCat: https://research-explorer.ista.ac.at/record/2914
DOI: 10.1103/PhysRevLett.110.018701
arXiv: 0806.2694

Dragoi, Cezara, Ashutosh Gupta, and Thomas A Henzinger. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.”https://doi.org/10.1007/978-3-642-39799-8_11__In Computer Aided Verification, 8044:174–90. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.https://doi.org/10.1007/978-3-642-39799-8_11 .
LibreCat: https://research-explorer.ista.ac.at/record/5747
DOI: 10.1007/978-3-642-39799-8_11

Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.”https://doi.org/10.15479/at:ista:1405__Institute of Science and Technology Austria, 2013.https://doi.org/10.15479/at:ista:1405 .
LibreCat: https://research-explorer.ista.ac.at/record/1405
DOI: 10.15479/at:ista:1405

Bansal, Kshitij, Eric Koskinen, Thomas Wies, and Damien Zufferey. “Structural Counter Abstraction.”https://doi.org/10.1007/978-3-642-36742-7_5__Edited by Nir Piterman and Scott Smolka. Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-36742-7_5 .
LibreCat: https://research-explorer.ista.ac.at/record/2847
DOI: 10.1007/978-3-642-36742-7_5

Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .”https://doi.org/10.1371/journal.pone.0080814__PLoS One. Public Library of Science, 2013.https://doi.org/10.1371/journal.pone.0080814 .
LibreCat: https://research-explorer.ista.ac.at/record/2247
DOI: 10.1371/journal.pone.0080814

Reiter, Johannes, Ivana Boei, Benjamin Allen, Krishnendu Chatterjee, and Martin Nowak. “The Effect of One Additional Driver Mutation on Tumor Progression.”https://doi.org/10.1111/eva.12020__Evolutionary Applications. Wiley-Blackwell, 2013.https://doi.org/10.1111/eva.12020 .
LibreCat: https://research-explorer.ista.ac.at/record/2858
DOI: 10.1111/eva.12020

Boei, Ivana, Johannes Reiter, Benjamin Allen, Tibor Antal, Krishnendu Chatterjee, Preya Shah, Yo Moon, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.”https://doi.org/10.7554/eLife.00747__ELife. eLife Sciences Publications, 2013.https://doi.org/10.7554/eLife.00747 .
LibreCat: https://research-explorer.ista.ac.at/record/2816
DOI: 10.7554/eLife.00747

Reiter, Johannes, Ivana Boei, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.”https://doi.org/10.1007/978-3-642-39799-8_6__In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_6 .
LibreCat: https://research-explorer.ista.ac.at/record/2000
DOI: 10.1007/978-3-642-39799-8_6
arXiv: 1303.5251

Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving Transformations,”https://doi.org/10.1007/978-3-642-39799-8_68__8044:951–67. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_68 .
LibreCat: https://research-explorer.ista.ac.at/record/2445
DOI: 10.1007/978-3-642-39799-8_68

Brázdil, Tomás, Krishnendu Chatterjee, Vojtbch Forejt, and Antonín Kudera. “Trading Performance for Stability in Markov Decision Processes.”https://doi.org/10.1109/LICS.2013.39__In 28th Annual ACM/IEEE Symposium, 331–40. IEEE, 2013.https://doi.org/10.1109/LICS.2013.39 .
LibreCat: https://research-explorer.ista.ac.at/record/2305
DOI: 10.1109/LICS.2013.39
arXiv: 1305.4103

Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” In ICML’13 Proceedings of the 30th International Conference on International, 28:145–53. ML Research Press, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2272

Remy, Estelle, Pawel Baster, Jií Friml, and Paula Duque. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.”https://doi.org/10.4161/psb.25688__Plant Signaling &; Behavior. Taylor &; Francis, 2013.https://doi.org/10.4161/psb.25688 .
LibreCat: https://research-explorer.ista.ac.at/record/2448
DOI: 10.4161/psb.25688
PMID: 23857365

Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.”https://doi.org/10.1098/rspb.2012.3035__Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society, 2013.https://doi.org/10.1098/rspb.2012.3035 .
LibreCat: https://research-explorer.ista.ac.at/record/2853
DOI: 10.1098/rspb.2012.3035
PMID: 23516238

Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Data from: Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.”https://doi.org/10.5061/dryad.b1q2n__Dryad, 2013.https://doi.org/10.5061/dryad.b1q2n .
LibreCat: https://research-explorer.ista.ac.at/record/9751
DOI: 10.5061/dryad.b1q2n

Dziembowski, Stefan, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof Z Pietrzak. Proofs of Space. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2274

Sari, Anela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation Induced by Adhesive Nanocomponents.”https://doi.org/10.1103/physrevlett.109.188101__Physical Review Letters. American Physical Society, 2012.https://doi.org/10.1103/physrevlett.109.188101 .
LibreCat: https://research-explorer.ista.ac.at/record/10387
DOI: 10.1103/physrevlett.109.188101
PMID: 23215334
arXiv: 1206.3528

Sari, Anela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation of Adsorbed Spherical Nanoparticles.”https://doi.org/10.1103/physrevlett.108.118101__Physical Review Letters. American Physical Society, 2012.https://doi.org/10.1103/physrevlett.108.118101 .
LibreCat: https://research-explorer.ista.ac.at/record/10388
DOI: 10.1103/physrevlett.108.118101
PMID: 22540513
arXiv: 1201.0036