Immerzeel, W. W., Pellicciotti, F., &; Bierkens, M. F. P. (2013). Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds. Nature Geoscience. Springer Nature.https://doi.org/10.1038/ngeo1896 

Heynen, M., Pellicciotti, F., &; Carenzo, M. (2013). Parameter sensitivity of a distributed enhanced temperature-index melt model. Annals of Glaciology. International Glaciological Society.https://doi.org/10.3189/2013aog63a537 

Haikala, V., Jösch, M. A., Borst, A., &; Mauss, A. (2013). Optogenetic control of fly optomotor responses. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.0340-13.2013 

Jösch, M. A., Weber, F., Eichner, H., &; Borst, A. (2013). Functional specialization of parallel motion detection circuits in the fly. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.3374-12.2013 

Fischer, J. L. (2013). Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/120874291 

Fischer, J. L. (2013). Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. Taylor &; Francis.https://doi.org/10.1080/03605302.2013.823548 

Fischer, J. L. (2013). Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. Academic Press.https://doi.org/10.1016/j.jde.2013.07.028 

Chatterjee, K., &; Fijalkow, N. (2013). Infinite-state games with finitary conditions. In 22nd EACSL Annual Conference on Computer Science Logic (Vol. 23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CSL.2013.181 

Hofferek, G., Gupta, A., Könighofer, B., Jiang, J., &; Bloem, R. (2013). Synthesizing multiple boolean functions using interpolation on a single proof. In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland, OR, United States: IEEE.https://doi.org/10.1109/FMCAD.2013.6679394 

Boker, U., Kuperberg, D., Kupferman, O., &; Skrzypczak, M. (2013). Nondeterminism in the presence of a diverse or unknown future. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer.https://doi.org/10.1007/978-3-642-39212-2_11