Pushdown reachability with constant treewidth
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.

Low pH inf o boosts burst firing and catecholamine release by blocking TASK-1 and BK channels while preserving Ca channels in mouse chromaffin cells
L. Guarina, D.H. Vandael, V. Carabelli, E. Carbone, Journal of Physiology 595 (2017) 2587–2609.

Evolutionary rescue in randomly mating, selfing, and clonal populations
H. Uecker, Evolution 71 (2017) 845–858.

Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.

Local law for the product of independent non-Hermitian random matrices with independent entries
Y. Nemish, Electronic Journal of Probability 22 (2017).

The topology of the cosmic web in terms of persistent Betti numbers
P. Pranav, H. Edelsbrunner, R. Van De Weygaert, G. Vegter, M. Kerber, B. Jones, M. Wintraecken, Monthly Notices of the Royal Astronomical Society 465 (2017) 4281–4310.

Optogenetic methods in drug screening: Technologies and applications
V. Agus, H.L. Janovjak, Current Opinion in Biotechnology 48 (2017) 8–14.

Disordered cellulose based nanostructures for enhanced light scattering
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, R. Sapienza, ACS Applied Materials and Interfaces 9 (2017) 7885–7890.

Boundary layer turbulence in experiments on quasi Keplerian flows
J.M. Lopez Alonso, M. Avila, Journal of Fluid Mechanics 817 (2017) 21–34.

Cell biology: Stretched divisions
C.-P.J. Heisenberg, Nature 543 (2017) 43–44.

Tubulins and brain development: The origins of functional specification
M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.

Vortices and antivortices in two-dimensional ultracold Fermi gases
G. Bighin, L. Salasnich, Scientific Reports 7 (2017).

Uner Tan syndrome caused by a homozygous TUBB mutation affecting microtubule stability
M. Breuss, T. Nguyen, A. Srivatsan, I. Leca, G. Tian, T. Fritz, A.H. Hansen, D. Musaev, J. Mcevoy Venneri, J. Kiely, R. Rosti, E. Scott, U. Tan, R. Kolodner, N. Cowan, D. Keays, J. Gleeson, Human Molecular Genetics 26 (2017) 258–269.

Light regulated expression of sensor histidine kinase CK controls cytokinin related development
T. Dobisova, V. Hrdinova, C. Cuesta, S. Michlickova, I. Urbankova, R. Hejatkova, P. Zadnikova, M. Pernisová, E. Benková, J. Hejátko, Plant Physiology 174 (2017) 387–404.

X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, Heredity 119 (2017) 27–34.

Liouville principles and a large-scale regularity theory for random elliptic operators on the half-space
J.L. Fischer, C. Raithel, SIAM Journal on Mathematical Analysis 49 (2017) 82–114.

Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, (2017).

Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329.

Faster algorithms for weighted recursive state machines
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.

Spatiotemporal mechanisms of root branching
K. Ötvös, E. Benková, Current Opinion in Genetics &; Development 45 (2017) 82–89.

Local law for random Gram matrices
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).

Optimizing expectation with guarantees in POMDPs
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.

Additional file 1: Table . of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).

Additional file 5: Table . of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).

Functionality-aware retargeting of mechanisms to 3D shapes
R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.

CurveUps: Shaping objects from flat plates with tension-actuated curvature
R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.

An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.

PixelCNN models with auxiliary variables for natural image modeling
A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine Learning, JMLR, 2017, pp. 1905–1914.

iCaRL: Incremental classifier and representation learning
S.A. Rebuffi, A. Kolesnikov, G. Sperl, C. Lampert, in:, IEEE, 2017, pp. 5533–5542.

Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow
H. Sachdeva, N.H. Barton, Evolution; International Journal of Organic Evolution 71 (2017) 1478–1493.

Current-phase relation of ballistic graphene Josephson junctions
G. Nanda, J.L. Aguilera Servin, P. Rakyta, A. Kormányos, R. Kleiner, D. Koelle, K. Watanabe, T. Taniguchi, L. Vandersypen, S. Goswami, Nano Letters 17 (2017) 3396–3401.

Subsampling scaling
A. Levina (Martius), V. Priesemann, Nature Communications 8 (2017).

Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment
G. Bighin, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 96 (2017).

Transport based image morphing with intensity modulation
J. Maas, M. Rumpf, S. Simon, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 563–577.

Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).

Synaptotagmins: That’s why so many
C. Chen, P.M. Jonas, Neuron 94 (2017) 694–696.

On the mechanistic nature of epistasis in a canonical cis-regulatory element
M. Lagator, T. Paixao, N.H. Barton, J.P. Bollback, C.C. Guet, ELife 6 (2017).

Evolution of new regulatory functions on biophysically realistic fitness landscapes
T. Friedlander, R. Prizak, N.H. Barton, G. Tkadik, Nature Communications 8 (2017).

Model counting for recursively-defined strings
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kundak (Eds.), Springer, 2017, pp. 399–418.

The sources of adaptive evolution
D. Charlesworth, N.H. Barton, B. Charlesworth, Proceedings of the Royal Society of London Series B Biological Sciences 284 (2017).

Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics
D. De Martino,  Physical Review E Statistical Nonlinear and Soft Matter Physics  95 (2017) 062419.

Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance
E. Carlen, J. Maas, Journal of Functional Analysis 273 (2017) 1810–1869.

Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti
M. Turelli, N.H. Barton, Theoretical Population Biology 115 (2017) 45–60.

Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, PLoS Biology 15 (2017).

Quantifying the entropic cost of cellular growth control
D. De Martino, F. Capuani, A. De Martino,  Physical Review E Statistical Nonlinear and Soft Matter Physics  96 (2017).

Excel file with data on mosquito densities, Wolbachia infection status and housing characteristics
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, (2017).

Supporting information concerning observed wMel frequencies and analyses of habitat variables
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, (2017).

Supporting Information concerning additional likelihood analyses and results
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, (2017).

Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome
A.K. Huylmans, A. Macon, B. Vicoso, Molecular Biology and Evolution 34 (2017) 2637–2649.

A moving source of matrix components is essential for De Novo basement membrane formation
Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.

Mechanical on chip microwave circulator
S. Barzanjeh, M. Wulf, M. Peruzzo, M. Kalaee, P. Dieterle, O. Painter, J.M. Fink, Nature Communications 8 (2017).

The power of choice in priority scheduling
D.-A. Alistarh, J. Kopinsky, J. Li, G. Nadiradze, in:, Proceedings of the ACM Symposium on Principles of Distributed Computing, ACM, 2017, pp. 283–292.

Relative periodic orbits form the backbone of turbulent pipe flow
N.B. Budanur, K. Short, M. Farazmand, A. Willis, P. Cvitanovi, Journal of Fluid Mechanics 833 (2017) 274–301.

Al transmon qubits on silicon on insulator for quantum device integration
A.J. Keller, P. Dieterle, M. Fang, B. Berger, J.M. Fink, O. Painter, Applied Physics Letters 111 (2017).

On the existence of ordinary triangles
R. Fulek, H. Mojarrad, M. Naszódi, J. Solymosi, S. Stich, M. Szedlák, Computational Geometry: Theory and Applications 66 (2017) 28–31.

C-planarity of embedded cyclic c-graphs
R. Fulek, Computational Geometry: Theory and Applications 66 (2017) 1–13.

The number and distribution of AMPA receptor channels containing fast kinetic Glu and Glu subunits at auditory nerve synapses depend on the target cells
M. Rubio, K. Matsui, Y. Fukazawa, N. Kamasawa, H. Harada, M. Itakura, E. Molnár, M. Abe, K. Sakimura, R. Shigemoto, Brain Structure and Function 222 (2017) 3375–3393.

The genetic encoded toolbox for electron microscopy and connectomics
R. Shigemoto, M.A. Jösch, WIREs Developmental Biology 6 (2017).

Stability of a fermionic N+1 particle system with point interactions
T. Moser, R. Seiringer, Communications in Mathematical Physics 356 (2017) 329–355.

A note on the validity of Bogoliubov correction to mean field dynamics
P. Nam, M.M. Napiórkowski, Journal de Mathématiques Pures et Appliquées 108 (2017) 662–688.

A new topology on the universal path space
Z. Virk, A. Zastrow, Topology and Its Applications 231 (2017) 186–196.

Convergence rate for spectral distribution of addition of random matrices
Z. Bao, L. Erdös, K. Schnelli, Advances in Mathematics 319 (2017) 251–291.

Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry
L. Vukusi, J. Kukucka, H. Watzinger, G. Katsaros, Nano Letters 17 (2017) 5706–5710.

Ant queens increase their reproductive efforts after pathogen infection
J. Giehr, A.V. Grasse, S. Cremer, J. Heinze, A. Schrempf, Royal Society Open Science 4 (2017).

When does frequency-independent selection maintain genetic variation?
S. Novak, N.H. Barton, Genetics 207 (2017) 653–668.

Regulation of Drosophila hematopoietic sites by Activin-;2 from active sensory neurons
K. Makhijani, B. Alexander, D. Rao, S. Petraki, L. Herboso, K. Kukar, I. Batool, S. Wachner, K. Gold, C. Wong, M. O’Connor, K. Brückner, Nature Communications 8 (2017).

Finding eigenvalues of self-maps with the Kronecker canonical form
M. Ethier, G. Jablonski, M. Mrozek, in:, Special Sessions in Applications of Computer Algebra, Springer, 2017, pp. 119–136.

A study of lagrangean decompositions and dual ascent solvers for graph matching
P. Swoboda, C. Rother, C. Abu Alhaija, D. Kainmueller, B. Savchynskyy, in:, IEEE, 2017, pp. 7062–7071.

A message passing algorithm for the minimum cost multicut problem
P. Swoboda, B. Andres, in:, IEEE, 2017, pp. 4990–4999.

A dual ascent framework for Lagrangean decomposition of combinatorial problems
P. Swoboda, J. Kuske, B. Savchynskyy, in:, IEEE, 2017, pp. 4950–4960.

Decoding of position in the developing neural tube from antiparallel morphogen gradients
M.P. Zagórski, Y. Tabata, N. Brandenberg, M. Lutolf, G. Tkadik, T. Bollenbach, J. Briscoe, A. Kicheva, Science 356 (2017) 1379–1383.

Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells
R.J. Beattie, M.P. Postiglione, L. Burnett, S. Laukoter, C. Streicher, F. Pauler, G. Xiao, O. Klezovitch, V. Vasioukhin, T. Ghashghaei, S. Hippenmeyer, Neuron 94 (2017) 517–533.e3.

: Syntax- and semantic-guided repair synthesis via programming by examples
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.

Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons
B. Midya, V. Konotop, Physical Review Letters 119 (2017).

Raw data from ant queens increase their reproductive efforts after pathogen infection
J. Giehr, A.V. Grasse, S. Cremer, J. Heinze, A. Schrempf, (2017).

Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections
M. de Vos, M.P. Zagórski, A. Mcnally, M.T. Bollenbach, PNAS 114 (2017) 10666–10671.

Streaming algorithm for Euler characteristic curves of multidimensional images
T. Heiss, H. Wagner, in:, M. Felsberg, A. Heyden, N. Krüger (Eds.), Springer, 2017, pp. 397–409.

The A splice variant  regulates the differentiation of projection neurons via (KI) during cortical development
S. Pfurr, Y. Chu, C. Bohrer, F. Greulich, R.J. Beattie, K. Mammadzada, M. Hils, S. Arnold, V. Taylor, K. Schachtrup, N.H. Uhlenhaut, C. Schachtrup, Development 144 (2017) 3917–3931.

Thouless energy and multifractality across the many-body localization transition
M. Serbyn, P. Zlatko, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 96 (2017).

Phase transitions in integer linear problems
S. Colabrese, D. De Martino, L. Leuzzi, E. Marinari,  Journal of Statistical Mechanics: Theory and Experiment 2017 (2017).

Heteroclinic path to spatially localized chaos in pipe flow
N.B. Budanur, B. Hof, Journal of Fluid Mechanics 827 (2017).

BEN3/BI ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana
S. Kitakura, M. Adamowski, Y. Matsuura, L. Santuari, H. Kouno, K. Arima, C. Hardtke, J. Friml, T. Kakimoto, H. Tanaka, Plant and Cell Physiology 58 (2017).

Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus
M. Strüber, J. Sauer, P.M. Jonas, M. Bartos, Nature Communications 8 (2017).

DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes
M. Samwer, M. Schneider, R. Hoefler, P.S. Schmalhorst, J. Jude, J. Zuber, D. Gerlic, Cell 170 (2017) 956–972.

Overcoming the limitations of the MARTINI force field in simulations of polysaccharides
P.S. Schmalhorst, F. Deluweit, R. Scherrers, C.-P.J. Heisenberg, M.K. Sikora, Journal of Chemical Theory and Computation 13 (2017) 5039–5053.

Altered surface mGlu dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fm knockout mice
E. Aloisi, K. Le Corf, J. Dupuis, P. Zhang, M. Ginger, V. Labrousse, M. Spatuzza, M. Georg Haberl, L. Costa, R. Shigemoto, A. Tappe Theodor, F. Drago, P. Vincenzo Piazza, C. Mulle, L. Groc, L. Ciranna, M. Catania, A. Frick, Nature Communications 8 (2017).

Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses
C. Chen, R. Satterfield, S. Young, P.M. Jonas, Cell Reports 21 (2017) 2082–2089.

Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma
T. Priklopil, K. Chatterjee, M. Nowak,  Journal of Theoretical Biology 433 (2017) 64–72.

Transition to turbulence in pulsating pipe flow
D. Xu, S. Warnecke, B. Song, X. Ma, B. Hof, Journal of Fluid Mechanics 831 (2017) 418–432.

Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus
E. Breiloiu, M. Mcguire, S. Shuler, E. Deliu, J. Barr, M. Abood, G. Brailoiu, Neuroscience 365 (2017) 23–32.

Preface of the special issue in memoriam Helmut Veith
G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.

Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation
V. Barone, Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation, Institute of Science and Technology Austria, 2017.

Deconstructing superorganisms and societies to address big questions in biology
P. Kennedy, G. Baron, B. Qiu, D. Freitak, H. Helantera, E. Hunt, F. Manfredini, T. O’Shea Wheller, S. Patalano, C. Pull, T. Sasaki, D. Taylor, C. Wyatt, S. Sumner, Trends in Ecology and Evolution 32 (2017) 861–872.

Disease defence in garden ants
C. Pull, Disease Defence in Garden Ants, Institute of Science and Technology Austria, 2017.

Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour
C. Pull, S. Cremer, BMC Evolutionary Biology 17 (2017).

A unifying theory of branching morphogenesis
E.B. Hannezo, C. Scheele, M. Moad, N. Drogo, R. Heer, R. Sampogna, J. Van Rheenen, B. Simons, Cell 171 (2017) 242–255.

Load adaptation of lamellipodial actin networks
J. Mueller, G. Szep, M. Nemethova, I. de Vries, A. Lieber, C. Winkler, K. Kruse, J. Small, C. Schmeiser, K. Keren, R. Hauschild, M.K. Sixt, Cell 171 (2017) 188–200.

Maximum entropy models as a tool for building precise neural controls
C. Savin, G. Tkadik, Current Opinion in Neurobiology 46 (2017) 120–126.

Coordination of morphogenesis and cell fate specification in development
C. Chan, C.-P.J. Heisenberg, T. Hiiragi, Current Biology 27 (2017) 24–35.

Regeneration tensed up polyploidy takes the lead
Z.P. Spiro, C.-P.J. Heisenberg, Developmental Cell 42 (2017) 559–560.