Alamdari PA, Avni G, Henzinger TA, Lukina A. Formal methods with a touch of magic. In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. TU Wien Academic Press; 2020:138-147. doi:10.34727/2020/isbn.978-3-85448-042-6_21

Hueckel T, Hocky GM, Palacci JA, Sacanna S. Ionic solids from common colloids. Nature. 2020;580(7804):487-490. doi:10.1038/s41586-020-2205-0

Schmid-Hempel P, Cremer S. Parasites and Pathogens. In: Starr C, ed. Encyclopedia of Social Insects. Cham: Springer Nature; 2020. doi:10.1007/978-3-319-90306-4_94-1

Risi C, Muller CJ, Blossey P. 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. 2020;12(8). doi:10.1029/2020ms002106

Drobinski P, Da Silva N, Bastin S, et al. How warmer and drier will the Mediterranean region be at the end of the twenty-first century? Regional Environmental Change. 2020;20(9). doi:10.1007/s10113-020-01659-w

Muller CJ, Takayabu Y. 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. 2020;15(3). doi:10.1088/1748-9326/ab7130

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

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

Westram AM, Faria R, Butlin R, Johannesson K. Inversions and Evolution. In: ELS. Wiley; 2020. doi:10.1002/9780470015902.a0029007

Gandhi T, Mac Huang J, Aubret A, et al. Decision-making at a T-junction by gradient-sensing microscopic agents. Physical Review Fluids. 2020;5(10). doi:10.1103/physrevfluids.5.104202

Speck T, Tailleur J, Palacci JA. Focus on active colloids and nanoparticles. New Journal of Physics. 2020;22(6). doi:10.1088/1367-2630/ab90d9

Biswas R, Largeteau-Skapin G, Zrour R, Andres E. Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. 2020;4(1):143-158. doi:10.1515/mathm-2020-0106

Pach J, Tardos G, Tóth G. Crossings between non-homotopic edges. In: 28th International Symposium on Graph Drawing and Network Visualization. Vol 12590. LNCS. Springer Nature; 2020:359-371. doi:10.1007/978-3-030-68766-3_28

Buci M, Kwan MA, Pokrovskiy A, Sudakov B. Halfway to Rota’s basis conjecture. International Mathematics Research Notices. 2020;2020(21):8007-8026. doi:10.1093/imrn/rnaa004

Kwan MA, Sudakov B. Ramsey graphs induce subgraphs of quadratically many sizes. International Mathematics Research Notices. 2020;2020(6):1621–1638. doi:10.1093/imrn/rny064

He X, Kwan MA. Universality of random permutations. Bulletin of the London Mathematical Society. 2020;52(3):515-529. doi:10.1112/blms.12345

Singh SP, Alistarh D-A. WoodFisher: Efficient second-order approximation for neural network compression. In: Advances in Neural Information Processing Systems. Vol 33. Curran Associates; 2020:18098-18109.

Edelsbrunner H, Virk Z, Wagner H. Topological data analysis in information space. Journal of Computational Geometry. 2020;11(2):162-182. doi:10.20382/jocg.v11i2a7

Aksenov V, Alistarh D-A, Korhonen J. Scalable belief propagation via relaxed scheduling. In: Advances in Neural Information Processing Systems. Vol 33. Curran Associates; 2020:22361-22372.

Cheng B, Griffiths R-R, Wengert S, et al. Mapping materials and molecules. Accounts of Chemical Research. 2020;53(9):1981-1991. doi:10.1021/acs.accounts.0c00403

Reinhardt A, Pickard CJ, Cheng B. Predicting the phase diagram of titanium dioxide with random search and pattern recognition. Physical Chemistry Chemical Physics. 2020;22(22):12697-12705. doi:10.1039/d0cp02513e

Monserrat B, Brandenburg JG, Engel EA, Cheng B. Liquid water contains the building blocks of diverse ice phases. Nature Communications. 2020;11(1). doi:10.1038/s41467-020-19606-y

Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Simplified game of life: Algorithms and complexity. In: 45th International Symposium on Mathematical Foundations of Computer Science. Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.MFCS.2020.22

Jecker IR, Kupferman O, Mazzocchi N. Unary prime languages. In: 45th International Symposium on Mathematical Foundations of Computer Science. Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.MFCS.2020.51

Akopyan A, Schwartz R, Tabachnikov S. Billiards in ellipses revisited. European Journal of Mathematics. 2020. doi:10.1007/s40879-020-00426-9

Gao X, Li J-L, Chen X, et al. Reduction of neuronal activity mediated by blood-vessel regression in the brain. bioRxiv. doi:10.1101/2020.09.15.262782

Mayer K, Rieck K, Reichmann S, et al. Empfehlungen für eine nationale Open Science Strategie in Österreich / Recommendations for a National Open Science Strategy in Austria. OANA; 2020. doi:10.5281/ZENODO.4109242

Golmakani A, Koudjinan E, Luzzatto S, Pilarczyk P. Rigorous numerics for critical orbits in the quadratic family. Chaos. 2020;30(7). doi:10.1063/5.0012822

Koudjinan E. A KAM theorem for finitely differentiable Hamiltonian systems. Journal of Differential Equations. 2020;269(6):4720-4750. doi:10.1016/j.jde.2020.03.044

Danowski P, Ferus A, Hikl A-L, et al. eRecommendation“for the further procedure for open access monitoring. Deliverable of the AOA subproject T-B. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. 2020;73(2):278-284. doi:10.31263/voebm.v73i2.3941

Laukoter S, Amberg N, Pauler F, Hippenmeyer S. Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. STAR Protocols. 2020;1(3). doi:10.1016/j.xpro.2020.100215

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

Hussain T, Nauman M, Sabahat S, Arif S. Synthesis of ternary electrocatalysts for exploration of methanol electro-oxidation in alkaline media. Materials Research Express. 2020;6(12). doi:10.1088/2053-1591/ab6886

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

Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. Lagrangian reachtubes: The next generation. In: Proceedings of the 59th IEEE Conference on Decision and Control. Vol 2020. IEEE; 2020:1556-1563. doi:10.1109/CDC42340.2020.9304042

Shamekh S, Muller CJ, Duvel J-P, D’Andrea F. How do ocean warm anomalies favor the aggregation of deep convective clouds? Journal of the Atmospheric Sciences. 2020;77(11):3733-3745. doi:10.1175/jas-d-18-0369.1

Muller CJ. Clouds in current and in a warming climate. In: Bouchet F, Schneider T, Venaille A, Salomon C, eds. Fundamental Aspects of Turbulent Flows in Climate Dynamics. Vol 109. Oxford University Press; 2020. doi:10.1093/oso/9780198855217.003.0002

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. doi:10.1002/essoar.10504670.1

Laccone F, Malomo L, Perez Rodriguez J, et al. A bending-active twisted-arch plywood structure: Computational design and fabrication of the FlexMaps Pavilion. SN Applied Sciences. 2020;2(9). doi:10.1007/s42452-020-03305-w

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

Kurtz M, Kopinsky J, Gelashvili R, et al. Inducing and exploiting activation sparsity for fast neural network inference. In: 37th International Conference on Machine Learning, ICML 2020. Vol 119. ; 2020:5533-5543.

Choi J, Lyons DB, Kim MY, Moore JD, Zilberman D. DNA methylation and histone10.1016/j.molcel.2019.10.011__jointly repress transposable elements and aberrant intragenic transcripts. Molecular Cell. 2020;77(2):310-323.e7. doi:10.1016/j.molcel.2019.10.011

Ferber A, Kwan MA. Almost all Steiner triple systems are almost resolvable. Forum of Mathematics. 2020;8. doi:10.1017/fms.2020.29

Buci M, Kwan MA, Pokrovskiy A, Sudakov B, Tran T, Wagner AZ. Nearly-linear monotone paths in edge-ordered graphs. Israel Journal of Mathematics. 2020;238(2):663-685. doi:10.1007/s11856-020-2035-7

Kwan MA, Letzter S, Sudakov B, Tran T. Dense induced bipartite subgraphs in triangle-free graphs. Combinatorica. 2020;40(2):283-305. doi:10.1007/s00493-019-4086-0

Kwan MA. Almost all Steiner triple systems have perfect matchings. Proceedings of the London Mathematical Society. 2020;121(6):1468-1495. doi:10.1112/plms.12373

Cheng B, Ceriotti M, Tribello GA. Classical nucleation theory predicts the shape of the nucleus in homogeneous solidification. The Journal of Chemical Physics. 2020;152(4). doi:10.1063/1.5134461

Cheng B, Frenkel D. Computing the heat conductivity of fluids from density fluctuations. Physical Review Letters. 2020;125(13). doi:10.1103/physrevlett.125.130602

Cheng B, Mazzola G, Pickard CJ, Ceriotti M. Evidence for supercritical behaviour of high-pressure liquid hydrogen. Nature. 2020;585(7824):217-220. doi:10.1038/s41586-020-2677-y

Shaw TE, Gascoin S, Mendoza PA, Pellicciotti F, McPhee J. Snow depth patterns in a high mountain Andean catchment from satellite optical tristereoscopic remote sensing. Water Resources Research. 2020;56(2). doi:10.1029/2019wr024880

Shaw TE, Caro A, Mendoza P, et al. The utility of optical satellite winter snow depths for initializing a glaciohydrological model of a HighElevation, Andean catchment. Water Resources Research. 2020;56(8). doi:10.1029/2020wr027188

Ayala Á, Farías-Barahona D, Huss M, Pellicciotti F, McPhee J, Farinotti D. Glacier runoff variations since 1955 in the Maipo River basin, in the semiarid Andes of central Chile. The Cryosphere. 2020;14(6):2005-2027. doi:10.5194/tc-14-2005-2020

Troxler P, Ayala Á, Shaw TE, Nolan M, Brock BW, Pellicciotti F. Modelling spatial patterns of near-surface air temperature over a decade of melt seasons on McCall Glacier, Alaska. Journal of Glaciology. 2020;66(257):386-400. doi:10.1017/jog.2020.12

Yang W, Zhao C, Westoby M, et al. Seasonal dynamics of a temperate Tibetan glacier revealed by high-resolution UAV photogrammetry and in situ measurements. Remote Sensing. 2020;12(15). doi:10.3390/rs12152389

Immerzeel WW, Lutz AF, Andrade M, et al. Importance and vulnerability of the world’s water towers. Nature. 2020;577(7790):364-369. doi:10.1038/s41586-019-1822-y

Herreid S, Pellicciotti F. The state of rock debris covering Earth’s glaciers. Nature Geoscience. 2020;13(9):621-627. doi:10.1038/s41561-020-0615-0

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

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

Bloomer RH, Hutchison CE, Bäurle I, et al. The  Arabidopsis epigenetic regulator IC as an accessory protein of polycomb repressive complex 2. Proceedings of the National Academy of Sciences. 2020;117(28):16660-16666. doi:10.1073/pnas.1920621117

Christophorou N, She W, Long J, et al. AX affects DNA methylation independently of its role in regulating meiotic crossover localization. PLOS Genetics. 2020;16(6). doi:10.1371/journal.pgen.1008894

Verzobio M. Primitive divisors of sequences associated to elliptic curves. Journal of Number Theory. 2020;209(4):378-390. doi:10.1016/j.jnt.2019.09.003

Monserrat B, Brandenburg JG, Engel EA, Cheng B. Extracting ice phases from liquid water: Why a machine-learning water model generalizes so well. arXiv. doi:10.48550/arXiv.2006.13316

Meisenbichler C, Kluibenschedl F, Müller T. A 3-in-1 hand-held ambient mass spectrometry interface for identification and 2D localization of chemicals on surfaces. Analytical Chemistry. 2020;92(21):14314-14318. doi:10.1021/acs.analchem.0c02615

Karg CA, Wang P, Kluibenschedl F, et al. Phylloxanthobilins are abundant linear tetrapyrroles from chlorophyll breakdown with activities against cancer cells. European Journal of Organic Chemistry. 2020;2020(29):4499-4509. doi:10.1002/ejoc.202000692

Schlögl A, Kiss J, Elefante S, eds. Austrian High-Performance-Computing Meeting (AH). Klosterneuburg, Austria: IST Austria; 2020. doi:10.15479/AT:ISTA:7474

Giacobbe M, Henzinger TA, Lechner M. How many bits does it take to quantize your neural network? In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 12079. Springer Nature; 2020:79-97. doi:10.1007/978-3-030-45237-7_5

Boissonnat J-D, Wintraecken M. The topological correctness of PL-approximations of isomanifolds. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.20

Anahory Y, Naren HR, Lachman EO, et al. SQUID-on-tip with single-electron spin sensitivity for high-field and ultra-low temperature nanomagnetic imaging. Nanoscale. 2020;12(5):3174-3182. doi:10.1039/C9NR08578E

Wagner U, Welzl E. Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.67

Wagner U, Welzl E. Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). In: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. Vol 2020-January. SIAM; 2020:2823-2841. doi:10.1137/1.9781611975994.172

Simon A, Fraisse C, El Ayari T, et al. How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels. 2020. doi:10.5061/DRYAD.R4XGXD29N

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

Grommet AB, Lee LM, Klajn R. Molecular photoswitching in confined spaces. Accounts of Chemical Research. 2020;53(11):2600-2610. doi:10.1021/acs.accounts.0c00434

Gemen J, Ahrens J, Shimon LJW, Klajn R. Modulating the optical properties of BODIPY dyes by noncovalent dimerization within a flexible coordination cage. Journal of the American Chemical Society. 2020;142(41):17721-17729. doi:10.1021/jacs.0c08589

Canton M, Grommet AB, Pesce L, et al. Improving fatigue resistance of dihydropyrene by encapsulation within a coordination cage. Journal of the American Chemical Society. 2020;142(34):14557-14565. doi:10.1021/jacs.0c06146

Pesce L, Perego C, Grommet AB, Klajn R, Pavan GM. Molecular factors controlling the isomerization of Azobenzenes in the cavity of a flexible coordination cage. Journal of the American Chemical Society. 2020;142(21):9792-9802. doi:10.1021/jacs.0c03444

Anahory Y, Naren HR, Lachman EO, et al. SQUID-on-tip with single-electron spin sensitivity for high-field and ultra-low temperature nanomagnetic imaging. Nanoscale. 2020;12(5):3174-3182. doi:10.1039/c9nr08578e

Moreno S, Sharan P, Engelke J, et al. Lightdriven proton transfer for cyclic and temporal switching of enzymatic nanoreactors. Small. 2020;16(37). doi:10.1002/smll.202002135

Grommet AB, Feller M, Klajn R. Chemical reactivity under nanoconfinement. Nature Nanotechnology. 2020;15:256-271. doi:10.1038/s41565-020-0652-2

Mondelli M, Hashemi SA, Cioffi J, Goldsmith A. Simplified successive cancellation decoding of polar codes has sublinear latency. In: IEEE International Symposium on Information Theory - Proceedings. Vol 2020-June. IEEE; 2020. doi:10.1109/ISIT44484.2020.9174141

Bodensteiner J, Sana H, Mahy L, et al. The young massive SMC cluster NGC 330 seen by MUSE. Astronomy &; Astrophysics. 2020;634. doi:10.1051/0004-6361/201936743

Renzo M, Farmer RJ, Justham S, de Mink SE, Götberg YLL, Marchant P. Sensitivity of the lower edge of the pair-instability black hole mass gap to the treatment of time-dependent convection. Monthly Notices of the Royal Astronomical Society. 2020;493(3):4333-4341. doi:10.1093/mnras/staa549

Götberg YLL, de Mink SE, McQuinn M, Zapartas E, Groh JH, Norman C. Contribution from stars stripped in binaries to cosmic reionization of hydrogen and helium. Astronomy &; Astrophysics. 2020;634. doi:10.1051/0004-6361/201936669

Renzo M, Farmer R, Justham S, et al. Predictions for the hydrogen-free ejecta of pulsational pair-instability supernovae. Astronomy &; Astrophysics. 2020;640. doi:10.1051/0004-6361/202037710

Secunda A, Cen R, Kimm T, Götberg YLL, de Mink SE. Delayed photons from binary evolution help reionize the universe. The Astrophysical Journal. 2020;901(1). doi:10.3847/1538-4357/abaefa

Laplace E, Götberg YLL, de Mink SE, Justham S, Farmer R. The expansion of stripped-envelope stars: Consequences for supernovae and gravitational-wave progenitors. Astronomy &; Astrophysics. 2020;637. doi:10.1051/0004-6361/201937300

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

Carlen EA, Maas J. Non-commutative calculus, optimal transport and functional inequalities  in dissipative quantum systems. Journal of Statistical Physics. 2020;178(2):319-378. doi:10.1007/s10955-019-02434-w

Akopyan A, Karasev R. Gromov’s waist of non-radial Gaussian measures and radial non-Gaussian measures. In: Klartag B, Milman E, eds. Geometric Aspects of Functional Analysis. Vol 2256. LNM. Springer Nature; 2020:1-27. doi:10.1007/978-3-030-36020-7_1

Browning TD, Sawin W. A geometric version of the circle method. Annals of Mathematics. 2020;191(3):893-948. doi:10.4007/annals.2020.191.3.4

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

Stella F, Urdapilleta E, Luo Y, Treves A. Partial coherence and frustration in self-organizing spherical grids. Hippocampus. 2020;30(4):302-313. doi:10.1002/hipo.23144

Avni G, Henzinger TA, Kupferman O. Dynamic resource allocation games. Theoretical Computer Science. 2020;807:42-55. doi:10.1016/j.tcs.2019.06.031

Shehu Y, Li X-H, Dong Q-L. An efficient projection-type method for monotone variational inequalities in Hilbert spaces. Numerical Algorithms. 2020;84:365-388. doi:10.1007/s11075-019-00758-y

Jahr W, Velicky P, Danzl JG. Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods. 2020;174(3):27-41. doi:10.1016/j.ymeth.2019.07.019

Filakovský M, Vokínek L. Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics. 2020;20:311-330. doi:10.1007/s10208-019-09419-x

Henderson PM, Ferrari V. Learning single-image 3D reconstruction by generative modelling of shape, pose and shading. International Journal of Computer Vision. 2020;128:835-854. doi:10.1007/s11263-019-01219-8

Nakamoto C, Konno K, Miyazaki T, et al. Expression mapping, quantification, and complex formation of Glu and Glu glutamate receptors in adult mouse brain. Journal of Comparative Neurology. 2020;528(6):1003-1027. doi:10.1002/cne.24792

Donahue R, Maes ME, Grosser J, Nickells R. BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. 2020;57(2):1070–1084. doi:10.1007/s12035-019-01783-7

Zhang Y, Friml J. Auxin guides roots to avoid obstacles during gravitropic growth. New Phytologist. 2020;225(3):1049-1052. doi:10.1111/nph.16203