On lexicographic proof rules for probabilistic termination
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.

The MUSE Hubble Ultra Deep Field Survey: XIV. Evolution of the Ly;1 emitter fraction from z = 3 to z = 6
H. Kusakabe, J. Blaizot, T. Garel, A. Verhamme, R. Bacon, J. Richard, T. Hashimoto, H. Inami, S. Conseil, B. Guiderdoni, A.B. Drake, E. Christian Herenz, J. Schaye, P. Oesch, J.J. Matthee, R. Anna Marino, K. Borello Schmidt, R. Pelló, M. Maseda, F. Leclercq, J. Kerutt, G. Mahler, Astronomy &; Astrophysics 638 (2020).

The evolution of rest-frame UV properties, Ly;1 EWs, and the SFR–stellar mass relation at z c 2–6 for SK LAEs
S. Santos, D. Sobral, J.J. Matthee, J. Calhau, E. da Cunha, B. Ribeiro, A. Paulino-Afonso, P. Arrabal Haro, J. Butterworth, Monthly Notices of the Royal Astronomical Society 493 (2020) 141–160.

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
J. Calhau, D. Sobral, S. Santos, J.J. Matthee, A. Paulino-Afonso, A. Stroe, B. Simmons, C. Barlow-Hall, B. Adams, Monthly Notices of the Royal Astronomical Society 493 (2020) 3341–3362.

The K2 galactic archaeology program data release 2: Asteroseismic results from campaigns 4, 6, and 7
J.C. Zinn, D. Stello, Y. Elsworth, R.A. García, T. Kallinger, S. Mathur, B. Mosser, L.A. Bugnet, C. Jones, M. Hon, S. Sharma, R. Schönrich, J.T. Warfield, R. Luger, M.H. Pinsonneault, J.A. Johnson, D. Huber, V.S. Aguirre, W.J. Chaplin, G.R. Davies, A. Miglio, The Astrophysical Journal Supplement Series 251 (2020).

Overcoming limitations in dual photoredox/nickel-catalysed C–N cross-couplings due to catalyst deactivation
S. Gisbertz, S. Reischauer, B. Pieber, Nature Catalysis 3 (2020) 611–620.

The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments
H. Rampelt, I. Sucec, B. Bersch, P. Horten, I. Perschil, J.-C. Martinou, M. van der Laan, N. Wiedemann, P. Schanda, N. Pfanner, BMC Biology 18 (2020).

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

Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.

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

The topological correctness of PL-approximations of isomanifolds
J.-D. Boissonnat, M. Wintraecken, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

The young massive SMC cluster NGC 330 seen by MUSE
J. Bodensteiner, H. Sana, L. Mahy, L.R. Patrick, A. de Koter, S.E. de Mink, C.J. Evans, Y.L.L. Götberg, N. Langer, D.J. Lennon, F.R.N. Schneider, F. Tramper, Astronomy &; Astrophysics 634 (2020).

MURL_Dataz
M.C. Ucar, R. Lipowsky, (2020).

Action representation in the mouse parieto-frontal network
T. Tombaz, B.A. Dunn, K. Hovde, R.J. Cubero, B. Mimica, P. Mamidanna, Y. Roudi, J.R. Whitlock, Scientific Reports 10 (2020).

Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation
J. Taboada-Gutiérrez, G. Álvarez-Pérez, J. Duan, W. Ma, K. Crowley, I. Prieto Gonzalez, A. Bylinkin, M. Autore, H. Volkova, K. Kimura, T. Kimura, M.H. Berger, S. Li, Q. Bao, X.P.A. Gao, I. Errea, A.Y. Nikitin, R. Hillenbrand, J. Martín-Sánchez, P. Alonso-González, Nature Materials 19 (2020) 964–968.

The PBW theorem for affine Yangians
Y. Yang, G. Zhao, Transformation Groups 25 (2020) 1371–1385.

Emergence of Haldane pseudo-potentials in systems with short-range interactions
R. Seiringer, J. Yngvason, Journal of Statistical Physics 181 (2020) 448–464.

Persistent and reversible solid iodine electrodeposition in nanoporous carbons
C. Prehal, H. Fitzek, G. Kothleitner, V. Presser, B. Gollas, S.A. Freunberger, Q. Abbas, Nature Communications 11 (2020).

Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, S. Früh, B. Bettler, R. Shigemoto, Y. Fukazawa, R. Luján, Brain Pathology 30 (2020) 554–575.

Symmetric simple exclusion process in dynamic environment: Hydrodynamics
F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).