Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy
H. Polshyn, C. Zhang, T. Naibert, J. Eckstein, R. Budakian, in:, APS March Meeting 2015, American Physical Society, 2015.

Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
F. Parise, J. Lygeros, J. Ruess, Frontiers in Environmental Science 3 (2015).

The value 1 problem under finite-memory strategies for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.

Mutations in either TUBB or MAPR cause circumferential skin creases Kunze type
M. Isrie, M. Breuss, G. Tian, A.H. Hansen, F. Cristofoli, J. Morandell, Z.A. Kupchinsky, A. Sifrim, C. Rodriguez Rodriguez, E.P. Dapena, K. Doonanco, N. Leonard, F. Tinsa, S. Moortgat, H. Ulucan, E. Koparir, E. Karaca, N. Katsanis, V. Marton, J.R. Vermeesch, E.E. Davis, N.J. Cowan, D. Keays, H. Van Esch, The American Journal of Human Genetics 97 (2015) 790–800.

Directly reprogrammed human neurons retain aging-associated transcriptomic signatures and reveal age-related nucleocytoplasmic defects
J. Mertens, A.C.M. Paquola, M. Ku, E. Hatch, L. Böhnke, S. Ladjevardi, S. McGrath, B. Campbell, H. Lee, J.R. Herdy, J.T. Gonçalves, T. Toda, Y. Kim, J. Winkler, J. Yao, M. Hetzer, F.H. Gage, Cell Stem Cell 17 (2015) 705–718.

The nucleoporin Nu3 regulates embryonic stem cell pluripotency through gene silencing
F.V. Jacinto, C. Benner, M. Hetzer, Genes &; Development 29 (2015) 1224–1238.

Integrated transcriptome and proteome analyses reveal organ-specific proteome deterioration in old rats
A. Ori, B.H. Toyama, M.S. Harris, T. Bock, M. Iskar, P. Bork, N.T. Ingolia, M. Hetzer, M. Beck, Cell Systems 1 (2015) 4-237.

The nucleoporin /Nu0 controls muscle differentiation by regulating nuclear envelope/ER homeostasis
J.S. Gomez-Cavazos, M. Hetzer, Journal of Cell Biology 208 (2015) 671–681.

Nuclear pore proteins and the control of genome functions
A. Ibarra, M. Hetzer, Genes &; Development 29 (2015) 337–349.

Linking micronuclei to chromosome fragmentation
E.M. Hatch, M. Hetzer, Cell 161 (2015) 1502–1504.

Chromothripsis
E.M. Hatch, M. Hetzer, Current Biology 25 (2015) -9.

Evidence for PopIII-like stellar populations in the most luminous Ly;1 emitters at the epoch of reionisation: Spectroscopic confirmation
D. Sobral, J.J. Matthee, B. Darvish, D. Schaerer, B. Mobasher, H. Röttgering, S. Santos, S. Hemmati, The Astrophysical Journal 808 (2015) 139.

CF-HiZELS, an c10 de emission-line survey with spectroscopic follow-up: H;1, [OIII] + H;2 and [OII] luminosity functions at z = 0.8, 1.4 and 2.2 
D. Sobral, J.J. Matthee, P.N. Best, I. Smail, A.A. Khostovan, B. Milvang-Jensen, J.-W. Kim, J. Stott, J. Calhau, H. Nayyeri, B. Mobasher, Monthly Notices of the Royal Astronomical Society 451 (2015) 2303–2323.

Identification of the brightest Ly;1 emitters at z = 6.6: implications for the evolution of the luminosity function in the reionization era
J.J. Matthee, D. Sobral, S. Santos, H. Röttgering, B. Darvish, B. Mobasher, Monthly Notices of the Royal Astronomical Society 451 (2015) 400–417.

The brightest Ly;1 emitter: Pop III or black hole?
A. Pallottini, A. Ferrara, F. Pacucci, S. Gallerani, S. Salvadori, R. Schneider, D. Schaerer, D. Sobral, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 453 (2015) 2465–2470.

On multiple keyword sponsored search auctions with budgets
R. Colini-Baldeschi, S. Leonardi, M.H. Henzinger, M. Starnberger, ACM Transactions on Economics and Computation 4 (2015).

Auctions for heterogeneous items and budget limits
P. Dütting, M.H. Henzinger, M. Starnberger, ACM Transactions on Economics and Computation 4 (2015).

An expressive mechanism for auctions on the web
P. Dütting, M.H. Henzinger, I. Weber, ACM Transactions on Economics and Computation 4 (2015).

Combinatorial auctions with conflict-based externalities
Y.K. Cheung, M.H. Henzinger, M. Hoefer, M. Starnberger, in:, 11th International Conference on Web and Internet Economics, Springer Nature, 2015, pp. 230–243.

Ad exchange: Envy-free auctions with mediators
O. Ben-Zwi, M.H. Henzinger, V. Loitzenbauer, in:, 11th International Conference on Web and Internet Economics, Springer Nature, 2015, pp. 104–117.

Improved algorithms for decremental single-source reachability on directed graphs
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 42nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 725–736.

Finding 2-edge and 2-vertex strongly connected components in quadratic time
M.H. Henzinger, S. Krinninger, V. Loitzenbauer, in:, 2nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 713–724.

Online ad assignment with an ad exchange
W. Dvoák, M.H. Henzinger, in:, 12th International Workshop of Approximation and Online Algorithms, Springer Nature, 2015, pp. 156–167.

Design of dynamic algorithms via primal-dual method
S. Bhattacharya, M.H. Henzinger, G.F. Italiano, in:, 42nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 206–218.

Split diversity in constrained conservation prioritization using integer linear programming
O. Chernomor, B.Q. Minh, F. Forest, S. Klaere, T. Ingram, M.H. Henzinger, A. von Haeseler, Methods in Ecology and Evolution 6 (2015) 83–91.

Unifying and strengthening hardness for dynamic problems via the online matrix-vector multiplication conjecture
M.H. Henzinger, S. Krinninger, D. Nanongkai, T. Saranurak, in:, 47th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2015.

Space- and time-efficient algorithm for maintaining dense subgraphs on one-pass dynamic streams
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, C. Tsourakakis, in:, 47th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2015, pp. 173–182.

Welfare maximization with friends-of-friends network externalities
S. Bhattacharya, W. Dvorák, M.H. Henzinger,  Martin Starnberger, in:, 32nd International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102.

Truthful unit-demand auctions with budgets revisited
M.H. Henzinger, V. Loitzenbauer, Theoretical Computer Science 573 (2015) 1–15.

Continuous flow reduction of artemisinic acid utilizing multi-injection strategies-closing the gap towards a fully continuous synthesis of antimalarial drugs
B. Pieber, T. Glasnov, C.O. Kappe, Chemistry - A European Journal 21 (2015) 4368–4376.

A sequential Ugi multicomponent/Cu-catalyzed azide–alkyne cycloaddition approach for the continuous flow generation of cyclic peptoids
C.E.M. Salvador, B. Pieber, P.M. Neu, A. Torvisco, C. Kleber Z. Andrade, C.O. Kappe, The Journal of Organic Chemistry 80 (2015) 4590–4602.

Aerobic oxidations in continuous flow
B. Pieber, C.O. Kappe, in:, T. Noël (Ed.), Organometallic Flow Chemistry, 1st ed., Springer Nature, Cham, 2015, pp. 97–136.

Direct observation of particle interactions and clustering in charged granular streams
V. Lee, S.R. Waitukaitis, M. Miskin, H. Jaeger, Nature Physics 11 (2015) 733–737.

Origami multistability: From single vertices to metasheets
S.R. Waitukaitis, R. Menaut, B. Chen, M. Van Hecke, APS Physics, Physical Review Letters 114 (2015).

Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach
J.L. Fischer, G. Grün, SIAM Journal on Mathematical Analysis 47 (2015) 825–854.

A posteriori modeling error estimates for the assumption of perfect incompressibility in the Navier-Stokes equation
J.L. Fischer, SIAM Journal on Numerical Analysis 53 (2015) 2178–2205.

Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach
J.L. Fischer, Interfaces and Free Boundaries 17 (2015) 1–20.

Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems
J.L. Fischer, Archive for Rational Mechanics and Analysis 218 (2015) 553–587.

V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis
L. Yu, S. Scholl, A. Doering, Z. Yi, N. Irani, S. Di Rubbo, L. Neumetzler, P. Krishnamoorthy, I. Van Houtte, E. Mylle, V. Bischoff, S. Vernhettes, J. Winne, J. Friml, Y. Stierhof, K. Schumacher, S. Persson, E. Russinova, Nature Plants 1 (2015).

Lifelong learning with non-i.i.d. tasks
A. Pentina, C. Lampert, in:, Neural Information Processing Systems, 2015, pp. 1540–1548.

Statistical topological data analysis-A kernel perspective
R. Kwitt, S. Huber, M. Niethammer, W. Lin, U. Bauer, in:, Neural Information Processing Systems, 2015, pp. 3070–3078.

First steps towards a runtime comparison of natural and artificial evolution
T. Paixao, D. Sudholt, J. Heredia, B. Trubenova, in:, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, 2015, pp. 1455–1462.

Policy privacy in cryptographic access control
A. Ferrara, G. Fuchsbauer, B. Liu, B. Warinschi, in:, IEEE, 2015, pp. 46–60.

Cohomology of large semiprojective hyperkähler varieties
T. Hausel, F. Rodríguez Villegas, Asterisque 2015 (2015) 113–156.

A stable multi-scale kernel for topological machine learning
J. Reininghaus, S. Huber, U. Bauer, R. Kwitt, in:, IEEE, 2015, pp. 4741–4748.

The need for language support for fault-tolerant distributed systems
C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.

Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data
D. Andergassen, C. Dotter, T. Kulinski, P. Guenzl, P. Bammer, D. Barlow, F. Pauler, Q. Hudson, Nucleic Acids Research 43 (2015).

Polynomial time decidability of weighted synchronization under partial observability
J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–154.

Relaxed disk packing
H. Edelsbrunner, M. Iglesias Ham, V. Kurlin, in:, Proceedings of the 27th Canadian Conference on Computational Geometry, Queen’s University, 2015, pp. 128–135.

Spectral statistics of large dimensional spearman s rank correlation matrix and its application
Z. Bao, L. Lin, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 2588–2623.

Poster: HyRG: A random generation tool for affine hybrid automata
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata, Springer, 2015.

A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles
C. Sadel, Ergodic Theory and Dynamical Systems 35 (2015) 1582–1591.

On computability and triviality of well groups
P. Franek, M. Krcál, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 842–856.

Universality for the largest eigenvalue of sample covariance matrices with general population
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.

Gap universality of generalized Wigner and ;2 ensembles
L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.

The logarithmic law of random determinant
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.

The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression
A. Pal, B. Vicoso, Genome Biology and Evolution 7 (2015) 3259–3268.

From large deviations to Wasserstein gradient flows in multiple dimensions
M. Erbar, J. Maas, M. Renger, Electronic Communications in Probability 20 (2015).

Distinct subsynaptic localization of type 1 metabotropic glutamate receptors at glutamatergic and GABAergic synapses in the rodent cerebellar cortex
M. Mansouri, Y. Kasugai, Y. Fukazawa, F. Bertaso, F. Raynaud, J. Perroy, L. Fagni, W. Kaufmann, M. Watanabe, R. Shigemoto, F. Ferraguti, European Journal of Neuroscience 41 (2015) 157–167.

Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission
M. Gómez Gonzalo, M. Navarrete, G. Perea, A. Covelo, M. Martín Fernández, R. Shigemoto, R. Luján, A. Araque, Cerebral Cortex 25 (2015) 3699–3712.

The interpretation of selection coefficients
N.H. Barton, M. Servedio, Evolution 69 (2015) 1101–1112.

Arbeitsgruppe eNationale Strategiec des Open Access Network Austria OANA
B. Bauer, G. Blechl, C. Bock, P. Danowski, A. Ferus, A. Graschopf, T. König, K. Mayer, F. Reckling, K. Rieck, P. Seitz, H. Stöger, E. Welzig, VÖB Mitteilungen 68 (2015) 580–607.

Computational design of walking automata
G. Bharaj, S. Coros, B. Thomaszewski, J. Tompkin, B. Bickel, H. Pfister, in:, ACM, 2015, pp. 93–100.

Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source
H. Yang, J. Von Der Fecht Bartenbach, J. Friml, J. Lohmann, B. Neuhäuser, U. Ludewig, Functional Plant Biology 42 (2015) 239–251.

Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature
V. Zobel, J. Reininghaus, I. Hotz, in:, I. Hotz, T. Schultz (Eds.), Visualization and Processing of Higher Order Descriptors for Multi-Valued Data, 1st ed., Springer, 2015, pp. 257–267.

Impact of the cell division cycle on gene circuits
V. Bierbaum, S. Klumpp, Physical Biology 12 (2015).

Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space
J. Ruess, Journal of Chemical Physics 143 (2015).

Transcriptional regulation of PIN genes by FOUR LIPS and MY during Arabidopsis root gravitropism
H. Wang, K. Yang, J. Zou, L. Zhu, Z. Xie, M. Morita, M. Tasaka, J. Friml, E. Grotewold, T. Beeckman, S. Vanneste, F. Sack, J. Le, Nature Communications 6 (2015).

Iterative experiment design guides the characterization of a light-inducible gene expression circuit
J. Ruess, F. Parise, A. Milias Argeitis, M. Khammash, J. Lygeros, PNAS 112 (2015) 8148–8153.

Ca.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells
D.H. Vandael, A. Marcantoni, E. Carbone, Current Molecular Pharmacology 8 (2015) 149–161.

Asymmetric localizations of the ABC transporter PaPD trace paths of directional strigolactone transport
J. Sasse, S. Simon, C. Gübeli, G. Liu, X. Cheng, J. Friml, H. Bouwmeester, E. Martinoia, L. Borghi, Current Biology 25 (2015) 647–655.

Segmentation over detection via optimal sparse reconstructions
W. Xia, C. Domokos, J. Xiong, L. Cheong, S. Yan, IEEE Transactions on Circuits and Systems for Video Technology 25 (2015) 1295–1308.

Toward a unifying framework for evolutionary processes
T. Paixao, G. Badkobeh, N.H. Barton, D. Çörüf, D. Dang, T. Friedrich, P. Lehre, D. Sudholt, A. Sutton, B. Trubenova,  Journal of Theoretical Biology 383 (2015) 28–43.

Nanoscale distribution of presynaptic C+ channels and its impact on vesicular release during development
Y. Nakamura, H. Harada, N. Kamasawa, K. Matsui, J. Rothman, R. Shigemoto, R.A. Silver, D. Digregorio, T. Takahashi, Neuron 85 (2015) 145–158.

XSpeed: Accelerating reachability analysis on multi-core processors
R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, R. Grosu, 9434 (2015) 3–18.

A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants
Y. Olvera Carrillo, M. Van Bel, T. Van Hautegem, M. Fendrych, M. Huysmans, M. Simásková, M. Van Durme, P. Buscaill, S. Rivas, N. Coll, F. Coppens, S. Maere, M. Nowack, Plant Physiology 169 (2015) 2684–2699.

Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins
P. Nguyen, C. Field, A. Groen, T. Mitchison, M. Loose, in:, Building a Cell from Its Components Parts, Academic Press, 2015, pp. 223–241.

The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis
H. Robert, L. Crhák Khaitová, S. Mroue, E. Benková, Journal of Experimental Botany 66 (2015) 5029–5042.

Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes
L. El Masri, A. Branca, A. Sheppard, A. Papkou, D. Laehnemann, P. Guenther, S. Prahl, M. Saebelfeld, J. Hollensteiner, H. Liesegang, E. Brzuszkiewicz, R. Daniel, N. Michiels, R. Schulte, J. Kurtz, P. Rosenstiel, A. Telschow, E. Bornberg Bauer, H. Schulenburg, PLoS Biology 13 (2015) 1–30.

Flipping the photoswitch: Ion channels under light control
C. Mckenzie, I. Sanchez-Romero, H.L. Janovjak, in:, Novel Chemical Tools to Study Ion Channel Biology, Springer, 2015, pp. 101–117.

Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination
B. Milutinovic, C. Höfling, M. Futo, J. Scharsack, J. Kurtz, Applied and Environmental Microbiology 81 (2015) 8135–8144.

Actin flows mediate a universal coupling between cell speed and cell persistence
P. Maiuri, J. Rupprecht, S. Wieser, V. Ruprecht, O. Bénichou, N. Carpi, M. Coppey, S. De Beco, N. Gov, C.-P.J. Heisenberg, C. Lage Crespo, F. Lautenschlaeger, M. Le Berre, A. Lennon Duménil, M. Raab, H. Thiam, M. Piel, M.K. Sixt, R. Voituriez, Cell 161 (2015) 374–386.

Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries
C. Mayer, X. Jaglin, L. Cobbs, R. Bandler, C. Streicher, C. Cepko, S. Hippenmeyer, G. Fishell, Neuron 87 (2015) 989–998.

Resolution of unmixed bipartite graphs
F. Mohammadi, S. Moradi, Bulletin of the Korean Mathematical Society 52 (2015) 977–986.

The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development
Y. Jia, H. Tian, H. Li, Q. Yu, L. Wang, J. Friml, Z. Ding, Journal of Experimental Botany 66 (2015) 4631–4642.

Rich bifurcation structure in a two patch vaccination model
D. Knipl, P. Pilarczyk, G. Röst, SIAM Journal on Applied Dynamical Systems 14 (2015) 980–1017.

The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation
M. Ivanchenko, J. Zhu, B. Wang, E. Medvecka, Y. Du, E. Azzarello, S. Mancuso, M. Megraw, S. Filichkin, J. Dubrovsky, J. Friml, M. Geisler, Development 142 (2015) 712–721.

Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats
F. Javdani, K. Holló, K. Hegeds, G. Kis, Z. Hegyi, K. Dócs, Y. Kasugai, Y. Fukazawa, R. Shigemoto, M. Antal, Journal of Comparative Neurology 523 (2015) 1967–1983.

Computational complexity of ecological and evolutionary spatial dynamics
R. Ibsen-Jensen, K. Chatterjee, M. Nowak, PNAS 112 (2015) 15636–15641.

A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors
K. Heger, M. Kober, D. Rieß, C. Drees, I. de Vries, A. Bertossi, A. Roers, M.K. Sixt, M. Schmidt Supprian, European Journal of Immunology 45 (2015) 1614–1620.

Reporters for sensitive and quantitative measurement of auxin response
C. Liao, W. Smet, G. Brunoud, S. Yoshida, T. Vernoux, D. Weijers, Nature Methods 12 (2015) 207–210.

The lymph node filter revealed
M. Hons, M.K. Sixt, Nature Immunology 16 (2015) 338–340.

Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells
D. Gavello, D.H. Vandael, S. Gosso, E. Carbone, V. Carabelli, Journal of Physiology 593 (2015) 4835–4853.

Auxin-binding pocket of AB is crucial for its gain-of-function cellular and developmental roles
P. Grones, X. Chen, S. Simon, W. Kaufmann, R. De Rycke, T. Nodzyski, E. Zaeímalová, J. Friml, Journal of Experimental Botany 66 (2015) 5055–5065.

Editorial: Emergent neural computation from the interaction of different forms of plasticity
M. Gilson, C. Savin, F. Zenke, Frontiers in Computational Neuroscience 9 (2015).

The classification of endoscopy images with persistent homology
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, D. Malkova, in:, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2015, p. 7034731.

Shape, homology, persistence, and stability
H. Edelsbrunner, in:, 23rd International Symposium, Springer Nature, 2015.

An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds
G. Graff, P. Pilarczyk, Topological Methods in Nonlinear Analysis 45 (2015) 273–286.

A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development
Q. Chen, Y. Liu, S. Maere, E. Lee, G. Van Isterdael, Z. Xie, W. Xuan, J. Lucas, V. Vassileva, S. Kitakura, P. Marhavý, K.T. Wabnik, N. Geldner, E. Benková, J. Le, H. Fukaki, E. Grotewold, C. Li, J. Friml, F. Sack, T. Beeckman, S. Vanneste, Nature Communications 6 (2015).

Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells
M. Chabaud, M. Heuzé, M. Bretou, P. Vargas, P. Maiuri, P. Solanes, M. Maurin, E. Terriac, M. Le Berre, D. Lankar, T. Piolot, R. Adelstein, Y. Zhang, M.K. Sixt, J. Jacobelli, O. Bénichou, R. Voituriez, M. Piel, A. Lennon Duménil, Nature Communications 6 (2015).

An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana
S. Doyle, A. Haegera, T. Vain, A. Rigala, C. Viotti, M. angowskaa, Q. Maa, J. Friml, N. Raikhel, G. Hickse, S. Robert, PNAS 112 (2015) 6–5.

Novel plasticity rule can explain the development of sensorimotor intelligence
R. Der, G.S. Martius, PNAS 112 (2015) 24–32.

Breaking evolutionary constraint with a tradeoff ratchet
M. de Vos, A. Dawid, V. Sunderlíková, S. Tans, PNAS 112 (2015) 14906–14911.

Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.

Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti
T. Chen, C. Hainzl, N. Pavlovi, R. Seiringer, Communications on Pure and Applied Mathematics 68 (2015) 1845–1884.

Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated C currents in Helix serotonergic neurons
O. Brenes, D.H. Vandael, E. Carbone, P. Montarolo, M. Ghirardi, Neuroscience 311 (2015) 430–443.

Birth of a new gene on the Y chromosome of Drosophila melanogaster
A. Carvalho, B. Vicoso, C. Russo, B. Swenor, A. Clark, PNAS 112 (2015) 12450–12455.

Galois groups of Schubert problems of lines are at least alternating
C. Brooks, A. Martin del Campo Sanchez, F. Sottile, Transactions of the American Mathematical Society 367 (2015) 4183–4206.

Triangulations from topologically correct digital Voronoi diagrams
T. Cao, H. Edelsbrunner, T. Tan, Computational Geometry 48 (2015) 507–519.

Gradients are shaping up
M.T. Bollenbach, C.-P.J. Heisenberg, Cell 161 (2015) 431–432.

Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).

Reprint of: Weighted straight skeletons in the plane
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 429–442.

Weighted straight skeletons in the plane
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 120–133.

A simple algorithm for computing positively weighted straight skeletons of monotone polygons
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Information Processing Letters 115 (2015) 243–247.

Quantum interference shifts in laser spectroscopy with elliptical polarization
P. Amaro, F. Fratini, L. Safari, A. Antognini, P. Indelicato, R. Pohl, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 92 (2015).

Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows
S. Altmeyer, Y. Do, Y. Lai, Physical Review E 92 (2015).

Metabolic engineering of cyanobacteria for the synthesis of commodity products
A. Angermayr, A. Gorchs, K. Hellingwerf, Trends in Biotechnology 33 (2015) 352–361.

Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices
Z. Bao, G. Pan, W. Zhou, IEEE Transactions on Information Theory 61 (2015) 3413–3426.

Strategies of seedlings to overcome their sessile nature: Auxin in mobility control
P. dádníková, D. Smet, Q. Zhu, D. Van Der Straeten, E. Benková, Frontiers in Plant Science 6 (2015).

Hanani-Tutte for radial planarity
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.

Representing directed trees as straight skeletons
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 335–347.

Controller synthesis for MDPs and frequency LTL\'47U
V. Forejt, J. Krdál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.

Vertical visibility among parallel polygons in three dimensions
R. Fulek, R. Radoidi, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 373–379.

The Hanoi omega-automata format
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejdek, in:, Springer, 2015, pp. 479–486.

Abstraction-based parameter synthesis for multiaffine systems
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.

Runtime verification for hybrid analysis tools
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, in:, 6th International Conference, Springer Nature, 2015, pp. 281–286.

The complexity of synthesis from probabilistic components
K. Chatterjee, L. Doyen, M. Vardi, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 108–120.

Perturbed hippocampal synaptic inhibition and ;3-oscillations in a neuroligin-4 knockout mouse model of autism
M. Hammer, D. Krueger Burg, L. Tuffy, B. Cooper, H. Taschenberger, S. Goswami, H. Ehrenreich, P.M. Jonas, F. Varoqueaux, J. Rhee, N. Brose, Cell Reports 13 (2015) 516–523.

Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells
M. Strüber, P.M. Jonas, M. Bartos, PNAS 112 (2015) 1220–1225.

Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction
J. Whitfield, W. Zhang, M. Herde, B. Clifton, J. Radziejewski, H.L. Janovjak, C. Henneberger, C. Jackson, Protein Science 24 (2015) 1412–1422.

Cellular cooperation with shift updating and repulsion
A. Pavlogiannis, K. Chatterjee, B. Adlam, M. Nowak, Scientific Reports 5 (2015).

Single-cell screening of photosynthetic growth and lactate production by cyanobacteria
P. Hammar, A. Angermayr, S. Sjostrom, J. Van Der Meer, K. Hellingwerf, E. Hudson, H. Joensson, Biotechnology for Biofuels 8 (2015).

Detailed spatio-temporal reconstruction of eyelids
A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, M. Gross, in:, ACM, 2015.

OmniAD: Data-driven omni-directional aerodynamics
T. Martin, N. Umetani, B. Bickel, in:, ACM, 2015.

Microstructures to control elasticity in 3D printing
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, M. Gross, in:, ACM, 2015.

Design and fabrication of flexible rod meshes
J. Pérez, B. Thomaszewski, S. Coros, B. Bickel, J. Canabal, R. Sumner, M. Otaduy, in:, ACM, 2015.

Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams
F. Da, C. Batty, C. Wojtan, E. Grinspun, in:, ACM, 2015.

Effectiveness of structural restrictions for hybrid CSPs
V. Kolmogorov, M. Rolinek, R. Takhanov, in:, 26th International Symposium, Springer Nature, 2015, pp. 566–577.

A stream function solver for liquid simulations
R. Ando, N. Thuerey, C. Wojtan, in:, ACM, 2015.

Learning shape placements by example
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, in:, ACM, 2015.

Cytokinin response factors regulate PIN-FORMED auxin transporters
M. Simásková, J. O’Brien, M. Khan-Djamei, G. Van Noorden, K. Ötvös, A. Vieten, I. De Clercq, J. Van Haperen, C. Cuesta, K. Hoyerová, S. Vanneste, P. Marhavý, K.T. Wabnik, F. Van Breusegem, M. Nowack, A. Murphy, J. Friml, D. Weijers, T. Beeckman, E. Benková, Nature Communications 6 (2015).

Clustered planarity testing revisited
R. Fulek, J. Kyndl, I. Malinovid, D. Pálvölgyi, Electronic Journal of Combinatorics 22 (2015).

A generalized model for optimal transport of images including dissipation and density modulation
J. Maas, M. Rumpf, C. Schönlieb, S. Simon, ESAIM: Mathematical Modelling and Numerical Analysis 49 (2015) 1745–1769.

A giant molecular proton pump: structure and mechanism of respiratory complex I
L.A. Sazanov, Nature Reviews Molecular Cell Biology 16 (2015) 375–388.

Key-homomorphic constrained pseudorandom functions
A. Banerjee, G. Fuchsbauer, C. Peikert, K.Z. Pietrzak, S. Stevens, in:, 12th Theory of Cryptography Conference, Springer Nature, 2015, pp. 31–60.

A quasipolynomial reduction for generalized selective decryption on trees
G. Fuchsbauer, Z. Jafargholi, K.Z. Pietrzak, in:, Springer, 2015, pp. 601–620.

Efficient zero-knowledge proofs for commitments from learning with errors over rings
F. Benhamouda, S. Krenn, V. Lyubashevsky, K.Z. Pietrzak, 9326 (2015) 305–325.

Query-complexity amplification for random oracles
G. Demay, P. Gazi, U. Maurer, B. Tackmann, in:, Springer, 2015, pp. 159–180.

Practical round-optimal blind signatures in the standard model
G. Fuchsbauer, C. Hanser, D. Slamanig, in:, Springer, 2015, pp. 233–253.

Secret-key cryptography from ideal primitives: A systematic verview
P. Gazi, S. Tessaro, in:, 2015 IEEE Information Theory Workshop, IEEE, 2015.

Generic security of NMAC and HMAC with input whitening
P. Gazi, K.Z. Pietrzak, S. Tessaro, 9453 (2015) 85–109.

Condensed unpredictability 
M. Skórski, A. Golovnev, K.Z. Pietrzak, in:, Springer, 2015, pp. 1046–1057.

Anonymous transferable e-cash
F. Baldimtsi, M. Chase, G. Fuchsbauer, M. Kohlweiss, in:, Public-Key Cryptography - PKC 2015, Springer, 2015, pp. 101–124.

High parallel complexity graphs and memory-hard functions
J.F. Alwen, V. Serbinenko, in:, Proceedings of the 47th Annual ACM Symposium on Theory of Computing, ACM, 2015, pp. 595–603.

Adaptive moment closure for parameter inference of biochemical reaction networks
S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, C. Schilling, 9308 (2015) 77–89.

Long-run average behaviour of probabilistic vector addition systems
T. Brázdil, S. Kiefer, A. Kudera, P. Novotný, in:, IEEE, 2015, pp. 44–55.

Mutations driving CLL and their evolution in progression and relapse
D. Landau, E. Tausch, A. Taylor Weiner, C. Stewart, J. Reiter, J. Bahlo, S. Kluth, I. Boei, M. Lawrence, S. Böttcher, S. Carter, K. Cibulskis, D. Mertens, C. Sougnez, M. Rosenberg, J. Hess, J. Edelmann, S. Kless, M. Kneba, M. Ritgen, A. Fink, K. Fischer, S. Gabriel, E. Lander, M. Nowak, H. Döhner, M. Hallek, D. Neuberg, G. Getz, S. Stilgenbauer, C. Wu, Nature 526 (2015) 525–530.

Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2
K. Kovács, M. Steinmann, O. Halfon, P. Magistretti, J. Cardinaux, Cellular Signalling 27 (2015) 2252–2260.

Optimizing performance of continuous-time stochastic systems using timeout synthesis
T. Brázdil, L. Korendiak, J. Krdál, P. Novotný, V. ehák, 9259 (2015) 141–159.

The rise of fully turbulent flow
D. Barkley, B. Song, M. Vasudevan, G.M. Lemoult, M. Avila, B. Hof, Nature 526 (2015) 550–553.

Incoercible multi-party computation and universally composable receipt-free voting
J.F. Alwen, R. Ostrovsky, H. Zhou, V. Zikas, in:, Advances in Cryptology - CRYPTO 2015, Springer, 2015, pp. 763–780.

The chain rule for HILL pseudoentropy, revisited
K.Z. Pietrzak, M. Skórski, 9230 (2015) 81–98.

The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC
P. Gazi, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2015, pp. 368–387.

Amplifiers of selection
B. Adlam, K. Chatterjee, M. Nowak, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471 (2015).

Relaxing full-codebook security: A refined analysis of key-length extension schemes
P. Gazi, J. Lee, Y. Seurin, J. Steinberger, S. Tessaro, 9054 (2015) 319–341.

PDDL+ planning with hybrid automata: Foundations of translating must behavior
S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle, in:, AAAI Press, 2015, pp. 42–46.

Edge universality for deformed Wigner matrices
J. Lee, K. Schnelli, Reviews in Mathematical Physics 27 (2015).

Taylor's Forest
G.M. Lemoult, P. Maier, B. Hof, Physics of Fluids 27 (2015).

Editorial overview: Cell adhesion and migration
M.K. Sixt, E. Raz, Current Opinion in Cell Biology 36 (2015) 4–6.

Numerous transitions of sex chromosomes in Diptera
B. Vicoso, D. Bachtrog, PLoS Biology 13 (2015).

Navigating in tissue mazes: Chemoattractant interpretation in complex environments
M. Sarris, M.K. Sixt, Current Opinion in Cell Biology 36 (2015) 93–102.

A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.

Bounds for Pach's selection theorem and for the minimum solid angle in a simplex
R. Karasev, J. Kyndl, P. Paták, Z. Patakova, M. Tancer, Discrete &; Computational Geometry 54 (2015) 610–636.

On the decidability of elementary modal logics
J. Michaliszyn, J. Otop, E. Kieroski, ACM Transactions on Computational Logic 17 (2015).

Robust satisfiability of systems of equations
P. Franek, M. Krcál, Journal of the ACM 62 (2015).

Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions
J.A. Letts, L.A. Sazanov, Current Opinion in Structural Biology 33 (2015) 135–145.

Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection
E. Kiermaier, M.K. Sixt, Science 349 (2015) 1055–1056.

Eliminating spurious transitions in reachability with support functions
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, A. Podelski, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–158.

Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3
P. Amaro, B. Franke, J. Krauth, M. Diepold, F. Fratini, L. Safari, J. Machado, A. Antognini, F. Kottmann, P. Indelicato, R. Pohl, J. Santos, Physical Review A 92 (2015).

HYST: A source transformation and translation tool for hybrid automaton models
S. Bak, S. Bogomolov, T. Johnson, in:, Springer, 2015, pp. 128–133.

Temporal logic motion planning using POMDPs with parity objectives: Case study paper
M. Svoreová, M. Chmelik, K. Leahy, H. Eniser, K. Chatterjee, I. Cbrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–238.

Quantitative temporal simulation and refinement distances for timed systems
K. Chatterjee, V. Prabhu, IEEE Transactions on Automatic Control 60 (2015) 2291–2306.

Evaluation techniques for Gutzwiller wave functions in finite dimensions
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physica Status Solidi (B): Basic Solid State Physics 252 (2015) 2059–2071.

High accuracy decoding of dynamical motion from a large retinal population
O. Marre, V. Botella Soler, K. Simmons, T. Mora, G. Tkadik, M. Berry, PLoS Computational Biology 11 (2015).

Adaptive gene introgression after secondary contact
H. Uecker, D. Setter, J. Hermisson, Journal of Mathematical Biology 70 (2015) 1523–1580.

Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states
M. Wysokiski, J. Kaczmarczyk, J. Spaek, Physical Review B 92 (2015).

Thermodynamics and signatures of criticality in a network of neurons
G. Tkadik, T. Mora, O. Marre, D. Amodei, S. Palmer, M. Berry Ii, W. Bialek, PNAS 112 (2015) 11508–11513.

The complexity of multi-mean-payoff and multi-energy games
Y. Velner, K. Chatterjee, L. Doyen, T.A. Henzinger, A. Rabinovich, J. Raskin, Information and Computation 241 (2015) 177–196.

Ultralong-range order in the Fermi-Hubbard model with long-range interactions
E. Van Loon, M. Katsnelson, M. Lemeshko, Physical Review B 92 (2015).

Note on a family of monotone quantum relative entropies
A. Deuchert, C. Hainzl, R. Seiringer, Letters in Mathematical Physics 105 (2015) 1449–1466.

An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas
L. Broadhurst, G. Fifield, B. Vanzella, M. Pickup, Australian Journal of Botany 63 (2015) 455–466.

Multi-task and lifelong learning of kernels
A. Pentina, S. Ben David, in:, Springer, 2015, pp. 194–208.

Drosophila immune cell migration and adhesion during embryonic development and larval immune responses
A. Ratheesh, V. Belyaeva, D.E. Siekhaus, Current Opinion in Cell Biology 36 (2015) 71–79.

Minimal resistance of curves under the single impact assumption
A. Akopyan, A. Plakhov, Society for Industrial and Applied Mathematics 47 (2015) 2754–2769.

Discrete systolic inequalities and decompositions of triangulated surfaces
É. Colin De Verdière, A. Hubard, A.N. de Mesmay, Discrete &; Computational Geometry 53 (2015) 587–620.

Ptc and Gli regulate Shh signalling dynamics via multiple mechanisms
M. Cohen, A. Kicheva, A. Ribeiro, R. Blassberg, K. Page, C. Barnes, J. Briscoe, Nature Communications 6 (2015).

A dimension-reduced pressure solver for liquid simulations
R. Ando, N. Thürey, C. Wojtan, Computer Graphics Forum 34 (2015) 473–480.

Recent advances in facial appearance capture
O. Klehm, F. Rousselle, M. Papas, D. Bradley, C. Hery, B. Bickel, W. Jarosz, T. Beeler, Computer Graphics Forum 34 (2015) 709–733.

Loss-of-function variants of SET cause intellectual disability and the core phenotype of microdeletion 3.3 syndrome
A. Kuechler, A. Zink, T. Wieland, H. Lüdecke, K. Cremer, L. Salviati, P. Magini, K. Najafi, C. Zweier, J. Czeschik, S. Aretz, S. Endele, F. Tamburrino, C. Pinato, M. Clementi, J. Gundlach, C. Maylahn, L. Mazzanti, E. Wohlleber, T. Schwarzmayr, R. Kariminejad, A. Schlessinger, D. Wieczorek, T. Strom, G. Novarino, H. Engels, European Journal of Human Genetics 23 (2015) 753–760.

Strong opto-electro-mechanical coupling in a silicon photonic crystal cavity
A. Pitanti, J.M. Fink, A. Safavi Naeini, J. Hill, C. Lei, A. Tredicucci, O. Painter, Optics Express 23 (2015) 3196–3208.

Transition to turbulence in Taylor-Couette ferrofluidic flow
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).

Basolateral amygdala bidirectionally modulates stress induced hippocampal learning and memory deficits through a /Cdk5-dependent pathway
D. Rei, X. Mason, J. Seo, J. Gräff, A. Rudenko, J. Wang, R. Rueda, S. Siegert, S. Cho, R. Canter, A. Mungenast, K. Deisseroth, L. Tsai, PNAS 112 (2015) 7291–7296.

Sharp interface limit for two components Bose-Einstein condensates
M. Goldman, J. Royo-Letelier, ESAIM - Control, Optimisation and Calculus of Variations 21 (2015) 603–624.

The schizophrenia risk gene product miR-137 alters presynaptic plasticity
S. Siegert, J. Seo, E. Kwon, A. Rudenko, S. Cho, W. Wang, Z. Flood, A. Martorell, M. Ericsson, A. Mungenast, L. Tsai, Nature Neuroscience 18 (2015) 1008–1016.

Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution
M.T. Bollenbach, Current Opinion in Microbiology 27 (2015) 1–9.

Exotic roton excitations in quadrupolar Bose–Einstein condensates 
M. Lahrz, M. Lemeshko, L. Mathey, New Journal of Physics 17 (2015).

Analytical evaluation of atomic form factors: Application to Rayleigh scattering
L. Safari, J. Santos, P. Amaro, K. Jänkälä, F. Fratini, Journal of Mathematical Physics 56 (2015).

Rotation of quantum impurities in the presence of a many-body environment
R. Schmidt, M. Lemeshko, Physical Review Letters 114 (2015).

Guest editors' introduction to special issue on computational methods in systems biology
A. Gupta, T.A. Henzinger, ACM Transactions on Modeling and Computer Simulation 25 (2015).

YAP is essential for tissue tension to ensure vertebrate 3D body shape
S. Porazinski, H. Wang, Y. Asaoka, M. Behrndt, T. Miyamoto, H. Morita, S. Hata, T. Sasaki, G. Krens, Y. Osada, S. Asaka, A. Momoi, S. Linton, J. Miesfeld, B. Link, T. Senga, A. Castillo Morales, A. Urrutia, N. Shimizu, H. Nagase, S. Matsuura, S. Bagby, H. Kondoh, H. Nishina, C.-P.J. Heisenberg, M. Furutani Seiki, Nature 521 (2015) 217–221.

Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , AAAI Press, 2015, pp. 3496–3502.

Water wave animation via wavefront parameter interpolation
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 34 (2015).

Limits to adaptation along environmental gradients
J. Polechova, N.H. Barton, PNAS 112 (2015) 6401–6406.

Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana
M. Zwiewka, T. Nodzyski, S. Robert, S. Vanneste, J. Friml, Molecular Plant 8 (2015) 1175–1187.

Systematic discovery of drug interaction mechanisms
G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).

Evolutionary games of condensates in coupled birth-death processes
J. Knebel, M. Weber, T.H. Krüger, E. Frey, Nature Communications 6 (2015).

Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies
P. Kappeler, S. Cremer, C. Nunn, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).

Invariant measures of genetic recombination process
A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015) 163–167.

Segment abstraction for worst-case execution time analysis
P. Cerny, T.A. Henzinger, L. Kovács, A. Radhakrishna, J. Zwirchmayr, 9032 (2015) 105–131.

Assume-guarantee synthesis for concurrent reactive programs with partial information
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.

Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
T. Brázdil, K. Chatterjee, V. Forejt, A. Kudera, 9035 (2015) 181–187.

Subcritical versus supercritical transition to turbulence in curved pipes
J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, B. Hof, Journal of Fluid Mechanics 770 (2015).

FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors
B. Schwamb, R. Pick, S. Fernández, K. Völp, J. Heering, V. Dötsch, S. Bösser, J. Jung, R. Beinoravidiute Kellner, J. Wesely, I. Zörnig, M. Hammerschmidt, M. Nowak, R. Penzel, K. Zatloukal, S. Joos, R. Rieker, A. Agaimy, S. Söder, K. Reid Lombardo, M. Kendrick, M. Bardsley, Y. Hayashi, D. Asuzu, S. Syed, T. Ördög, M. Zörnig, International Journal of Cancer 137 (2015) 1318–1329.

Refinement checking on parametric modal transition systems
N. Benes, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, J. Srba, Acta Informatica 52 (2015) 269–297.

Excitement about inhibitory presynaptic terminals
D.H. Vandael, C. Espinoza Martinez, P.M. Jonas, Neuron 85 (2015) 1149–1151.

Optimal Kullback-Leibler aggregation via information bottleneck
B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.

A new look at reweighted message passing
V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (2015) 919–930.

Calcium is an organizer of cell polarity in plants
E. Himschoot, T. Beeckman, J. Friml, S. Vanneste, Biochimica et Biophysica Acta - Molecular Cell Research 1853 (2015) 2168–2172.

AB: Finally docking
P. Grones, J. Friml, Molecular Plant 8 (2015) 356–358.

Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates
S. Novak, S. Cremer, Journal of Theoretical Biology 372 (2015) 54–64.

Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating
T. Priklopil, E. Kisdi, M. Gyllenberg, Evolution 69 (2015) 1015–1026.

A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle
N. Shah, V. Kolmogorov, C. Lampert, in:, IEEE, 2015, pp. 2737–2745.

Classifier adaptation at prediction time
A. Royer, C. Lampert, in:, IEEE, 2015, pp. 1401–1409.

Predicting the future behavior of a time-varying probability distribution
C. Lampert, in:, IEEE, 2015, pp. 942–950.

Curriculum learning of multiple tasks
A. Pentina, V. Sharmanska, C. Lampert, in:, IEEE, 2015, pp. 5492–5500.

Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection
J. Hühner, Á. Inglés Prieto, C. Neusüß, M. Lämmerhofer, H.L. Janovjak, Electrophoresis 36 (2015) 518–525.

Plant embryogenesis requires AUX/LAX-mediated auxin influx
H. Robert, W. Grunewald, M. Sauer, B. Cannoot, M. Soriano, R. Swarup, D. Weijers, M. Bennett, K. Boutilier, J. Friml, Development 142 (2015) 702–711.

Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances
Y. Park, Y. Do, S. Altmeyer, Y. Lai, G. Lee, Physical Review E 91 (2015).

The Altshuler–Shklovskii formulas for random band matrices II: The general case
L. Erdös, A. Knowles, Annales Henri Poincare 16 (2015) 709–799.

Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks
J. Ruess, J. Lygeros, ACM Transactions on Modeling and Computer Simulation 25 (2015).

The equivalence problem for finite automata: Technical perspective
T.A. Henzinger, J. Raskin, Communications of the ACM 58 (2015) 86–86.

Auxin transporters and binding proteins at a glance
P. Grones, J. Friml, Journal of Cell Science 128 (2015) 1–7.

A three-plane architectonic atlas of the rat hippocampal region
C.N. Boccara, L. Kjønigsen, I. Hammer, J. Bjaalie, T. Leergaard, M. Witter, Hippocampus 25 (2015) 838–857.

POMDPs under probabilistic semantics
K. Chatterjee, M. Chmelik, Artificial Intelligence 221 (2015) 46–72.

Developing 3D SEM in a broad biological context
A. Kremer, S. Lippens, S. Bartunkova, B. Asselbergh, C. Blanpain, M. Fendrych, A. Goossens, M. Holt, S. Janssens, M. Krols, J. Larsimont, C. Mc Guire, M. Nowack, X. Saelens, A. Schertel, B. Schepens, M. Slezak, V. Timmerman, C. Theunis, R. Van Brempt, Y. Visser, C. Guérin, Journal of Microscopy 259 (2015) 80–96.

Superfluid behavior of a Bose-Einstein condensate in a random potential
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, New Journal of Physics 17 (2015).

Compositionality for quantitative specifications
U. Fahrenberg, J. Kretinsky, A. Legay, L. Traonouez, in:, Springer, 2015, pp. 306–324.

Anomalous scaling in an age-dependent branching model
S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, K. Klemm, Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).

Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula
E. Cires Rodriguez, J. Prieto, Journal of Plant Research 128 (2015) 223–238.

Positional information, positional error, and readout precision in morphogenesis: A mathematical framework
G. Tkadik, J. Dubuis, M. Petkova, T. Gregor, Genetics 199 (2015) 39–59.

Optimizing information flow in small genetic networks. IV. Spatial coupling
T.R. Sokolowski, G. Tkadik, Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).

On the distribution of local extrema in quantum chaos
F. Pausinger, S. Steinerberger, Physics Letters, Section A 379 (2015) 535–541.

Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants
H. Rakusová, M. Fendrych, J. Friml, Current Opinion in Plant Biology 23 (2015) 116–123.

Succinct representation of concurrent trace sets
A. Gupta, T.A. Henzinger, A. Radhakrishna, R. Samanta, T. Tarrach, in:, ACM, 2015, pp. 433–444.

The three-state toric homogeneous Markov chain model has Markov degree two
P. Noren, Journal of Symbolic Computation 68/Part 2 (2015) 285–296.

Iterative scaling in curved exponential families
A. Klimova, T. Rudas, Scandinavian Journal of Statistics 42 (2015) 832–847.

The monotone secant conjecture in the real Schubert calculus
N. Hein, C. Hillar, A. Martin del Campo Sanchez, F. Sottile, Z. Teitler, Experimental Mathematics 24 (2015) 261–269.

Faithfulness and learning hypergraphs from discrete distributions
A. Klimova, C. Uhler, T. Rudas, Computational Statistics &; Data Analysis 87 (2015) 57–72.

The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins
D. Kawada, H. Kobayashi, T. Tomita, E. Nakata, M. Nagano, D.E. Siekhaus, J. Toshima, J. Toshimaa, Biochimica et Biophysica Acta - Molecular Cell Research 1853 (2015) 144–156.

A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow
L. Shi, M. Rampp, B. Hof, M. Avila, Computers and Fluids 106 (2015) 1–11.

The persistent homology of a self-map
H. Edelsbrunner, G. Jablonski, M. Mrozek, Foundations of Computational Mathematics 15 (2015) 1213–1244.

Probabilistic opacity for Markov decision processes
B. Bérard, K. Chatterjee, N. Sznajder,  Information Processing Letters 115 (2015) 52–59.

Collective excitations of Bose gases in the mean-field regime
P. Nam, R. Seiringer, Archive for Rational Mechanics and Analysis 215 (2015) 381–417.

The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case
L. Erdös, A. Knowles, Communications in Mathematical Physics 333 (2015) 1365–1416.

Aspect-oriented linearizability proofs
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015).

The power of linear programming for general-valued CSPs
V. Kolmogorov, J. Thapper, S. divný, SIAM Journal on Computing 44 (2015) 1–36.

Pairs of diagonal quadratic forms and linear correlations among sums of two squares
T.D. Browning, R. Munshi, Forum Mathematicum 27 (2015) 2025–2050.

A survey of applications of the circle method to rational points
T.D. Browning, in:, Arithmetic and Geometry, Cambridge University Press, 2015, pp. 89–113.

Rational points on cubic hypersurfaces over F_q(t) 
T.D. Browning, P. Vishe, Geometric and Functional Analysis 25 (2015) 671–732.

Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, Theoretical Computer Science 573 (2015) 71–89.

Homological reconstruction and simplification in 
D. Attali, U. Bauer, O. Devillers, M. Glisse, A. Lieutier, Computational Geometry: Theory and Applications 48 (2015) 606–621.

Efficient and inexpensive sodium magnesium hybrid battery
M. Walter, K. Kravchyk, M. Ibáñez, M. Kovalenko, Chemistry of Materials 27 (2015) 7452–7458.

Electron doping in bottom up engineered thermoelectric nanomaterials through HCl mediated ligand displacement
M. Ibáñez, R. Korkosz, Z. Luo, P. Riba, D. Cadavid, S. Ortega, A. Cabot, M. Kanatzidis, Journal of the American Chemical Society 137 (2015) 4046–4049.

Cu2ZnSn-AS nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting
X. Yu, J. Liu, A. Genç, M. Ibáñez, Z. Luo, A. Shavel, J. Arbiol, G. Zhang, Y. Zhang, A. Cabot, Langmuir 31 (2015) 10555–10561.

Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties
Z. Lu, M. Ibáñez, A. Antolín, A. Genç, A. Shavel, S. Contreras, F. Medina, J. Arbiol, A. Cabot, Langmuir 31 (2015) 3952–3957.

Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, Information and Computation 245 (2015) 3–16.

Cu2ZnSn–AS Nanoscale p–n heterostructures as sensitizers for photoelectrochemical water splitting
X. Yu, J. Liu, A. Genç, M. Ibáñez, Z. Luo, A. Shavel, J. Arbiol, G. Zhang, Y. Zhang, A. Cabot, Langmuir 31 (2015) 10555–10561.

Cu2ZnSn–PtM (M = Co, Ni) nanoheterostructures for photocatalytic hydrogen evolution
X. Yu, X. An, A. Genç, M. Ibáñez, J. Arbiol, Y. Zhang, A. Cabot, Journal of Physical Chemistry C 119 (2015) 21882–21888.

Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, Journal of the ACM 62 (2015).

Confinement deconfinement transition as an indication of spin liquid type behavior in NIrO3
Z. Alpichshev, F. Mahmood, G. Cao, N. Gedik, Physical Review Letters 114 (2015).

Improved algorithms for one-pair and k-pair Streett objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.

Derivation of nonlinear gibbs measures from many-body quantum mechanics
M. Lewin, P. Nam, N. Rougerie, Journal de l’Ecole Polytechnique - Mathematiques 2 (2015) 65–115.

The serotonin receptor 5-HR regulates the morphology and migratory properties of dendritic cells
K. Holst, D. Guseva, S. Schindler, M.K. Sixt, A. Braun, H. Chopra, O. Pabst, E. Ponimaskin, Journal of Cell Science 128 (2015) 2866–2880.

Looking at mean-payoff and total-payoff through windows
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, Information and Computation 242 (2015) 25–52.

EIN2-directed translational regulation of ethylene signaling in arabidopsis
W. Li, M. Ma, Y. Feng, H. Li, Y. Wang, Y. Ma, M. Li, F. An, H. Guo, Cell 163 (2015) 670–683.

Qualitative analysis of concurrent mean payoff games
K. Chatterjee, R. Ibsen-Jensen, Information and Computation 242 (2015) 2–24.

Automatic generation of alternative starting positions for simple traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI Press, 2015, pp. 745–752.

Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, IEEE, 2015, pp. 325–330.

The patience of concurrent stochastic games with safety and reachability objectives
K. Chatterjee, R. Ibsen-Jensen, K. Hansen, The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives, IST Austria, 2015.

Optimal cost indefinite-horizon reachability in goal DEC-POMDPs
1 Anonymous, 2 Anonymous, Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs, IST Austria, 2015.

Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komárková, J. Kretinsky, (2015) 244–256.

Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.

Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.

Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.

Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2015.

The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, in:, LICS, IEEE, 2015, pp. 750–761.

Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 121–133.

Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs, IST Austria, 2015.

Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs, IST Austria, 2015.

The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, The Target Discounted-Sum Problem, IST Austria, 2015.

Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Edit Distance for Pushdown Automata, IST Austria, 2015.

The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolutionary Games on Graphs, IST Austria, 2015.

The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolutionary Games on Graphs, IST Austria, 2015.

Reconstructing robust phylogenies of metastatic cancers
J. Reiter, A. Makohon-Moore, J. Gerold, I. Bozic, K. Chatterjee, C. Iacobuzio-Donahue, B. Vogelstein, M. Nowak, Reconstructing Robust Phylogenies of Metastatic Cancers, IST Austria, 2015.

A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
K. Chatterjee, M. Chmelik, J. Davies, A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs, IST Austria, 2015.

From prima quadraginta octant to lattice sphere through primitive integer operations
R. Biswas, P. Bhowmick, Theoretical Computer Science 624 (2015) 56–72.

On different topological classes of spherical geodesic paths and circles inZ3
R. Biswas, P. Bhowmick, Theoretical Computer Science 605 (2015) 146–163.

Layer the sphere
R. Biswas, P. Bhowmick, The Visual Computer 31 (2015) 787–797.

Structural basis of transcription initiation by RNA polymerase II
S. Sainsbury, C. Bernecky, P. Cramer, Nature Reviews Molecular Cell Biology 16 (2015) 129–143.

On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–490.

Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity
L.A. Fenk, M. de Bono, Proceedings of the National Academy of Sciences 112 (2015) 25–34.

Decoding a neural circuit controlling global animal state in C. elegans
P. Laurent, Z. Soltesz, G.M. Nelson, C. Chen, F. Arellano-Carbajal, E. Levy, M. de Bono, ELife 4 (2015).

The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258.

Structural basis for collagen recognition by the immune receptor OSCAR
L. Zhou, J.M. Hinerman, M. Blaszczyk, J.L.C. Miller, D.G. Conrady, A.D. Barrow, D.Y. Chirgadze, D. Bihan, R.W. Farndale, A.B. Herr, Blood 127 (2015) 529–537.

Achieving Marton’s region for broadcast channels using polar codes
M. Mondelli, H. Hassani, I. Sason, R. Urbanke, IEEE Transactions on Information Theory 61 (2015) 783–800.

Scaling exponent of list decoders with applications to polar codes
M. Mondelli, H. Hassani, R. Urbanke, IEEE Transactions on Information Theory 61 (2015) 4838–4851.

Magnetization of underdoped YBCu3Oy above the irreversibility field
J.F. Yu, B.J. Ramshaw, I. Kokanovi, K.A. Modic, N. Harrison, J. Day, R. Liang, W.N. Hardy, D.A. Bonn, A. McCollam, S.R. Julian, J.R. Cooper, Physical Review B 92 (2015).

Solvothermal synthesis and controlled self-assembly of monodisperse titanium-based perovskite colloidal nanocrystals
D. Caruntu, T. Rostamzadeh, T. Costanzo, S. Salemizadeh Parizi, G. Caruntu, Nanoscale 7 (2015) 12955–12969.

Fabrication of barium titanate/acrylonitrile-butadiene styrene/poly(methyl methacrylate) nanocomposite films for hybrid ferroelectric capacitors
S.S. Parizi, G. Conley, T. Costanzo, B. Howell, A. Mellinger, G. Caruntu, RSC Advances 5 (2015) 76356–76362.

Population genetic differentiation of height and body mass index across Europe
M.R. Robinson, G. Hemani, C. Medina-Gomez, M. Mezzavilla, T. Esko, K. Shakhbazov, J.E. Powell, A. Vinkhuyzen, S.I. Berndt, S. Gustafsson, A.E. Justice, B. Kahali, A.E. Locke, T.H. Pers, S. Vedantam, A.R. Wood, W. van Rheenen, O.A. Andreassen, P. Gasparini, A. Metspalu, L.H. van den Berg, J.H. Veldink, F. Rivadeneira, T.M. Werge, G.R. Abecasis, D.I. Boomsma, D.I. Chasman, E.J.C. de Geus, T.M. Frayling, J.N. Hirschhorn, J.J. Hottenga, E. Ingelsson, R.J.F. Loos, P.K.E. Magnusson, N.G. Martin, G.W. Montgomery, K.E. North, N.L. Pedersen, T.D. Spector, E.K. Speliotes, M.E. Goddard, J. Yang, P.M. Visscher, Nature Genetics 47 (2015) 1357–1362.

Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird
M.J. Adams, M.R. Robinson, M.-E. Mannarelli, B.J. Hatchwell, Proceedings of the Royal Society B: Biological Sciences 282 (2015).

Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations
A.W. Santure, J. Poissant, I. De Cauwer, K. van Oers, M.R. Robinson, J.L. Quinn, M.A.M. Groenen, M.E. Visser, B.C. Sheldon, J. Slate, Molecular Ecology 24 (2015) 6148–6162.

The SprayList: A scalable relaxed priority queue
D.-A. Alistarh, J. Kopinsky, J. Li, N. Shavit, in:, ACM, 2015, pp. 11–20.

The principle of independent bond-level response: Tuning by pruning to exploit disorder for global behavior
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 114 (2015).

Collective dynamics of soft active particles
R. van Drongelen, A. Pal, C.P. Goodrich, T. Idema, Physical Review E 91 (2015).

Disordered surface vibrations in jammed sphere packings
D.M. Sussman, C.P. Goodrich, A.J. Liu, S.R. Nagel, Soft Matter 11 (2015) 2745–2751.

Streaming min-max hypergraph partitioning
D.-A. Alistarh, J. Iglesias, M. Vojnovi, in:, Neural Information Processing Systems, 2015, pp. 1900–1908.

Inherent limitations of hybrid transactional memory
D.-A. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, N. Shavit, in:, Springer, 2015, pp. 185–199.

Unearthing the anticrystal: Criticality in the linear response of  disordered solids
C.P. Goodrich, ArXiv:1510.08820 (2015).

ThreadScan: Automatic and scalable memory reclamation
D.-A. Alistarh, A. Matveev, W. Leiserson, N. Shavit, in:, ACM, 2015, pp. 123–132.

Polylogarithmic-time leader election in population protocols
D.-A. Alistarh, R. Gelashvili, in:, Springer, 2015, pp. 479–491.

Fast and exact majority in population protocols
D.-A. Alistarh, R. Gelashvili, M. Vojnovi, in:, ACM, 2015, pp. 47–56.

Lock-Free algorithms under stochastic schedulers
D.-A. Alistarh, T. Sauerwald, M. Vojnovi, in:, ACM, 2015, pp. 251–260.

How to elect a leader faster than a tournament
D.-A. Alistarh, R. Gelashvili, A. Vladu, in:, ACM, 2015, pp. 365–374.

A high-radix, low-latency optical switch for data centers
D.-A. Alistarh, H. Ballani, P. Costa, A. Funnell, J. Benjamin, P. Watts, B. Thomsen, in:, ACM, 2015, pp. 367–368.

Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis
J. Engel, P.S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, F. Routier, Glycobiology 25 (2015) 1423–1430.

The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the  domain in assembly
F.K. Schur, R. Dick, W. Hagen, V. Vogt, J. Briggs, Journal of Virology 89 (2015) 10294–10302.

Structure of the immature HIV-1 capsid in intact virus particles at 8.8 Å resolution
F.K. Schur, W. Hagen, M. Rumlová, T. Ruml, B. Müller, H. Kraüsslich, J. Briggs, Nature 517 (2015) 505–508.

Generation of recombinant Fc;5RI;1 of dog, cat and horse for component-resolved allergy diagnosis in veterinary patients
L. Einhorn, J. Singer, M. Muhr, A. Schoos, K. Oida, J. Singer, L. Panakova, K. Manzano-Szalai, E. Jensen-Jarolim, Journal of Allergy and Clinical Immunology 135 (2015).

Real time analysis of lateral root organogenesis in arabidopsis
P. Marhavý, E. Benková, Bio-Protocol 5 (2015).

Observing the overall rocking motion of a protein in a crystal
P. Ma, Y. Xue, N. Coquelle, J.D. Haller, T. Yuwen, I. Ayala, O. Mikhailovskii, D. Willbold, J.-P. Colletier, N.R. Skrynnikov, P. Schanda, Nature Communications 6 (2015).

Conformational exchange processes in biological systems: Detection by solid-state NMR
P. Ma, P. Schanda, EMagRes 4 (2015) 699–708.

A model of substitution trajectories in sequence space and long-term protein evolution
D. Usmanova, L. Ferretti, I. Povolotskaya, P. Vlasov, F. Kondrashov, Molecular Biology and Evolution 32 (2015) 542–554.

Arnold diffusion for smooth convex systems of two and a half degrees of freedom
V. Kaloshin, K. Zhang, Nonlinearity 28 (2015) 2699–2720.

Growth of Sobolev norms in the cubic defocusing nonlinear Schrödinger equation
M. Guardia, V. Kaloshin, Journal of the European Mathematical Society 17 (2015) 71–149.

Artificial rheotaxis
J.A. Palacci, S. Sacanna, A. Abramian, J. Barral, K. Hanson, A.Y. Grosberg, D.J. Pine, P.M. Chaikin, Science Advances 1 (2015).

Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer
O. Arkhipova, M. Meer, G. Mikoulinskaia, M. Zakharova, A. Galushko, V. Akimenko, F. Kondrashov, PLoS One 10 (2015).

A three-dimensional map of tidal dissipation over abyssal hills
A. Lefauve, C.J. Muller, A. Melet, Journal of Geophysical Research: Oceans 120 (2015) 4760–4777.

Assembly and positioning of actomyosin rings by contractility and planar cell polarity
I. Sehring, P. Recho, E. Denker, M. Kourakis, B. Mathiesen, E.B. Hannezo, B. Dong, D. Jiang, ELife 4 (2015).

Cycles and matchings in randomly perturbed digraphs and hypergraphs
M. Krivelevich, M.A. Kwan, B. Sudakov, Electronic Notes in Discrete Mathematics 49 (2015) 181–187.

A new dislocation-density-function dynamics scheme for computational crystal plasticity by explicit consideration of dislocation elastic interactions
H.S. Leung, P.S.S. Leung, B. Cheng, A.H.W. Ngan, International Journal of Plasticity 67 (2015) 1–25.

Solid-liquid interfacial free energy out of equilibrium
B. Cheng, G.A. Tribello, M. Ceriotti, Physical Review B - Condensed Matter and Materials Physics 92 (2015).

Excel file containing the raw data for all figures
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D.H. Ayhan, E. Toprak, M.T. Bollenbach, (2015).

A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, R. Paxton, Journal of Animal Ecology 84 (2015) 615–624.

Opposing effects of allogrooming on disease transmission in ant societies
F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).

Data from: Opposing effects of allogrooming on disease transmission in ant societies
F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, (2015).

Supporting information text
T. Friedlander, A.E. Mayo, T. Tlusty, U. Alon, (2015).

DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots
O. Symonova, C. Topp, H. Edelsbrunner, PLoS One 10 (2015).

Root traits computed by DynamicRoots for the maize root shown in fig 2
O. Symonova, C. Topp, H. Edelsbrunner, (2015).

Evolution of bow-tie architectures in biology
T. Friedlander, A. Mayo, T. Tlusty, U. Alon, PLoS Computational Biology 11 (2015).

Indirect genetic effects and the dynamics of social interactions
B. Trubenova, S. Novak, R. Hager, PLoS One 10 (2015).

Description of the agent based simulations
B. Trubenova, S. Novak, R. Hager, (2015).

Evolutionary simulation code
T. Friedlander, A.E. Mayo, T. Tlusty, U. Alon, (2015).

Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators
I. Zeljkovic, Y. Okada, M. Serbyn, R. Sankar, D. Walkup, W. Zhou, J. Liu, G. Chang, Y. Wang, M. Hasan, F. Chou, H. Lin, A. Bansil, L. Fu, V. Madhavan, Nature Materials 14 (2015) 318–324.

Criterion for many-body localization-delocalization phase transition
M. Serbyn, Z. Papi, D. Abanin, Physical Review X 5 (2015).

Parity lifetime of bound states in a proximitized semiconductor nanowire
A.P. Higginbotham, S.M. Albrecht, G. Kirsanskas, W. Chang, F. Kuemmeth, P. Krogstrup, T. Jespersen, J. Nygård, K. Flensberg, C. Marcus, Nature Physics 11 (2015) 1017–1021.

A note on micro-instability for Hamiltonian systems close to integrable
A. Bounemoura, V. Kaloshin, Proceedings of the American Mathematical Society 144 (2015) 1553–1560.

Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMT
C. Kretz, M. Dai, O. Soylemez, A. Yee, K. Desch, D. Siemieniak, K. Tomberg, F. Kondrashov, F. Meng, D. Ginsburg, PNAS 112 (2015) 9328–9333.

Topological features of rugged fitness landscapes in sequence space
D. Kondrashov, F. Kondrashov, Trends in Genetics 31 (2015) 24–33.

Structural insight into how the human helicase subunit MCM2 may act as a histone chaperone together with AS at the replication fork
N. Richet, D. Liu, P. Legrand, C. Velours, A. Corpet, A. Gaubert, M.M. Bakail, G. Moal-Raisin, R. Guerois, C. Compper, A. Besle, B. Guichard, G. Almouzni, F. Ochsenbein, Nucleic Acids Research 43 (2015) 1905–1917.

Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop
R. Boubaker, V. Platel, A. Bergès, M. Bancelin, E.B. Hannezo, Applied Thermal Engineering 76 (2015) 1–8.

Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes
E.B. Hannezo, B. Dong, P. Recho, J. Joanny, S. Hayashi, PNAS 112 (2015) 8620–8625.

Physics of active jamming during collective cellular motion in a monolayer
S. García, E.B. Hannezo, J. Elgeti, J. Joanny, P. Silberzan, N. Gov, PNAS 112 (2015) 15314–15319.

Evolution and function of genomic imprinting in plants
J.A. Rodrigues, D. Zilberman, Genes and Development 29 (2015) 2517–2531.

Size dependence of yield strength simulated by a dislocation-density function dynamics approach
P.S.S. Leung, H.S. Leung, B. Cheng, A.H.W. Ngan, Modelling and Simulation in Materials Science and Engineering 23 (2015).

An exploration of the universe of polyglutamine structures
À. Gómez Sicilia, M.K. Sikora, M. Cieplak, M. Carrión Vázquez, PLoS Computational Biology 11 (2015).

Other fitness models for comparison & for interacting TFBSs
M. Tugrul, T. Paixao, N.H. Barton, G. Tkadik, (2015).

An exploration of the universe of polyglutamine structures - submission to PLOS journals
À. Gómez Sicilia, M.K. Sikora, M. Cieplak, M. Carrión Vázquez, (2015).

Mathematical inference of the results
B. Trubenova, S. Novak, R. Hager, (2015).

Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).

Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, (2015).

Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D.H. Ayhan, E. Toprak, M.T. Bollenbach, (2015).

Unraveling the hydrology of a Himalayan catchment through integration of high resolution in situ data and remote sensing with an advanced simulation model
S. Ragettli, F. Pellicciotti, W.W. Immerzeel, E.S. Miles, L. Petersen, M. Heynen, J.M. Shea, D. Stumm, S. Joshi, A. Shrestha, Advances in Water Resources 78 (2015) 94–111.

Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999
F. Pellicciotti, C. Stephan, E. Miles, S. Herreid, W.W. Immerzeel, T. Bolch, Journal of Glaciology 61 (2015) 373–386.

Modeling 2m air temperatures over mountain glaciers: Exploring the influence of katabatic cooling and external warming
A. Ayala, F. Pellicciotti, J.M. Shea, Journal of Geophysical Research: Atmospheres 120 (2015) 3139–3157.

A comparative high-altitude meteorological analysis from three catchments in the Nepalese Himalaya
J.M. Shea, P. Wagnon, W.W. Immerzeel, R. Biron, F. Brun, F. Pellicciotti, International Journal of Water Resources Development 31 (2015) 174–200.

Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya
J.F. Steiner, F. Pellicciotti, P. Buri, E.S. Miles, W.W. Immerzeel, T.D. Reid, Journal of Glaciology 61 (2015) 889–907.

Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014
S. Herreid, F. Pellicciotti, A. Ayala, A. Chesnokova, C. Kienholz, J. Shea, A. Shrestha, Journal of Glaciology 61 (2015) 524–536.

Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites
C. Veldkamp, E. Kiermaier, S. Gabel Eissens, M. Gillitzer, D. Lippner, F. Disilvio, C. Mueller, P. Wantuch, G. Chaffee, M. Famiglietti, D. Zgoba, A. Bailey, Y. Bah, S. Engebretson, D. Graupner, E. Lackner, V. Larosa, T. Medeiros, M. Olson, A. Phillips, H. Pyles, A. Richard, S. Schoeller, B. Touzeau, L. Williams, M.K. Sixt, F. Peterson, Biochemistry 54 (2015) 4163–4166.

Quantifying self-organizing behavior of autonomous robots
G.S. Martius, E. Olbrich, in:, Proceedings of the 13th European Conference on Artificial Life, MIT Press, 2015, p. 78.

The chromatin remodeler SPLAYED negatively regulates SN-mediated immunity
K.C.M. Johnson, S. Xia, X. Feng, X. Li, Plant and Cell Physiology 56 (2015) 1616–1623.

Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks
H. Zhao, S. Sen, T. Udayabhaskararao, M. Sawczyk, K. Kudanda, D. Manna, P.K. Kundu, J.-W. Lee, P. Král, R. Klajn, Nature Nanotechnology 11 (2015) 82–88.

Light-controlled self-assembly of non-photoresponsive nanoparticles
P.K. Kundu, D. Samanta, R. Leizrowice, B. Margulis, H. Zhao, M. Börner, T. Udayabhaskararao, D. Manna, R. Klajn, Nature Chemistry 7 (2015) 646–652.

Orthogonal light-induced self-assembly of nanoparticles using differently substituted azobenzenes
D. Manna, T. Udayabhaskararao, H. Zhao, R. Klajn, Angewandte Chemie International Edition 54 (2015) 12394–12397.

Dual-responsive nanoparticles that aggregate under the simultaneous action of light and CO2
J.-W. Lee, R. Klajn, Chemical Communications 51 (2015) 2036–2039.

Tailoring the properties of surface-immobilized azobenzenes by monolayer dilution and surface curvature
T. Moldt, D. Brete, D. Przyrembel, S. Das, J.R. Goldman, P.K. Kundu, C. Gahl, R. Klajn, M. Weinelt, Langmuir 31 (2015) 1048–1057.

Magnetic field-induced self-assembly of iron oxide nanocubes
G. Singh, H. Chan, T. Udayabhaskararao, E. Gelman, D. Peddis, A. Baskin, G. Leitus, P. Král, R. Klajn, Faraday Discussions 181 (2015) 403–421.

Field-assisted self-assembly process: General discussion
Y. Sun, L. Scarabelli, N. Kotov, M. Tebbe, X.-M. Lin, W. Brullot, L. Isa, P. Schurtenberger, H. Moehwald, I. Fedin, O. Velev, D. Faivre, C. Sorensen, R. Perzynski, M. Chanana, Z. Li, F. Bresme, P. Král, E. Firlar, D. Schiffrin, J.B. Souza Junior, A. Fery, E. Shevchenko, O. Tarhan, A.P. Alivisatos, S. Disch, R. Klajn, S. Ghosh, Faraday Discussions 181 (2015) 463–479.

Theoretical study of molecular electronic and rotational coherences by high-order-harmonic generation
S.B. Zhang, D.R. Baykusheva, P.M. Kraus, H.J. Wörner, N. Rohringer, Physical Review A 91 (2015).

Observation of laser-induced electronic structure in oriented polyatomic molecules
P.M. Kraus, O.I. Tolstikhin, D.R. Baykusheva, A. Rupenyan, J. Schneider, C.Z. Bisgaard, T. Morishita, F. Jensen, L.B. Madsen, H.J. Wörner, Nature Communications 6 (2015).

Measurement and laser control of attosecond charge migration in ionized iodoacetylene
P.M. Kraus, B. Mignolet, D.R. Baykusheva, A. Rupenyan, L. Horný, E.F. Penka, G. Grassi, O.I. Tolstikhin, J. Schneider, F. Jensen, L.B. Madsen, A.D. Bandrauk, F. Remacle, H.J. Wörner, Science 350 (2015) 790–795.

Attosecond charge migration and its laser control
P.M. Kraus, B. Mignolet, D.R. Baykusheva, A. Rupenyan, L. Horný, E.F. Penka, O.I. Tolstikhin, J. Schneider, F. Jensen, L.B. Madsen, A.D. Bandrauk, F. Remacle, H.J. Wörner, Journal of Physics: Conference Series 635 (2015).

Resolving the dynamics of valence-shell electrons and nuclei through laser-induced diffraction and holography
S.G. Walt, N.B. Ram, A. von Conta, D.R. Baykusheva, M. Atala, H.J. Wörner, Journal of Physics: Conference Series 635 (2015).

Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, (2015).

Learning with attributes for object recognition: Parametric and non-parametrics views
V. Sharmanska, Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views, Institute of Science and Technology Austria, 2015.

Biological auctions with multiple rewards
J. Reiter, A. Kanodia, R. Gupta, M. Nowak, K. Chatterjee, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).

The subclonal evolution of cancer
J. Reiter, The Subclonal Evolution of Cancer, Institute of Science and Technology Austria, 2015.

A Koksma-Hlawka inequality for general discrepancy systems
F. Pausinger, A. Svane, Journal of Complexity 31 (2015) 773–797.

On the approximation of intrinsic volumes
F. Pausinger, On the Approximation of Intrinsic Volumes, Institute of Science and Technology Austria, 2015.

Dynamics of transcription factor binding site evolution
M. Tugrul, T. Paixao, N.H. Barton, G. Tkadik, PLoS Genetics 11 (2015).

Complete composition operators for IOCO-testing theory
N. Benes, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.

CEGAR for compositional analysis of qualitative properties in Markov decision processes
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.

Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.

Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT  50 (2015) 539–551.

Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.

A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, in:, Real-Time Systems Symposium, IEEE, 2015, pp. 118–127.

High-resolution brittle fracture simulation with boundary elements
D. Hahn, C. Wojtan, in:, ACM, 2015.

Cortical contractility triggers a stochastic switch to fast amoeboid cell motility
V. Ruprecht, S. Wieser, A. Callan Jones, M. Smutny, H. Morita, K. Sako, V. Barone, M. Ritsch Marte, M.K. Sixt, R. Voituriez, C.-P.J. Heisenberg, Cell 160 (2015) 673–685.

PIN-dependent auxin transport: Action, regulation, and evolution
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.

The local semicircle law for random matrices with a fourfold symmetry
J. Alt, Journal of Mathematical Physics 56 (2015).

Light-assisted small-molecule screening against protein kinases
Á. Inglés Prieto, E. Gschaider-Reichhart, M. Muellner, M. Nowak, S. Nijman, M. Grusch, H.L. Janovjak, Nature Chemical Biology 11 (2015) 952–954.

Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation
S.A. Cepeda Humerez, G. Rieckh, G. Tkadik, Physical Review Letters 115 (2015).

Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, I. Mabillard, A. Skopenkov, U. Wagner, ArXiv (n.d.).

Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.

Algorithms for algebraic path properties in concurrent systems of constant treewidth components
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cbrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–268.

From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, 9207 (2015) 180–197.

Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.

Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene
J. Michalko, M. Lukacisinova, M.T. Bollenbach, J. Friml, 00 Research  4 (2015).

Evolution of decisions in population games with sequentially searching individuals
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.

Quantifying emergent behavior of autonomous robots
G.S. Martius, E. Olbrich, Entropy 17 (2015) 7266–7297.

Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats
C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7 (2015).

Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models
M. Erbar, J. Maas, P. Tetali, Annales de La Faculté Des Sciences de Toulouse 24 (2015) 781–800.

Efficient production of single-stranded phage DNA as scaffolds for DNA origami
B. Kick, F.M. Praetorius, H. Dietz, D. Weuster-Botz, Nano Letters 15 (2015) 4672–4676.

Counterexample explanation by learning small strategies in Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.

Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
A. Fellner, (2015).

Bounding Helly numbers via Betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 507–521.

Improvements in Birch's theorem on forms in many variables
T.D. Browning, S. Prendiville, Journal Fur Die Reine Und Angewandte Mathematik 2017 (n.d.) 203–234.

Proofs of space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, in:, 35th Annual Cryptology Conference, Springer, 2015, pp. 585–605.

Cancer/Testis antigen PAS silences the circadian clock
A.K. Michael, S.L. Harvey, P.J. Sammons, A.P. Anderson, H.M. Kopalle, A.H. Banham, C.L. Partch, Molecular Cell 58 (2015) 743–754.

Cytosolic BMAL1 moonlights as a translation factor
A.K. Michael, H. Asimgil, C.L. Partch, Trends in Biochemical Sciences 40 (2015) 489–490.

Quantifying the determinants of evolutionary dynamics leading to drug resistance
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D. Ayhan, E. Toprak, M.T. Bollenbach, PLoS Biology 13 (2015).