Computation tree logic for synchronization properties
K. Chatterjee, L. Doyen, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.

Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells
. angowski, K.T. Wabnik, H. Li, S. Vanneste, S. Naramoto, H. Tanaka, J. Friml, Cell Discovery 2 (2016).

SCP-ECG .0: An enhanced standard communication protocol for computer-assisted electrocardiography
P. Rubel, D. Pani, A. Schlögl, J. Fayn, F. Badilini, P. Macfarlane, A. Varri, in:, 2016 Computing in Cardiology Conference, Computing in Cardiology, 2016, pp. 309–312.

Relevant sparse codes with variational information bottleneck
M.J. Chalk, O. Marre, G. Tkadik, in:, Neural Information Processing Systems, 2016, pp. 1965–1973.

KCT auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons
S. Booker, D. Althof, A. Gross, D. Loreth, J. Müller, A. Unger, B. Fakler, A. Varro, M. Watanabe, M. Gassmann, B. Bettler, R. Shigemoto, I. Vida, Á. Kulik, Cerebral Cortex 27 (2016) 2318–2334.

Nested weighted limit-average automata of bounded width
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.

Local linearizability for concurrent container-type data structures
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.

Computational multicopter design
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.

Lifelong learning with weighted majority votes
A. Pentina, R. Urner, in:, Neural Information Processing Systems, 2016, pp. 3619–3627.

FlexMolds: Automatic design of flexible shells for molding
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.

Improving weakly-supervised object localization by micro-annotation
A. Kolesnikov, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2016, BMVA Press, 2016, p. 92.1-92.12.

Parallel reachability analysis for hybrid systems
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, in:, IEEE, 2016.

Estimating nonlinear neural response functions using GP priors and Kronecker methods
C. Savin, G. Tkadik, in:, Neural Information Processing Systems, 2016, pp. 3610–3618.

Efficient single sideband microwave to optical conversion using a LiNbO WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, IEEE, 2016.

Synthesizing time triggered schedules for switched networks with faulty links
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.

Tutorial: Software tools for hybrid systems verification transformation and synthesis  HyST and TuLiP
P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen, C. Schilling, A. Sogokon, H. Tran, W. Xiang, in:, 2016 IEEE Conference on Control Applications, IEEE, 2016.

Space-time sculpting of liquid animation
P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of the 9th International Conference on Motion in Games , ACM, 2016.

RASGR deficiency causes immunodeficiency with impaired cytoskeletal dynamics
E. Salzer, D. Ça7daf, M. Hons, E. Mace, W. Garncarz, O. Petronczki, R. Platzer, L. Pfajfer, I. Bilic, S. Ban, K. Willmann, M. Mukherjee, V. Supper, H. Hsu, P. Banerjee, P. Sinha, F. Mcclanahan, G. Zlabinger, W. Pickl, J. Gribben, H. Stockinger, K. Bennett, J. Huppa, L. Dupré, Ö. Sanal, U. Jäger, M.K. Sixt, I. Tezcan, J. Orange, K. Boztug, Nature Immunology 17 (2016) 1352–1360.

Quantitative automata under probabilistic semantics
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.

Model and objective separation with conditional lower bounds: disjunction is harder than conjunction
K. Chatterjee, W. Dvoák, M.H. Henzinger, V. Loitzenbauer, in:, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206.

Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions
R. Martins, J. Maier, A. Gorki, K. Huber, O. Sharif, P. Starkl, S. Saluzzo, F. Quattrone, R. Gawish, K. Lakovits, M. Aichinger, B. Radic Sarikas, C. Lardeau, A. Hladik, A. Korosec, M. Brown, K. Vaahtomeri, M. Duggan, D. Kerjaschki, H. Esterbauer, J. Colinge, S. Eisenbarth, T. Decker, K. Bennett, S. Kubicek, M.K. Sixt, G. Superti Furga, S. Knapp, Nature Immunology 17 (2016) 1361–1372.

Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization
R. azarz, M. Idzik, K. Gdek, E.P. Gajda-Zagorska, Journal of Computational Science 17 (2016) 249–260.

Ground states of large bosonic systems: The gross Pitaevskii limit revisited
P. Nam, N. Rougerie, R. Seiringer, Analysis and PDE 9 (2016) 459–485.

Enquiry into the topology of plasma membrane localized PIN auxin transport components
T. Nodzyski, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, J. Friml, Molecular Plant 9 (2016) 1504–1519.

Auxin flow mediated competition between axillary buds to restore apical dominance
J. Balla, Z. Medved’Ová, P. Kalousek, N. Matijesduková, J. Friml, V. Reinöhl, S. Procházka, Scientific Reports 6 (2016).

A study of rigorous ODE integrators for multi scale set oriented computations
T. Miyaji, P. Pilarczyk, M. Gameiro, H. Kokubu, K. Mischaikow, Applied Numerical Mathematics 107 (2016) 34–47.

A Radical Break Restraining Neutrophil Migration
J. Renkawitz, M.K. Sixt, Developmental Cell 38 (2016) 448–450.

A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis
S. Simonini, J. Deb, L. Moubayidin, P. Stephenson, M. Valluru, A. Freire Rios, K. Sorefan, D. Weijers, J. Friml, L. Östergaard, Genes and Development 30 (2016) 2286–2296.

A model of differential growth guided apical hook formation in plants
P. dádníková, K.T. Wabnik, A. Abuzeineh, M. Gallemí, D. Van Der Straeten, R. Smith, D. Inze, J. Friml, P. Prusinkiewicz, E. Benková, Plant Cell 28 (2016) 2464–2477.

A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients
J. Schwarz, V. Bierbaum, J. Merrin, T. Frank, R. Hauschild, M.T. Bollenbach, S. Tay, M.K. Sixt, M. Mehling, Scientific Reports 6 (2016).

Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population
J. Lee, K. Schnelli, Annals of Applied Probability 26 (2016) 3786–3839.

Modular parameter identification of biomolecular networks
M. Lang, J. Stelling, SIAM Journal on Scientific Computing 38 (2016) 8–08.

Understanding regulatory networks requires more than computing a multitude of graph statistics: Comment on &quot;Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function&quot; by O. C. Martin et al.
G. Tkadik, Physics of Life Reviews 17 (2016) 166–167.

Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae
H. Sachdeva, M. Barma, M. Rao, Scientific Reports 6 (2016).

A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound
C. Kamath Hosdurg, S. Chatterjee, Algorithmica 74 (2016) 1321–1362.

Pseudoentropy: Lower-bounds for chain rules and transformations
K.Z. Pietrzak, S. Maciej, in:, Springer, 2016, pp. 183–203.

Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity
N. Dwyer, B. Chen, S. Chou, S. Hippenmeyer, L. Nguyen, T. Ghashghaei, Journal of Neuroscience 36 (2016) 11394–11401.

Robust draws in balanced knockout tournaments
K. Chatterjee, R. Ibsen-Jensen, J. Tkadlec, in:, AAAI Press, 2016, pp. 172–179.

Mating and longevity in ant males
S. Metzler, J. Heinze, A. Schrempf, Ecology and Evolution 6 (2016) 8903–8906.

Cytokinin response factors integrate auxin and cytokinin pathways for female reproductive organ development
M. Cucinotta, S. Manrique, A. Guazzotti, N. Quadrelli, M. Mendes, E. Benková, L. Colombo, Development 143 (2016) 4419–4424.

Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis
J. Gutierrez-Fernandez, M. Saleh, M. Alcorlo, A. Gómez Mejóa, D. Pantoja Uceda, M. Treviño, F. Vob, M. Abdullah, S. Galán Bartual, J. Seinen, P. Sánchez Murcia, F. Gago, M. Bruix, S. Hammerschmidt, J. Hermoso, Scientific Reports 6 (2016).

Asymptotic analysis of noisy fitness maximization, applied to metabolism &amp; growth
D. De Martino, D. Masoero,  Journal of Statistical Mechanics: Theory and Experiment 2016 (2016).

Reconstruction of haplotype-blocks selected during experimental evolution.
S. Franssen, N.H. Barton, C. Schlötterer, Molecular Biology and Evolution 34 (2016) 174–184.

Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on cEvolutionary game theory using agent-based methodsd by C. Adami, J. Schossau and A. Hintze
C. Hilbe, A. Traulsen, Physics of Life Reviews 19 (2016) 29–31.

Formin’ a nuclear protection
J. Renkawitz, M.K. Sixt, Cell 167 (2016) 1448–1449.

Immune priming in arthropods: an update focusing on the red flour beetle
B. Milutinovic, R. Peuß, K. Ferro, J. Kurtz, Zoology  119 (2016) 254–261.

Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination
F. Hu, L. Rishishwar, A. Sivadas, G. Mitchell, J. King, T. Murphy, J. Gilsdorf, L. Mayer, X. Wang, Journal of Clinical Microbiology 54 (2016) 3010–3017.

Surprises in numerical expressions of physical constants
A. Amir, M. Lemeshko, T. Tokieda, American Mathematical Monthly 123 (2016) 609–612.

Libration of strongly oriented polar molecules inside a superfluid
E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.

Purification of ovine respiratory complex i results in a highly active and stable preparation
J.A. Letts, G. Degliesposti, K. Fiedorczuk, M. Skehel, L.A. Sazanov, Journal of Biological Chemistry 291 (2016) 24657–24675.

Real time analysis of the apical hook development
Q. Zhu, P. dádníková, D. Smet, D. Van Der Straeten, E. Benková, in:, Plant Hormones, Humana Press, 2016, pp. 1–8.

Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity
H. Rakusová, M. Abbas, H. Han, S. Song, H. Robert, J. Friml, Current Biology 26 (2016) 3026–3032.

Compliant control for soft robots: Emergent behavior of a tendon driven anthropomorphic arm
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, IEEE, 2016.

Acceleration feature points of unsteady shear flows
J. Kasten, J. Reininghaus, I. Hotz, H. Hege, B. Noack, G. Daviller, M. Morzyski, Archives of Mechanics 68 (2016) 55–80.

Efficient T-cell priming and activation requires signaling through prostaglandin  (EP) receptors
V. Sreeramkumar, M. Hons, C. Punzón, J. Stein, D. Sancho, M. Fresno Forcelledo, N. Cuesta, Immunology and Cell Biology 94 (2016) 39–51.

Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs
A. Angermayr, P. Van Alphen, D. Hasdemir, G. Kramer, M. Iqbal, W. Van Grondelle, H. Hoefsloot, Y. Choi, K. Hellingwerf, Applied and Environmental Microbiology 82 (2016) 4180–4189.

Bulk universality for deformed wigner matrices
J. Lee, K. Schnelli, B. Stetler, H. Yau, Annals of Probability 44 (2016) 2349–2425.

Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency
G. Miki, A. Stoll, J. Bevirt, R. Grah, M. Moore, in:, AIAA, 2016, pp. 1–19.

Strong morphological defects in conditional Arabidopsis ab knock-down mutants generated in absence of functional AB protein
J. Michalko, M. Glanc, C. Perrot Rechenmann, J. Friml, 00 Research  5 (2016).

Optimal packings of congruent circles on a square flat torus
O. Musin, A. Nikitenko, Discrete &; Computational Geometry 55 (2016) 1–20.

Localization for transversally periodic random potentials on binary trees
R. Froese, D. Lee, C. Sadel, W. Spitzer, G. Stolz, Journal of Spectral Theory 6 (2016) 557–600.

The dynamics of resource allocation and costs of reproduction in a sexually dimorphic, wind-pollinated dioecious plant
Z. Teitel, M. Pickup, D. Field, S. Barrett, Plant Biology 18 (2016) 98–103.

Atomic structure of the entire mammalian mitochondrial complex i
K. Fiedorczuk, J.A. Letts, G. Degliesposti, K. Kaszuba, M. Skehel, L.A. Sazanov, Nature 538 (2016) 406–410.

Discrete abstraction of multiaffine systems
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.

On the complexity of scrypt and proofs of space in the parallel random oracle model
J.F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2016, pp. 358–387.

The architecture of respiratory supercomplexes
J.A. Letts, K. Fiedorczuk, L.A. Sazanov, Nature 537 (2016) 644–648.

Standard security does imply security against selective opening for markov distributions
G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.

Endosomal interactions during root hair growth
D. von Wangenheim, A. Rosero, G. Komis, O. Samajová, M. Ovedka, B. Voigt, J. Samaj, Frontiers in Plant Science 6 (2016).

Computation of cubical Steenrod squares
M. Krcál, P. Pilarczyk, in:, Springer, 2016, pp. 140–151.

Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans
A. Kornienko, C. Dotter, P. Guenzl, H. Gisslinger, B. Gisslinger, C. Cleary, R. Kralovics, F. Pauler, D. Barlow, Genome Biology 17 (2016).

Cortical flow-driven shapes of nonadherent cells
A. Callan Jones, V. Ruprecht, S. Wieser, C.-P.J. Heisenberg, R. Voituriez, Physical Review Letters 116 (2016).

Extending the dynamic range of transcription factor action by translational regulation
T.R. Sokolowski, A. Walczak, W. Bialek, G. Tkadik, Physical Review E Statistical Nonlinear and Soft Matter Physics 93 (2016).

The role of recombination in evolutionary rescue
H. Uecker, J. Hermisson, Genetics 202 (2016) 721–732.

ROTUND function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling
M. Karampelias, P. Neyt, S. De Groeve, S. Aesaert, G. Coussens, J. Roldík, L. Bruno, N. De Winne, A. Van Minnebruggen, M. Van Montagu, M. Ponce, J. Micol, J. Friml, G. De Jaeger, M. Van Lijsebettens, PNAS 113 (2016) 2768–2773.

Imaging of electric and magnetic fields near plasmonic nanowires
I. Kabakova, A. De Hoogh, R. Van Der Wel, M. Wulf, B. Le Feber, L. Kuipers, Scientific Reports 6 (2016).

Game-theoretic models identify useful principles for peer collaboration in online learning platforms
V. Pandey, K. Chatterjee, in:, Proceedings of the ACM Conference on Computer Supported Cooperative Work, ACM, 2016, pp. 365–368.

Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells
P. Recouvreux, T.R. Sokolowski, A. Grammoustianou, P. Tenwolde, M. Dogterom, PNAS 113 (2016) 1811–1816.

Information processing in living systems
G. Tkadik, W. Bialek, Annual Review of Condensed Matter Physics 7 (2016) 89–117.

Determining physical properties of the cell cortex
A. Saha, M. Nishikawa, M. Behrndt, C.-P.J. Heisenberg, F. Julicher, S. Grill, Biophysical Journal 110 (2016) 1421–1429.

TWISTED DWAR mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics
J. Zhu, A. Bailly, M. Zwiewka, V. Sovero, M. Di Donato, P. Ge, J. Oehri, B. Aryal, P. Hao, M. Linnert, N. Burgardt, C. Lücke, M. Weiwad, M. Michel, O. Weiergräber, S. Pollmann, E. Azzarello, S. Mancuso, N. Ferro, Y. Fukao, C. Hoffmann, R. Wedlich Söldner, J. Friml, C. Thomas, M. Geisler, Plant Cell 28 (2016) 930–948.

Inducing a map on homology from a correspondence
S. Harker, H. Kokubu, K. Mischaikow, P. Pilarczyk, Proceedings of the American Mathematical Society 144 (2016) 1787–1801.

Uniform expansivity outside a critical neighborhood in the quadratic family
A. Golmakani, S. Luzzatto, P. Pilarczyk, Experimental Mathematics 25 (2016) 116–124.

Down syndrome cell adhesion molecule 1: Testing for a role in insect immunity, behaviour and reproduction
R. Peuß, K. Wensing, L. Woestmann, H. Eggert, B. Milutinovic, M. Sroka, J. Scharsack, J. Kurtz, S. Armitage, Royal Society Open Science 3 (2016).

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).