From stateflow simulation to verified implementation: A verification approach and a real-time train controller design
Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha, in:, IEEE, 2016.

A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes
C. Sadel, B. Virág, Communications in Mathematical Physics 343 (2016) 881–919.

DRACUL is a dynamic nucleoporin with a role in regulating the shade avoidance syndrome in Arabidopsis
M. Gallemi, A. Galstyan, S. Paulisi, C. Then, A. Ferrández Ayela, L. Lorenzo Orts, I. Roig Villanova, X. Wang, J. Micol, M. Ponce, P. Devlin, J. Martínez García, Development 143 (2016) 1623–1631.

Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit
G. Bräunlich, C. Hainzl, R. Seiringer, Mathematical Physics, Analysis and Geometry 19 (2016).

The dual of the space of interactions in neural network models
D. De Martino, International Journal of Modern Physics C 27 (2016).

Long-time behavior of a finite volume discretization for a fourth order diffusion equation
J. Maas, D. Matthes, Nonlinearity 29 (2016) 1992–2023.

Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier
G. Sancho Andrés, E. Soriano Ortega, C. Gao, J. Bernabé Orts, M. Narasimhan, A. Müller, R. Tejos, L. Jiang, J. Friml, F. Aniento, M. Marcote, Plant Physiology 171 (2016) 1965–1982.

Mapping the subcellular mechanical properties of live cells in tissues with fluorescence emission-Brillouin imaging
K. Elsayad, S. Werner, M. Gallemi, J. Kong, E. Guajardo, L. Zhang, Y. Jaillais, T. Greb, Y. Belkhadir, Science Signaling 9 (2016).

Neural oscillations as a signature of efficient coding in the presence of synaptic delays
M.J. Chalk, B. Gutkin, S. Denève, ELife 5 (2016).

Plant hormones in interactions with the environment
E. Benková, Plant Molecular Biology 91 (2016) 597.

Nonexistence of large nuclei in the liquid drop model
R. Frank, R. Killip, P. Nam, Letters in Mathematical Physics 106 (2016) 1033–1036.

Immune memory in invertebrates
B. Milutinovic, J. Kurtz, Seminars in Immunology 28 (2016) 328–342.

Steering cell migration by alternating blebs and actin-rich protrusions
A. Diz Muñoz, P. Romanczuk, W. Yu, M. Bergert, K. Ivanovitch, G. Salbreux, C.-P.J. Heisenberg, E. Paluch, BMC Biology 14 (2016).

Lateral root emergence in Arabidopsis is dependent on transcription factor LB regulation of auxin influx carrier LA
S. Porco, A. Larrieu, Y. Du, A. Gaudinier, T. Goh, K. Swarup, R. Swarup, B. Kuempers, A. Bishopp, J. Lavenus, I. Casimiro, K. Hill, E. Benková, H. Fukaki, S. Brady, B. Scheres, B. Peéet, M. Bennett, Development 143 (2016) 3340–3349.

Generalized offsetting of planar structures using skeletons
M. Held, S. Huber, P. Palfrader, Computer-Aided Design and Applications 13 (2016) 712–721.

Optogenetically blocking sharp wave ripple events in sleep does not interfere with the formation of stable spatial representation in the C area of the hippocampus
K. Kovács, J. O’Neill, P. Schönenberger, M. Penttonen, D.K. Rangel Guerrero, J.L. Csicsvari, PLoS One 11 (2016).

Distribution and structure of synapses on medial vestibular nuclear neurons targeted by cerebellar flocculus purkinje cells and vestibular nerve in mice: Light and electron microscopy studies
H. Matsuno, M. Kudoh, A. Watakabe, T. Yamamori, R. Shigemoto, S. Nagao, PLoS One 11 (2016).

Atomistic determinants of co-enzyme Q reduction at the Qi-site of the cytochrome b complex
P. Postila, K. Kaszuba, P. Kuleta, I. Vattulainen, M. Sarewicz, A. Osyczka, T. Róg, Scientific Reports 6 (2016).

Danger-associated peptide signaling in Arabidopsis requires clathrin
F. Ortiz Morea, D. Savatin, W. Dejonghe, R. Kumar, Y. Luo, M. Adamowski, J. Van Begin, K. Dressano, G. De Oliveira, X. Zhao, Q. Lu, A. Madder, J. Friml, D. De Moura, E. Russinova, PNAS 113 (2016) 11028–11033.

Nitrate controls root development through posttranscriptional regulation of the NR.1/NP.3 transporter sensor
E. Bouguyon, F. Perrine Walker, M. Pervent, J. Rochette, C. Cuesta, E. Benková, A. Martinière, L. Bach, G. Krouk, A. Gojon, P. Nacry, Plant Physiology 172 (2016) 1237–1248.