Ragettli, S., Pellicciotti, F., Bordoy, R., &; Immerzeel, W. W. (2013). Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change. Water Resources Research. American Geophysical Union.https://doi.org/10.1002/wrcr.20450 

Ragettli, S., Cortés, G., McPhee, J., &; Pellicciotti, F. (2013). An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds. Hydrological Processes. Wiley.https://doi.org/10.1002/hyp.10055 

Feng, X., Zilberman, D., &; Dickinson, H. (2013). A conversation across generations: Soma-germ cell crosstalk in plants. Developmental Cell. Elsevier.https://doi.org/10.1016/j.devcel.2013.01.014 

Ely, T., Das, S., Li, W., Kundu, P., Tirosh, E., Cahen, D.,https://doi.org/10.1055/s-0033-1340087__Klajn, R. (2013). Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. Georg Thieme Verlag.https://doi.org/10.1055/s-0033-1340087 

Das, S., Ranjan, P., Maiti, P. S., Singh, G., Leitus, G., &; Klajn, R. (2013). Dual-responsive nanoparticles and their self-assembly. Advanced Materials. Wiley.https://doi.org/10.1002/adma.201201734 

Stephens, G., Mora, T., Tkadik, G., &; Bialek, W. (2013). Statistical thermodynamics of natural images. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.018701 

Weber, M., &; Sixt, M. K. (2013). Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations. In A. Cardona &; E. Ubogu (Eds.), Chemokines (Vol. 1013, pp. 215–226). Totowa, NJ: Humana Press.https://doi.org/10.1007/978-1-62703-426-5_14 

Dragoi, C., Gupta, A., &; Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-39799-8_11 

Chatterjee, K., Chaubal, S., &; Rubin, S. (2013). How to travel between languages. In 7th International Conference on Language and Automata Theory and Applications (Vol. 7810, pp. 214–225). Berlin, Heidelberg: Springer Nature.https://doi.org/10.1007/978-3-642-37064-9_20 

Edelsbrunner, H. (2013). Persistent homology in image processing. In Graph-Based Representations in Pattern Recognition (Vol. 7877, pp. 182–183). Berlin, Heidelberg: Springer Nature.https://doi.org/10.1007/978-3-642-38221-5_19 

Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria.https://doi.org/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 

Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.

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 

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 

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 

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 

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 

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 

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