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.

Hueckel T, Hocky GM, Palacci JA, Sacanna S. 2020. Ionic solids from common colloids. Nature. 580(7804), 487–490.

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

Risi C, Muller CJ, Blossey P. 2020. What controls the water vapor isotopic composition near the surface of tropical oceans? Results from an analytical model constrained by largeeddy simulations. Journal of Advances in Modeling Earth Systems. 12(8), e2020M2106.

Drobinski P, Da Silva N, Bastin S, Mailler S, Muller CJ, Ahrens B, Christensen OB, Lionello P. 2020. How warmer and drier will the Mediterranean region be at the end of the twenty-first century? Regional Environmental Change. 20(9), 78.

Muller CJ, Takayabu Y. 2020. Response of precipitation extremes to warming: What have we learned from theory and idealized cloud-resolving simulations, and what remains to be learned? Environmental Research Letters. 15(3), 035001.

Shamekh S, Muller CJ, Duvel J P., D’Andrea F. 2020. Selfaggregation of convective clouds with interactive sea surface temperature. Journal of Advances in Modeling Earth Systems. 12(11), e2020M2164.

Albright AL, Fildier B, Touzé-Peiffer L, Pincus R, Vial J, Muller CJ. Atmospheric radiative profiles during EUREA. Earth System Science Data,10.5194/essd-2020-269 .

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

Gandhi T, Mac Huang J, Aubret A, Li Y, Ramananarivo S, Vergassola M, Palacci JA. 2020. Decision-making at a T-junction by gradient-sensing microscopic agents. Physical Review Fluids. 5(10), 104202.

Speck T, Tailleur J, Palacci JA. 2020. Focus on active colloids and nanoparticles. New Journal of Physics. 22(6), 060201.

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.

Buci M, Kwan MA, Pokrovskiy A, Sudakov B. 2020. Halfway to Rota’s basis conjecture. International Mathematics Research Notices. 2020(21), 8007–8026.

Kwan MA, Sudakov B. 2020. Ramsey graphs induce subgraphs of quadratically many sizes. International Mathematics Research Notices. 2020(6), 1621–1638.

He X, Kwan MA. 2020. Universality of random permutations. Bulletin of the London Mathematical Society. 52(3), 515–529.

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.

Cheng B, Griffiths R-R, Wengert S, Kunkel C, Stenczel T, Zhu B, Deringer VL, Bernstein N, Margraf JT, Reuter K, Csanyi G. 2020. Mapping materials and molecules. Accounts of Chemical Research. 53(9), 1981–1991.

Reinhardt A, Pickard CJ, Cheng B. 2020. Predicting the phase diagram of titanium dioxide with random search and pattern recognition. Physical Chemistry Chemical Physics. 22(22), 12697–12705.

Monserrat B, Brandenburg JG, Engel EA, Cheng B. 2020. Liquid water contains the building blocks of diverse ice phases. Nature Communications. 11(1), 5757.

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.

Golmakani A, Koudjinan E, Luzzatto S, Pilarczyk P. 2020. Rigorous numerics for critical orbits in the quadratic family. Chaos. 30(7), 073143.

Koudjinan E. 2020. A KAM theorem for finitely differentiable Hamiltonian systems. Journal of Differential Equations. 269(6), 4720–4750.

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.

Youssef M, Morin A, Aubret A, Sacanna S, Palacci JA. 2020. Rapid characterization of neutral polymer brush with a conventional zetameter and a variable pinch of salt. Soft Matter. 16(17), 4274–4282.

Hussain T, Nauman M, Sabahat S, Arif S. 2020. Synthesis of ternary electrocatalysts for exploration of methanol electro-oxidation in alkaline media. Materials Research Express. 6(12), 1250.

Nauman M, Alnasir MH, Hamayun MA, Wang Y, Shatruk M, Manzoor S. 2020. Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles. RSC Advances. 10(47), 28383–28389.

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.

Shamekh S, Muller CJ, Duvel J-P, D’Andrea F. 2020. How do ocean warm anomalies favor the aggregation of deep convective clouds? Journal of the Atmospheric Sciences. 77(11), 3733–3745.

Muller CJ. 2020.Clouds in current and in a warming climate. In: Fundamental Aspects of Turbulent Flows in Climate Dynamics. Lecture Notes of the Les Houches Summer School, vol. 109.

Risi C, Muller CJ, Blossey PN. Rain evaporation, snow melt and entrainment at the heart of water vapor isotopic variations in the tropical troposphere, according to  large-eddy simulations and a two-column model.10.1002/essoar.10504670.1 .

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.

Choi J, Lyons DB, Kim MY, Moore JD, Zilberman D. 2020. DNA methylation and histone  jointly repress transposable elements and aberrant intragenic transcripts. Molecular Cell. 77(2), 310–323.e7.

Ferber A, Kwan MA. 2020. Almost all Steiner triple systems are almost resolvable. Forum of Mathematics. 8, e39.

Buci M, Kwan MA, Pokrovskiy A, Sudakov B, Tran T, Wagner AZ. 2020. Nearly-linear monotone paths in edge-ordered graphs. Israel Journal of Mathematics. 238(2), 663–685.

Kwan MA, Letzter S, Sudakov B, Tran T. 2020. Dense induced bipartite subgraphs in triangle-free graphs. Combinatorica. 40(2), 283–305.

Kwan MA. 2020. Almost all Steiner triple systems have perfect matchings. Proceedings of the London Mathematical Society. 121(6), 1468–1495.