Heynen, Martin, Francesca Pellicciotti, and Marco Carenzo. “Parameter Sensitivity of a Distributed Enhanced Temperature-Index Melt Model.”https://doi.org/10.3189/2013aog63a537__Annals of Glaciology. International Glaciological Society, 2013.https://doi.org/10.3189/2013aog63a537 .

Haikala, Väinö, Maximilian A Jösch, Alexander Borst, and Alex Mauss. “Optogenetic Control of Fly Optomotor Responses.”https://doi.org/10.1523/JNEUROSCI.0340-13.2013__Journal of Neuroscience. Society for Neuroscience, 2013.https://doi.org/10.1523/JNEUROSCI.0340-13.2013 .

Jösch, Maximilian A, Franz Weber, Hubert Eichner, and Alexander Borst. “Functional Specialization of Parallel Motion Detection Circuits in the Fly.”https://doi.org/10.1523/JNEUROSCI.3374-12.2013__Journal of Neuroscience. Society for Neuroscience, 2013.https://doi.org/10.1523/JNEUROSCI.3374-12.2013 .

Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model with Degenerate Mobility.”https://doi.org/10.1137/120874291__SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics , 2013.https://doi.org/10.1137/120874291 .

Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift Diffusion Models.”https://doi.org/10.1080/03605302.2013.823548__Communications in Partial Differential Equations. Taylor &; Francis, 2013.https://doi.org/10.1080/03605302.2013.823548 .

Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation Rates for the Thin-Film Equation.”https://doi.org/10.1016/j.jde.2013.07.028__Journal of Differential Equations. Academic Press, 2013.https://doi.org/10.1016/j.jde.2013.07.028 .

Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.”https://doi.org/10.4230/LIPIcs.CSL.2013.181__In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.4230/LIPIcs.CSL.2013.181 .

Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.”https://doi.org/10.1109/FMCAD.2013.6679394__In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013.https://doi.org/10.1109/FMCAD.2013.6679394 .

Boker, Udi, Denis Kuperberg, Orna Kupferman, and Micha Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.”https://doi.org/10.1007/978-3-642-39212-2_11__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39212-2_11 .

Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Positivity for Kac Polynomials and DT-Invariants of Quivers.”https://doi.org/10.4007/annals.2013.177.3.8__Annals of Mathematics. Princeton University Press, 2013.https://doi.org/10.4007/annals.2013.177.3.8 .