Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses
D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.

Graph games and reactive synthesis
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.

Introduction to model checking
E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.

There is no strongly regular graph with parameters (460; 153; 32; 60)
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.

Platelet migration and bacterial trapping assay under flow
S. Fan, M. Lorenz, S. Massberg, F.R. Gärtner, Bio-Protocol 8 (2018).

Mirror symmetry with branes by equivariant verlinde formulas
T. Hausel, A. Mellit, D. Pei, in:, Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218.

Local law and Tracy–Widom limit for sparse random matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 171 (2018).

Maximum persistency via iterative relaxed inference with graphical models
A. Shekhovtsov, P. Swoboda, B. Savchynskyy, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1668–1682.

Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study
D. Grubic, L. Tam, D.-A. Alistarh, C. Zhang, in:, Proceedings of the 21st International Conference on Extending Database Technology, OpenProceedings, 2018, pp. 145–156.

Proofs of catalytic space
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science  Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.

ThreadScan: Automatic and scalable memory reclamation
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, ACM Transactions on Parallel Computing 4 (2018).

Model compression via distillation and quantization
A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 2018.

Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).

Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.

Diffraction-unlimited optical imaging for synaptic physiology
J.G. Danzl, Opera Medica et Physiologica 4 (2018) 11.

Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.

Is the sky the limit? On the expansion threshold of a species’ range
J. Polechova, PLoS Biology 16 (2018).

FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis
J.M. Frost, M.Y. Kim, G.T. Park, P.-H. Hsieh, M. Nakamura, S.J.H. Lin, H. Yoo, J. Choi, Y. Ikeda, T. Kinoshita, Y. Choi, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 115 (2018) 20–29.

The 2-Genus of Kuratowski minors
R. Fulek, J. Kyndl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14.

Thrackles: An improved upper bound
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.

Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlovi, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, (2018).

Absorption and directed Jónsson terms
A. Kazda, M. Kozik, R. McKenzie, M. Moore, in:, J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Springer Nature, Cham, 2018, pp. 203–220.

Shellability is NP-complete
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.

On the treewidth of triangulated 3-manifolds
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.

Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).

Ge hut wires - from growth to hole spin resonance
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, Institute of Science and Technology Austria, 2018.

Multiple covers with balls
M. Iglesias Ham, Multiple Covers with Balls, Institute of Science and Technology Austria, 2018.

Learning from dependent data
A. Zimin, Learning from Dependent Data, Institute of Science and Technology Austria, 2018.

Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.

Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images
A. Kolesnikov, Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images, Institute of Science and Technology Austria, 2018.

Computing simplicial representatives of homotopy group elements
M. Filakovský, P. Franek, U. Wagner, S.Y. Zhechev, Journal of Applied and Computational Topology 2 (2018) 177–231.

Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.

The multi-cover persistence of Euclidean balls
H. Edelsbrunner, G.F. Osang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.

3-Webs generated by confocal conics and circles
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.

A germanium hole spin qubit
H. Watzinger, J. Kukucka, L. Vukusi, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).

A biochemical network controlling basal myosin oscillation
X. Qin, E.B. Hannezo, T. Mangeat, C. Liu, P. Majumder, J. Liu, V. Choesmel Cadamuro, J. Mcdonald, Y. Liu, B. Yi, X. Wang, Nature Communications 9 (2018).

A fat lot of good for wound healing
A.M. Casano, M.K. Sixt, Developmental Cell 44 (2018) 405–406.

A micro-CT-based method for quantitative brain lesion characterization and electrode localization
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Scientific Reports 8 (2018).

An armadillo-domain protein participates in a telomerase interaction network
L. Dokládal, E. Benková, D. Honys, N. Dupláková, L. Lee, S. Gelvin, E. Sýkorová, Plant Molecular Biology 97 (2018) 407–420.

AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.

Ants avoid superinfections by performing risk-adjusted sanitary care
M. Konrad, C. Pull, S. Metzler, K. Seif, E. Naderlinger, A.V. Grasse, S. Cremer, PNAS 115 (2018) 2782–2787.

Anyonic statistics of quantum impurities in two dimensions
E. Yakaboylu, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 98 (2018).

A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.

Auxin methylation is required for differential growth in Arabidopsis
M. Abbas, G.J. Hernández, S. Pollmann, S.L. Samodelov, M. Kolb, J. Friml, U.Z. Hammes, M.D. Zurbriggen, M. Blázquez, D. Alabadí, PNAS 115 (2018) 6864–6869.

Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation
M.M. Napiórkowski, R. Reuvers, J. Solovej, EPL 121 (2018).

CL peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana
L. Zhang, X. Shi, Y. Zhang, J. Wang, J. Yang, T. Ishida, W. Jiang, X. Han, J. Kang, X. Wang, L. Pan, S. Lv, B. Cao, Y. Zhang, J. Wu, H. Han, Z. Hu, L. Cui, S. Sawa, J. He, G. Wang, Plant Cell and Environment (2018).

Clonal analysis of Notc-expressing cells reveals the existence of unipotent stem cells that retain long-term plasticity in the embryonic mammary gland
A. Lilja, V. Rodilla, M. Huyghe, E.B. Hannezo, C. Landragin, O. Renaud, O. Leroy, S. Rulands, B. Simons, S. Fré, Nature Cell Biology 20 (2018) 677–687.

Computational design of nanostructural color for additive manufacturing
T. Auzinger, W. Heidrich, B. Bickel, ACM Transactions on Graphics 37 (2018).

CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds
K. Nakashima, T. Auzinger, E. Iarussi, R. Zhang, T. Igarashi, B. Bickel, ACM Transaction on Graphics 37 (2018).

Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness
J. Reiter, C. Hilbe, D. Rand, K. Chatterjee, M. Nowak, Nature Communications 9 (2018).

Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons
H. Hu, F. Roth, D.H. Vandael, P.M. Jonas, Neuron 98 (2018) 156–165.

CRISPR-based herd immunity can limit phage epidemics in bacterial populations
P. Payne, L. Geyrhofer, N.H. Barton, J.P. Bollback, ELife 7 (2018).

Crossing minimization in perturbed drawings
R. Fulek, C.D. Tóth, in:, Springer, 2018, pp. 229–241.

Complexity of the laminar-turbulent boundary in pipe flow
N.B. Budanur, B. Hof, Physical Review Fluids 3 (2018).

Counting blanks in polygonal arrangements
A. Akopyan, E. Segal Halevi, SIAM Journal on Discrete Mathematics 32 (2018) 2242–2257.

Data from: CRISPR-based herd immunity limits phage epidemics in bacterial populations
P. Payne, L. Geyrhofer, N.H. Barton, J.P. Bollback, (2018).

Destructive disinfection of infected brood prevents systemic disease spread in ant colonies
C. Pull, L.V. Ugelvig, F. Wiesenhofer, A.V. Grasse, S. Tragust, T. Schmitt, M. Brown, S. Cremer, ELife 7 (2018).

Defining lineage potential and fate behavior of precursors during pancreas development
M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C. Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental Cell 46 (2018) 360–375.

Cup-shaped Cotyledon1 (CU) and C regulate cytokinin homeostasis to determine ovule number in arabidopsis
M. Cucinotta, S. Manrique, C. Cuesta, E. Benková, O. Novák, L. Colombo, Journal of Experimental Botany 69 (2018) 5169–5176.

Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins
K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husidková, L. Spíchal, Z. Pbkná, O. Samajová, K. Doleeal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.

Detection and characterization of many-body localization in central spin models
D. Hetterich, N. Yao, M. Serbyn, F. Pollmann, B. Trauzettel, Physical Review B 98 (2018).

Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration
A. Ratheesh, J. Bicher, M. Smutny, J. Veselá, E. Papusheva, G. Krens, W. Kaufmann, A. György, A.M. Casano, D.E. Siekhaus, Developmental Cell 45 (2018) 331–346.

Drag enhancement and drag reduction in viscoelastic flow
A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).

Distributed and dynamic intracellular organization of extracellular information
A. Granados, J. Pietsch, S.A. Cepeda Humerez, I. Farquhar, G. Tkadik, P. Swain, PNAS 115 (2018) 6088–6093.

Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5  during yeast receptor mediated endocytosis
W. Yamamoto, S. Wada, M. Nagano, K. Aoshima, D.E. Siekhaus, J. Toshima, J. Toshima, Journal of Cell Science 131 (2018).

Efficient parametric identification for STL
A. Bakhirkin, T. Ferrere, O. Maler, in:, Proceedings of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–186.

Efficient algorithms for asymptotic bounds on termination time in VASS
T. Brázdil, K. Chatterjee, A. Kudera, P. Novotný, D. Velan, F. Zuleger, in:, IEEE, 2018, pp. 185–194.

Efficient optimization for rank-based loss functions
P. Mohapatra, M. Rolinek, C.V. Jawahar, V. Kolmogorov, M.P. Kumar, in:, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 3693–3701.

Emergent dirac gullies and gully-symmetry-breaking quantum hall states in ABA trilayer graphene
A. Zibrov, P. Rao, C. Kometter, J. Li, C. Dean, T. Taniguchi, K. Watanabe, M. Serbyn, A. Young, Physical Review Letters 121 (2018).

Electromagnetic fields and optomechanics In cancer diagnostics and treatment
V. Salari, S. Barzanjeh, M. Cifra, C. Simon, F. Scholkmann, Z. Alirezaei, J. Tuszynski, Frontiers in Bioscience - Landmark 23 (2018) 1391–1406.

Embeddability in the 3-Sphere is decidable
J. Matousek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).

Establishment in a new habitat by polygenic adaptation
N.H. Barton, A. Etheridge, Theoretical Population Biology 122 (2018) 110–127.

Evolution of cooperation in stochastic games
C. Hilbe, S. Simsa, K. Chatterjee, M. Nowak, Nature 559 (2018) 246–249.

Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss
P. Hönigschmid, N. Bykova, R. Schneider, D. Ivankov, D. Frishman, Genome Biology and Evolution 10 (2018) 928–938.

Estimating barriers to gene flow from distorted isolation-by-distance patterns
H. Ringbauer, A. Kolesnikov, D. Field, N.H. Barton, Genetics 208 (2018) 1231–1245.

Extended narrow band FLIP for liquid simulations
T. Sato, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, Computer Graphics Forum 37 (2018) 169–177.

Evolutionary pathways for the generation of new self-incompatibility haplotypes in a non-self recognition system
K. Bodova, T. Priklopil, D. Field, N.H. Barton, M. Pickup, Genetics 209 (2018) 861–883.

Expansions of key protein families in the German cockroach highlight the molecular basis of its remarkable success as a global indoor pest
M. Harrison, N. Arning, L. Kremer, G. Ylla, X. Belles, E. Bornberg Bauer, A.K. Huylmans, E. Jongepier, M. Puilachs, S. Richards, C. Schal, Journal of Experimental Zoology Part B: Molecular and Developmental Evolution 330 (2018) 254–264.

Existence of positive solutions to stochastic thin-film equations
J.L. Fischer, G. Grün, SIAM Journal on Mathematical Analysis 50 (2018) 411–455.

Supplemental material for Bodova et al., 2018
K. Bodova, T. Priklopil, D. Field, N.H. Barton, M. Pickup, (2018).

Genetically encodable bioluminescent system from fungi
A.A. Kotlobay, K. Sarkisyan, Y.A. Mokrushina, M. Marcet-Houben, E.O. Serebrovskaya, N.M. Markina, L. Gonzalez Somermeyer, A.Y. Gorokhovatsky, A. Vvedensky, K.V. Purtov, V.N. Petushkov, N.S. Rodionova, T.V. Chepurnyh, L. Fakhranurova, E.B. Guglya, R. Ziganshin, A.S. Tsarkova, Z.M. Kaskova, V. Shender, M. Abakumov, T.O. Abakumova, I.S. Povolotskaya, F.M. Eroshkin, A.G. Zaraisky, A.S. Mishin, S.V. Dolgov, T.Y. Mitiouchkina, E.P. Kopantzev, H.E. Waldenmaier, A.G. Oliveira, Y. Oba, E. Barsova, E.A. Bogdanova, T. Gabaldón, C.V. Stevani, S. Lukyanov, I.V. Smirnov, J.I. Gitelson, F. Kondrashov, I.V. Yampolsky, Proceedings of the National Academy of Sciences of the United States of America 115 (2018) 12728–12732.

Gibberellin DELLA signaling targets the retromer complex to redirect protein trafficking to the plasma membrane
Y. Salanenka, I. Verstraeten, C. Löfke, K. Tabata, S. Naramoto, M. Glanc, J. Friml, PNAS 115 (2018) 3716–3721.

Flexible learning-free segmentation and reconstruction of neural volumes
A. Shabazi, J. Kinnison, R. Vescovi, M. Du, R. Hill, M.A. Jösch, M. Takeno, H. Zeng, N. Da Costa, J. Grutzendler, N. Kasthuri, W. Scheirer, Scientific Reports 8 (2018).

Fast and efficient genetic engineering of hematopoietic precursor cells for the study of dendritic cell migration
A.F. Leithner, J. Renkawitz, I. de Vries, R. Hauschild, H. Haecker, M.K. Sixt, European Journal of Immunology 48 (2018) 1074–1077.

Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance
M. Kutzer, J. Kurtz, S. Armitage, Journal of Evolutionary Biology 31 (2018) 159–171.

Genomics in neurodevelopmental disorders: an avenue to personalized medicine
D.-C. Tarlungeanu, G. Novarino, Experimental &; Molecular Medicine 50 (2018).

Fermionic behavior of ideal anyons
D. Lundholm, R. Seiringer, Letters in Mathematical Physics 108 (2018) 2523–2541.

Glycosaminoglycans in extracellular matrix organisation: Are concepts from soft matter physics key to understanding the formation of perineuronal nets?
R. Richter, N.S. Baranova, A. Day, J. Kwok, Current Opinion in Structural Biology 50 (2018) 65–74.

Hemimetabolous genomes reveal molecular basis of termite eusociality
M. Harrison, E. Jongepier, H. Robertson, N. Arning, T. Bitard Feildel, H. Chao, C. Childers, H. Dinh, H. Doddapaneni, S. Dugan, J. Gowin, C. Greiner, Y. Han, H. Hu, D. Hughes, A.K. Huylmans, K. Kemena, L. Kremer, S. Lee, A. López Ezquerra, L. Mallet, J. Monroy Kuhn, A. Moser, S. Murali, D. Muzny, S. Otani, M. Piulachs, M. Poelchau, J. Qu, F. Schaub, A. Wada Katsumata, K. Worley, Q. Xie, G. Ylla, M. Poulsen, R. Gibbs, C. Schal, S. Richards, X. Belles, J. Korb, E. Bornberg Bauer, Nature Ecology and Evolution 2 (2018) 557–566.

How to escape local optima in black box optimisation when non elitism outperforms elitism
P. Oliveto, T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 80 (2018) 1604–1633.

Guest editors' introduction to the special section on learning with Shared information for computer vision and multimedia analysis
T. Darrell, C. Lampert, N. Sebe, Y. Wu, Y. Yan, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1029–1031.

Data from: Hemimetabolous genomes reveal molecular basis of termite eusociality
M.C. Harrison, E. Jongepier, H.M. Robertson, N. Arning, T. Bitard-Feildel, H. Chao, C.P. Childers, H. Dinh, H. Doddapaneni, S. Dugan, J. Gowin, C. Greiner, Y. Han, H. Hu, D.S.T. Hughes, A.K. Huylmans, C. Kemena, L.P.M. Kremer, S.L. Lee, A. Lopez-Ezquerra, L. Mallet, J.M. Monroy-Kuhn, A. Moser, S.C. Murali, D.M. Muzny, S. Otani, M.-D. Piulachs, M. Poelchau, J. Qu, F. Schaub, A. Wada-Katsumata, K.C. Worley, Q. Xie, G. Ylla, M. Poulsen, R.A. Gibbs, C. Schal, S. Richards, X. Belles, J. Korb, E. Bornberg-Bauer, (2018).

Harnessing epoch-based reclamation for efficient range queries
M. Arbel Raviv, T.A. Brown, in:, ACM, 2018, pp. 14–27.

In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit Glu
T. Chen, B. Kula, B. Nagy, R. Barzan, A. Gall, I. Ehrlich, M. Kukley, Cell Reports 25 (2018) 852–861.e7.

IgM's exit route
A. Reversat, M.K. Sixt, Journal of Experimental Medicine 215 (2018) 2959–2961.

Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device
P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.

Incircular nets and confocal conics
A. Akopyan, A. Bobenko, Transactions of the American Mathematical Society 370 (2018) 2825–2854.

Individual- and ejaculate-specific sperm traits in ant males
S. Metzler, A. Schrempf, J. Heinze, Journal of Insect Physiology 107 (2018) 284–290.

Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.

Inositol phosphates are assembly co-factors for HIV-1
R. Dick, K.K. Zadrozny, C. Xu, F.K. Schur, T.D. Lyddon, C.L. Ricana, J.M. Wagner, J.R. Perilla, P.B.K. Ganser, M.C. Johnson, O. Pornillos, V. Vogt, Nature 560 (2018) 509–512.