Assume-guarantee synthesis for digital contract signing
K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.

The local semicircle law for a general class of random matrices
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.

Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome
G. Arquè Fuste, A. Casanovas, M. Dierssen, PLoS One 8 (2013).

Interstitial dendritic cell guidance by haptotactic chemokine gradients
M. Weber, R. Hauschild, J. Schwarz, C. Moussion, I. de Vries, D. Legler, S. Luther, M.T. Bollenbach, M.K. Sixt, Science 339 (2013) 328–332.

Distinct roles of medial and lateral entorhinal cortex in spatial cognition
T. Van Cauter, J. Camon, A. Alvernhe, C. Elduayen, F. Sargolini, É. Save, Cerebral Cortex 23 (2013) 451–459.

Holding on and letting go: Cadherin turnover in cell intercalation
H. Morita, C.-P.J. Heisenberg, Developmental Cell 24 (2013) 567–569.

Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, in:, 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Springer, 2013, pp. XV–XIX.

Developmental refinement of vesicle cycling at Schaffer collateral synapses
T. Rose, P. Schönenberger, K. Jezek, T. Oertner, Neuron 77 (2013) 1109–1121.

Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution
L. El Masri, R. Schulte, N. Timmermeyer, S. Thanisch, L. Crummenerl, G. Jansen, N. Michiels, H. Schulenburg, Ecology Letters 16 (2013) 461–468.

Structural Counter Abstraction
K. Bansal, E. Koskinen, T. Wies, D. Zufferey, 7795 (2013) 62–77.

The simplest maximum entropy model for collective behavior in a neural network
G. Tkadik, O. Marre, T. Mora, D. Amodei, M. Berry, W. Bialek, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).

A simple method for estimating the entropy of neural activity
M. Berry, G. Tkadik, J. Dubuis, O. Marre, R. Da Silveira, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).

Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection
D. Refardt, T. Bergmiller, R. Kümmerli, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013).

Strategy improvement for concurrent reachability and turn based stochastic safety games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, Journal of Computer and System Sciences 79 (2013) 640–657.

Mosaic analysis with double markers reveals cell type specific paternal growth dominance
S. Hippenmeyer, R. Johnson, L. Luo, Cell Reports 3 (2013) 960–967.

Optical control of metabotropic glutamate receptors
J. Levitz, C. Pantoja, B. Gaub, H.L. Janovjak, A. Reiner, A. Hoagland, D. Schoppik, B. Kane, P. Stawski, A. Schier, D. Trauner, E. Isacoff, Nature Neuroscience 16 (2013) 507–516.

Optical control of ligand-gated ion channels
S. Szobota, C. Mckenzie, H.L. Janovjak, Methods in Molecular Biology 998 (2013) 417–435.

The effect of one additional driver mutation on tumor progression
J. Reiter, I. Boei, B. Allen, K. Chatterjee, M. Nowak, Evolutionary Applications 6 (2013) 34–45.

Homology and robustness of level and interlevel sets
P. Bendich, H. Edelsbrunner, D. Morozov, A. Patel, Homology, Homotopy and Applications 15 (2013) 51–72.

Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning
D. Dupret, J. O’Neill, J.L. Csicsvari, Neuron 78 (2013) 166–180.