Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1405 
LibreCat: https://research-explorer.ista.ac.at/record/1405
DOI: 10.15479/at:ista:1405

Bansal, K., Koskinen, E., Wies, T., &; Zufferey, D. (2013). Structural Counter Abstraction. (N. Piterman &; S. Smolka, Eds.). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy: Springer.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

Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1406

Zagorsky, B., Reiter, J., Chatterjee, K., &; Nowak, M. (2013). Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0080814 
LibreCat: https://research-explorer.ista.ac.at/record/2247
DOI: 10.1371/journal.pone.0080814

Reiter, J., Boei, I., Allen, B., Chatterjee, K., &; Nowak, M. (2013). The effect of one additional driver mutation on tumor progression. Evolutionary Applications. Wiley-Blackwell.https://doi.org/10.1111/eva.12020 
LibreCat: https://research-explorer.ista.ac.at/record/2858
DOI: 10.1111/eva.12020

Boei, I., Reiter, J., Allen, B., Antal, T., Chatterjee, K., Shah, P.,https://doi.org/10.7554/eLife.00747__Nowak, M. (2013). Evolutionary dynamics of cancer in response to targeted combination therapy. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.00747 
LibreCat: https://research-explorer.ista.ac.at/record/2816
DOI: 10.7554/eLife.00747

Reiter, J., Boei, I., Chatterjee, K., &; Nowak, M. (2013). TTP: Tool for tumor progression. In Proceedings of 25th Int. Conf. on Computer Aided Verification (Vol. 8044, pp. 101–106). St. Petersburg, Russia: Springer.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, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., &; Tarrach, T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations (Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer.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

Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., &; Cremer, S. (2013). Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2012.11.034 
LibreCat: https://research-explorer.ista.ac.at/record/2926
DOI: 10.1016/j.cub.2012.11.034

Brázdil, T., Chatterjee, K., Forejt, V., &; Kudera, A. (2013). Trading performance for stability in Markov decision processes. In 28th Annual ACM/IEEE Symposium (pp. 331–340). New Orleans, LA, United States: IEEE.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

Chatterjee, K., Kößler, A., &; Schmid, U. (2013). Automated analysis of real-time scheduling using graph games. In Proceedings of the 16th International conference on Hybrid systems: Computation and control (pp. 163–172). Philadelphia, PA, United States: ACM.https://doi.org/10.1145/2461328.2461356 
LibreCat: https://research-explorer.ista.ac.at/record/2820
DOI: 10.1145/2461328.2461356

Takhanov, R., &; Kolmogorov, V. (2013). Inference algorithms for pattern-based CRFs on sequence data. In ICML’13 Proceedings of the 30th International Conference on International (Vol. 28, pp. 145–153). Atlanta, GA, USA: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/2272

Remy, E., Baster, P., Friml, J., &; Duque, P. (2013). ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling &; Behavior. Taylor &; Francis.https://doi.org/10.4161/psb.25688 
LibreCat: https://research-explorer.ista.ac.at/record/2448
DOI: 10.4161/psb.25688
PMID: 23857365

Refardt, D., Bergmiller, T., &; Kümmerli, R. (2013). Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society.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, D., Bergmiller, T., &; Kümmerli, R. (2013). Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection. Dryad.https://doi.org/10.5061/dryad.b1q2n 
LibreCat: https://research-explorer.ista.ac.at/record/9751
DOI: 10.5061/dryad.b1q2n

Joo, W. J., Sweeney, L. B., Liang, L., &; Luo, L. (2013). Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2013.03.022 
LibreCat: https://research-explorer.ista.ac.at/record/7785
DOI: 10.1016/j.neuron.2013.03.022

Dziembowski, S., Faust, S., Kolmogorov, V., &; Pietrzak, K. Z. (2013). Proofs of Space. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/2274

Woehrmann, M. H., Bray, W. M., Durbin, J. K., Nisam, S. C., Michael, A. K., Glassey, E.,https://doi.org/10.1039/c3mb70245f__Lokey, R. S. (2013). Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. Royal Society of Chemistry.https://doi.org/10.1039/c3mb70245f 
LibreCat: https://research-explorer.ista.ac.at/record/15162
DOI: 10.1039/c3mb70245f