Althoff M, Bak S, Bao Z, Forets M, Frehse G, Freire D, Kochdumper N, Li Y, Mitra S, Ray R, Schilling C, Schupp S, Wetzlinger M. 2020. ARCH-COM Category Report: Continuous and hybrid systems with linear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 16–48.

Geretti L, Alexandre Dit Sandretto J, Althoff M, Benet L, Chapoutot A, Chen X, Collins P, Forets M, Freire D, Immler F, Kochdumper N, Sanders D, Schilling C. 2020. ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 49–75.

Chatterjee K, Henzinger TA, Otop J. 2020. Multi-dimensional long-run average problems for vector addition systems with states. 31st International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 171, 23.

Avni G, Henzinger TA. 2020. A survey of bidding games on graphs. 31st International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 171, 2.

Aksenov V, Alistarh D-A, Drozdova A, Mohtashami A. 2020. The splay-list: A distribution-adaptive concurrent skip-list. 34th International Symposium on Distributed Computing. DISC: Symposium on Distributed ComputingLIPIcs vol. 179, 3:1-3:18.

Gotfryd D, Paerschke E, Wohlfeld K, Oleb AM. 2020. Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling. Condensed Matter. 5(3), 53.

Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design.  FMCAD: Formal Methods in Computer-Aided Design, 138–147.

Schmid-Hempel P, Cremer S. 2020.Parasites and Pathogens. In: Encyclopedia of Social Insects. .

Westram AM, Faria R, Butlin R, Johannesson K. 2020.Inversions and Evolution. In: eLS. .

Biswas R, Largeteau-Skapin G, Zrour R, Andres E. 2020. Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. 4(1), 143–158.

Pach J, Tardos G, Tóth G. 2020. Crossings between non-homotopic edges. 28th International Symposium on Graph Drawing and Network Visualization. GD: Graph Drawing and Network VisualizationLNCS vol. 12590, 359–371.

Singh SP, Alistarh D-A. 2020. WoodFisher: Efficient second-order approximation for neural network compression. Advances in Neural Information Processing Systems. NeurIPS: Conference on Neural Information Processing Systems vol. 33, 18098–18109.

Edelsbrunner H, Virk Z, Wagner H. 2020. Topological data analysis in information space. Journal of Computational Geometry. 11(2), 162–182.

Aksenov V, Alistarh D-A, Korhonen J. 2020. Scalable belief propagation via relaxed scheduling. Advances in Neural Information Processing Systems. NeurIPS: Conference on Neural Information Processing Systems vol. 33, 22361–22372.

Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2020. Simplified game of life: Algorithms and complexity. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170, 22:1-22:13.

Jecker IR, Kupferman O, Mazzocchi N. 2020. Unary prime languages. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170, 51:1-51:12.

Akopyan A, Schwartz R, Tabachnikov S. 2020. Billiards in ellipses revisited. European Journal of Mathematics.

Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. Reduction of neuronal activity mediated by blood-vessel regression in the brain. bioRxiv,10.1101/2020.09.15.262782 .

Mayer K, Rieck K, Reichmann S, Danowski P, Graschopf A, König T, Kraker P, Lehner P, Reckling F, Ross-Hellauer T, Spichtinger D, Tzatzanis M, Schürz S. 2020. Empfehlungen für eine nationale Open Science Strategie in Österreich / Recommendations for a National Open Science Strategy in Austria, OANA, 36p.

Danowski P, Ferus A, Hikl A-L, McNeill G, Miniberger C, Reding S, Zarka T, Zojer M. 2020. eRecommendation“for the further procedure for open access monitoring. Deliverable of the AOA subproject T-B. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. 73(2), 2783284.

Laukoter S, Amberg N, Pauler F, Hippenmeyer S. 2020. Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. STAR Protocols. 1(3), 100215.

Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. 2020. Lagrangian reachtubes: The next generation. Proceedings of the 59th IEEE Conference on Decision and Control. CDC: Conference on Decision and Control vol. 2020, 1556–1563.

Laccone F, Malomo L, Perez Rodriguez J, Pietroni N, Ponchio F, Bickel B, Cignoni P. 2020. A bending-active twisted-arch plywood structure: Computational design and fabrication of the FlexMaps Pavilion. SN Applied Sciences. 2(9), 1505.

Nguyen Q, Mondelli M. 2020. Global convergence of deep networks with one wide layer followed by pyramidal topology. 34th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 33, 11961–11972.

Kurtz M, Kopinsky J, Gelashvili R, Matveev A, Carr J, Goin M, Leiserson W, Moore S, Nell B, Shavit N, Alistarh D-A. 2020. Inducing and exploiting activation sparsity for fast neural network inference. 37th International Conference on Machine Learning, ICML 2020. ICML: International Conference on Machine Learning vol. 119, 5533–5543.

Lechner M. 2020. Learning representations for binary-classification without backpropagation. 8th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.

Henderson PM, Lampert C. 2020. Unsupervised object-centric video generation and decomposition in 3D. 34th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 33, 3106–3117.

Schlögl A, Kiss J, Elefante S eds. 2020. Austrian High-Performance-Computing meeting (AH), Klosterneuburg, Austria: IST Austria, 72p.

Giacobbe M, Henzinger TA, Lechner M. 2020. How many bits does it take to quantize your neural network? International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 12079, 79–97.

Boissonnat J-D, Wintraecken M. 2020. The topological correctness of PL-approximations of isomanifolds. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 20:1-20:18.

Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 67:1-67:16.

Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January, 2823–2841.

Simon A, Fraisse C, El Ayari T, Liautard-Haag C, Strelkov P, Welch J, Bierne N. 2020. How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels, Dryad,10.5061/DRYAD.R4XGXD29N .

Arnoux S, Fraisse C, Sauvage C. 2020. VCF files of synonymous SNPs related to: Genomic inference of complex domestication histories in three Solanaceae species, Dryad,10.5061/DRYAD.Q2BVQ83HD .

Mondelli M, Hashemi SA, Cioffi J, Goldsmith A. 2020. Simplified successive cancellation decoding of polar codes has sublinear latency. IEEE International Symposium on Information Theory - Proceedings. ISIT: Internation Symposium on Information Theory vol. 2020–June, 401–406.

Avvakumov S, Wagner U, Mabillard I, Skopenkov AB. 2020. Eliminating higher-multiplicity intersections, III. Codimension 2. Russian Mathematical Surveys. 75(6), 1156–1158.

Carlen EA, Maas J. 2020. Non-commutative calculus, optimal transport and functional inequalities  in dissipative quantum systems. Journal of Statistical Physics. 178(2), 319–378.

Akopyan A, Karasev R. 2020.Gromov’s waist of non-radial Gaussian measures and radial non-Gaussian measures. In: Geometric Aspects of Functional Analysis. vol. 2256, 1–27.

Browning TD, Sawin W. 2020. A geometric version of the circle method. Annals of Mathematics. 191(3), 893–948.

Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. 2020. Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics. 374, 2097–2150.

Stella F, Urdapilleta E, Luo Y, Treves A. 2020. Partial coherence and frustration in self-organizing spherical grids. Hippocampus. 30(4), 302–313.

Avni G, Henzinger TA, Kupferman O. 2020. Dynamic resource allocation games. Theoretical Computer Science. 807, 42–55.

Shehu Y, Li X-H, Dong Q-L. 2020. An efficient projection-type method for monotone variational inequalities in Hilbert spaces. Numerical Algorithms. 84, 365–388.

Jahr W, Velicky P, Danzl JG. 2020. Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods. 174(3), 27–41.

Filakovský M, Vokínek L. 2020. Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics. 20, 311–330.

Henderson PM, Ferrari V. 2020. Learning single-image 3D reconstruction by generative modelling of shape, pose and shading. International Journal of Computer Vision. 128, 835–854.

Nakamoto C, Konno K, Miyazaki T, Nakatsukasa E, Natsume R, Abe M, Kawamura M, Fukazawa Y, Shigemoto R, Yamasaki M, Sakimura K, Watanabe M. 2020. Expression mapping, quantification, and complex formation of Glu and Glu glutamate receptors in adult mouse brain. Journal of Comparative Neurology. 528(6), 1003–1027.

Donahue R, Maes ME, Grosser J, Nickells R. 2020. BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. 57(2), 1070–1084.

Zhang Y, Friml J. 2020. Auxin guides roots to avoid obstacles during gravitropic growth. New Phytologist. 225(3), 1049–1052.

Avagliano L, Parenti I, Grazioli P, Di Fede E, Parodi C, Mariani M, Kaiser FJ, Selicorni A, Gervasini C, Massa V. 2020. Chromatinopathies: A focus on Cornelia de Lange syndrome. Clinical Genetics. 97(1), 3–11.

Rapcak M, Soibelman Y, Yang Y, Zhao G. 2020. Cohomological Hall algebras, vertex algebras and instantons. Communications in Mathematical Physics. 376, 1803–1873.

Li Y, Wang Y, Tan S, Li Z, Yuan Z, Glanc M, Domjan D, Wang K, Xuan W, Guo Y, Gong Z, Friml J, Zhang J. 2020. Root growth adaptation is mediated by PYLs ABA receptor-PA protein phosphatase complex. Advanced Science. 7(3), 1901455.

Dodier P, Auzinger T, Mistelbauer G, Wang WT, Ferraz-Leite H, Gruber A, Marik W, Winter F, Fischer G, Frischer JM, Bavinzski G. 2020. Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography. World Neurosurgery. 134(2), e892–e902.

Gallei MC, Luschnig C, Friml J. 2020. Auxin signalling in growth: Schrödinger’s cat out of the bag. Current Opinion in Plant Biology. 53(2), 43–49.

Ucar MC, Lipowsky R. 2020. Collective force generation by molecular motors is determined by strain-induced unbinding. Nano Letters. 20(1), 669–676.

Ucar MC, Lipowsky R. 2020. MURL_Dataz, American Chemical Society ,10.1021/acs.nanolett.9b04445.s002 .

Dodier P, Winter F, Auzinger T, Mistelbauer G, Frischer JM, Wang WT, Mallouhi A, Marik W, Wolfsberger S, Reissig L, Hammadi F, Matula C, Baumann A, Bavinzski G. 2020. Single-stage bone resection and cranioplastic reconstruction: Comparison of a novel software-derived PEEK workflow with the standard reconstructive method. International Journal of Oral and Maxillofacial Surgery. 49(8), 07-1015.

Xiao G, Zhang Y. 2020. Adaptive growth: Shaping auxin-mediated root system architecture. Trends in Plant Science. 25(2), 1-123.

Obeidy P, Ju LA, Oehlers SH, Zulkhernain NS, Lee Q, Galeano Niño JL, Kwan RYQ, Tikoo S, Cavanagh LL, Mrass P, Cook AJL, Jackson SP, Biro M, Roediger B, Sixt MK, Weninger W. 2020. Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes. Immunology and Cell Biology. 98(2), 93–113.

Laukoter S, Beattie RJ, Pauler F, Amberg N, Nakayama KI, Hippenmeyer S. 2020. Imprinted Cdkn1c genomic locus cell-autonomously promotes cell survival in cerebral cortex development. Nature Communications. 11, 195.

Piriya Ananda Babu L, Wang HY, Eguchi K, Guillaud L, Takahashi T. 2020. Microtubule and actin differentially regulate synaptic vesicle cycling to maintain high-frequency neurotransmission. Journal of neuroscience. 40(1), 131–142.

Nibau C, Gallemi M, Dadarou D, Doonan JH, Cavallari N. 2020. Thermo-sensitive alternative splicing of FLOWERING LOCUS M is modulated by cyclin-dependent kinase . Frontiers in Plant Science. 10, 1680.

Cubero RJ, Marsili M, Roudi Y. 2020. Multiscale relevance and informative encoding in neuronal spike trains. Journal of Computational Neuroscience. 48, 85–102.

Lopez Alonso JM, Feldmann D, Rampp M, Vela-Martín A, Shi L, Avila M. 2020. nsCouette – A high-performance code for direct numerical simulations of turbulent Taylor–Couette flow. SoftwareX. 11, 100395.

Kolchinsky A, Corominas-Murtra B. 2020. Decomposing information into copying versus transformation. Journal of the Royal Society Interface. 17(162), 0623.

Geher GP, Titkos T, Virosztek D. 2020. Isometric study of Wasserstein spaces - the real line. Transactions of the American Mathematical Society. 373(8), 5855–5883.

Cadavid D, Ortega S, Illera S, Liu Y, Ibáñez M, Shavel A, Zhang Y, Li M, López AM, Noriega G, Durá OJ, López De La Torre MA, Prades JD, Cabot A. 2020. Influence of the ligand stripping on the transport properties of nanoparticle-based PbSe nanomaterials. ACS Applied Energy Materials. 3(3), 2120–2129.

Mazur E, Gallei MC, Adamowski M, Han H, Robert HS, Friml J. 2020. Clathrin-mediated trafficking and PIN trafficking are required for auxin canalization and vascular tissue formation in Arabidopsis. Plant Science. 293(4), 110414.

Kierdorf K, Hersperger F, Sharrock J, Vincent CM, Ustaoglu P, Dou J, György A, Groß O, Siekhaus DE, Dionne MS. 2020. Muscle function and homeostasis require cytokine inhibition of AKT activity in Drosophila. eLife. 9, e51595.

Käfer K, Nardin M, Blahna K, Csicsvari JL. 2020. Replay of behavioral sequences in the medial prefrontal cortex during rule switching. Neuron. 106(1), 4–165.e6.

Gerencser M. 2020. Nondivergence form quasilinear heat equations driven by space-time white noise. Annales de l’Institut Henri Poincaré C, Analyse non linéaire. 37(3), 663–682.

López De La Oliva AR, Campos-Sandoval JA, Gómez-García MC, Cardona C, Martín-Rufián M, Sialana FJ, Castilla L, Bae N, Lobo C, Peñalver A, García-Frutos M, Carro D, Enrique V, Paz JC, Mirmira RG, Gutiérrez A, Alonso FJ, Segura JA, Matés JM, Lubec G, Márquez J. 2020. Nuclear translocation of glutaminase GL in human cancer cells associates with proliferation arrest and differentiation. Scientific reports. 10(1), 2259.

Narasimhan M, Johnson AJ, Prizak R, Kaufmann W, Tan S, Casillas Perez BE, Friml J. 2020. Evolutionarily unique mechanistic framework of clathrin-mediated endocytosis in plants. eLife. 9, e52067.

Latorre-Pellicer A, Ascaso Á, Trujillano L, Gil-Salvador M, Arnedo M, Lucia-Campos C, Antoñanzas-Pérez R, Marcos-Alcalde I, Parenti I, Bueno-Lozano G, Musio A, Puisac B, Kaiser FJ, Ramos FJ, Gómez-Puertas P, Pié J. 2020. Evaluating Face2Gene as a tool to identify Cornelia de Lange syndrome by facial phenotypes. International Journal of Molecular Sciences. 21(3), 1042.

Henzinger TA, Lukina A, Schilling C. 2020. Outside the box: Abstraction-based monitoring of neural networks. 24th European Conference on Artificial Intelligence. ECAI: European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 325, 2433–2440.

Bossmann L, Pavlovi N, Pickl P, Soffer A. 2020. Higher order corrections to the mean-field description of the dynamics of interacting bosons. Journal of Statistical Physics. 178, 1362–1396.

Turoová B, Hagen WJH, Obr M, Mosalaganti S, Beugelink JW, Zimmerli CE, Kräusslich HG, Beck M. 2020. Benchmarking tomographic acquisition schemes for high-resolution structural biology. Nature Communications. 11, 876.

Han L, Zhou X, Zhao Y, Zhu S, Wu L, He Y, Ping X, Lu X, Huang W, Qian J, Zhang L, Jiang X, Zhu D, Luo C, Li S, Dong Q, Fu Q, Deng K, Wang X, Wang L, Peng S, Wu J, Li W, Friml J, Zhu Y, He X, Du Y. 2020. Colonization of endophyte Acremonium sp. 2 in Panax notoginseng and rice mediated by auxin and jasmonic acid. Journal of Integrative Plant Biology. 62(9), 1433–1451.

Budanur NB, Marensi E, Willis AP, Hof B. 2020. Upper edge of chaos and the energetics of transition in pipe flow. Physical Review Fluids. 5(2), 023903.

Erdös L, Krüger TH, Nemish Y. 2020. Local laws for polynomials of Wigner matrices. Journal of Functional Analysis. 278(12), 108507.

Zhang H. 2020. From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture. Advances in Mathematics. 365, 107053.

Beets I, Zhang G, Fenk LA, Chen C, Nelson GM, Félix M-A, de Bono M. 2020. Natural variation in a dendritic scaffold protein remodels experience-dependent plasticity by altering neuropeptide expression. Neuron. 105(1), 106–121.e10.

Yalniz G, Budanur NB. 2020. Inferring symbolic dynamics of chaotic flows from persistence. Chaos. 30(3), 033109.

Edelsbrunner H, Nikitenko A. 2020. Weighted Poisson–Delaunay mosaics. Theory of Probability and its Applications. 64(4), 595–614.

Verstraeten I, Buyle H, Werbrouck S, Van Labeke MC, Geelen D. 2020. In vitro shoot growth and adventitious rooting of Wikstroemia gemmata depends on light quality. Israel Journal of Plant Sciences. 67(1–2), 16–26.

Grah R, Friedlander T. 2020. Distribution of crosstalk values, Public Library of Science,10.1371/journal.pcbi.1007642.s003 .

Grah R, Friedlander T. 2020. Supporting information, Public Library of Science,10.1371/journal.pcbi.1007642.s001 .

Michailidis A, Turner CJ, Papi Z, Abanin DA, Serbyn M. 2020. Slow quantum thermalization and many-body revivals from mixed phase space. Physical Review X. 10(1), 011055.

Moturu TR, Sinha S, Salava H, Thula S, Nodzyski T, Vaeková RS, Friml J, Simon S. 2020. Molecular evolution and diversification of proteins involved in miRNA maturation pathway. Plants. 9(3), 299.

Moon HM, Hippenmeyer S, Luo L, Wynshaw-Boris A. 2020. LI determines cleavage plane positioning by regulating actomyosin-mediated cell membrane contractility. eLife. 9, 51512.

Tan S, Zhang X, Kong W, Yang X-L, Molnar G, Vondráková Z, Filepová R, Petrásek J, Friml J, Xue H-W. 2020. The lipid code-dependent phosphoswitch PDK1–PK activates PIN-mediated auxin efflux in Arabidopsis. Nature Plants. 6, 556–569.

Nimeth BA, Riegler S, Kalyna M. 2020. Alternative splicing and DNA damage response in plants. Frontiers in Plant Science. 11, 91.

Weinert S, Gimber N, Deuschel D, Stuhlmann T, Puchkov D, Farsi Z, Ludwig CF, Novarino G, López-Cayuqueo KI, Planells-Cases R, Jentsch TJ. 2020. Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration. EMBO Journal. 39, e103358.

Pitrik J, Virosztek D. 2020. Quantum Hellinger distances revisited. Letters in Mathematical Physics. 110(8), 2039–2052.

Tombaz T, Dunn BA, Hovde K, Cubero RJ, Mimica B, Mamidanna P, Roudi Y, Whitlock JR. 2020. Action representation in the mouse parieto-frontal network. Scientific reports. 10(1), 5559.

Plesch M, Plesník S, Ruzickova N. 2020. The IYPT and the ‘Ring Oiler’ problem. European Journal of Physics. 41(3), 034001.

Miranti R, Shin D, Septianto RD, Ibáñez M, Kovalenko MV, Matsushita N, Iwasa Y, Bisri SZ. 2020. Exclusive electron transport in Core@Shell PbTe@PbS colloidal semiconductor nanocrystal assemblies. ACS Nano. 14(3), 3242–3250.

Jankowiak G, Peurichard D, Reversat A, Schmeiser C, Sixt MK. 2020. Modeling adhesion-independent cell migration. Mathematical Models and Methods in Applied Sciences. 30(3), 513–537.

Lee E, Vila Nova Santana B, Samuels E, Benitez-Fuente F, Corsi E, Botella M, Perez-Sancho J, Vanneste S, Friml J, Macho A, Alves Azevedo A, Rosado A. 2020. Rare earth elements induce cytoskeleton-dependent and PP-associated rearrangement of SY/SY ER-PM contact site complexes in Arabidopsis. Journal of Experimental Botany. 71(14), 3986–3998.

Berry MJ, Tkadik G. 2020. Clustering of neural activity: A design principle for population codes. Frontiers in Computational Neuroscience. 14, 20.