Chatterjee K, Goharshady EK, Novotný P, Zárevúcky J, Zikelic D. On lexicographic proof rules for probabilistic termination. In: 24th International Symposium on Formal Methods. Vol 13047. Springer Nature; 2021:619-639. doi:10.1007/978-3-030-90870-6_33

Kusakabe H, Blaizot J, Garel T, et al. The MUSE Hubble Ultra Deep Field Survey: XIV. Evolution of the Ly;1 emitter fraction from z = 3 to z = 6. Astronomy &; Astrophysics. 2020;638. doi:10.1051/0004-6361/201937340

Santos S, Sobral D, Matthee JJ, et al. The evolution of rest-frame UV properties, Ly;1 EWs, and the SFR–stellar mass relation at z c 2–6 for SK LAEs. Monthly Notices of the Royal Astronomical Society. 2020;493(1):141-160. doi:10.1093/mnras/staa093

Calhau J, Sobral D, Santos S, et al. The X-ray and radio activity of typical and luminous Ly;1 emitters from z c 2 to z c 6: Evidence for a diverse, evolving population. Monthly Notices of the Royal Astronomical Society. 2020;493(3):3341-3362. doi:10.1093/mnras/staa476

Zinn JC, Stello D, Elsworth Y, et al. The K2 galactic archaeology program data release 2: Asteroseismic results from campaigns 4, 6, and 7. The Astrophysical Journal Supplement Series. 2020;251(2). doi:10.3847/1538-4365/abbee3

Gisbertz S, Reischauer S, Pieber B. Overcoming limitations in dual photoredox/nickel-catalysed C–N cross-couplings due to catalyst deactivation. Nature Catalysis. 2020;3(8):611-620. doi:10.1038/s41929-020-0473-6

Rampelt H, Sucec I, Bersch B, et al. The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments. BMC Biology. 2020;18. doi:10.1186/s12915-019-0733-6

Geretti L, Alexandre Dit Sandretto J, Althoff M, et al. ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:49-75. doi:10.29007/zkf6

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

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

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

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

Ucar MC, Lipowsky R. MURL_Dataz. 2020. doi:10.1021/acs.nanolett.9b04445.s002

Tombaz T, Dunn BA, Hovde K, et al. Action representation in the mouse parieto-frontal network. Scientific reports. 2020;10(1). doi:10.1038/s41598-020-62089-6

Taboada-Gutiérrez J, Álvarez-Pérez G, Duan J, et al. Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation. Nature Materials. 2020;19:964–968. doi:10.1038/s41563-020-0665-0

Yang Y, Zhao G. The PBW theorem for affine Yangians. Transformation Groups. 2020;25:1371-1385. doi:10.1007/s00031-020-09572-6

Seiringer R, Yngvason J. Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics. 2020;181:448-464. doi:10.1007/s10955-020-02586-0

Prehal C, Fitzek H, Kothleitner G, et al. Persistent and reversible solid iodine electrodeposition in nanoporous carbons. Nature Communications. 2020;11. doi:10.1038/s41467-020-18610-6

Martín-Belmonte A, Aguado C, Alfaro-Ruíz R, et al. Reduction in the neuronal surface of post and presynaptic GABA&;B&; receptors in the hippocampus in a mouse model of Alzheimer’s disease. Brain Pathology. 2020;30(3):554-575. doi:10.1111/bpa.12802

Redig F, Saada E, Sau F. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 2020;25. doi:10.1214/20-EJP536