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.
LibreCat: https://research-explorer.ista.ac.at/record/10414
DOI: 10.1007/978-3-030-90870-6_33
WoS: 000758218600033
arXiv: 2108.02188

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).
LibreCat: https://research-explorer.ista.ac.at/record/11503
DOI: 10.1051/0004-6361/201937340
arXiv: 2003.12083

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.
LibreCat: https://research-explorer.ista.ac.at/record/11533
DOI: 10.1093/mnras/staa093
arXiv: 1910.02959

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.
LibreCat: https://research-explorer.ista.ac.at/record/11539
DOI: 10.1093/mnras/staa476
arXiv: 1909.11672

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).
LibreCat: https://research-explorer.ista.ac.at/record/11610
DOI: 10.3847/1538-4365/abbee3
arXiv: 2012.04051

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.
LibreCat: https://research-explorer.ista.ac.at/record/11979
DOI: 10.1038/s41929-020-0473-6

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).
LibreCat: https://research-explorer.ista.ac.at/record/8402
DOI: 10.1186/s12915-019-0733-6
PMID: 31907035

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.
LibreCat: https://research-explorer.ista.ac.at/record/8571
DOI: 10.29007/zkf6

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.
LibreCat: https://research-explorer.ista.ac.at/record/9040
DOI: 10.34727/2020/isbn.978-3-85448-042-6_21

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.
LibreCat: https://research-explorer.ista.ac.at/record/7474
DOI: 10.15479/AT:ISTA:7474

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.
LibreCat: https://research-explorer.ista.ac.at/record/7952
DOI: 10.4230/LIPIcs.SoCG.2020.20

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).
LibreCat: https://research-explorer.ista.ac.at/record/13466
DOI: 10.1051/0004-6361/201936743
arXiv: 1911.03477

MURL_Dataz
M.C. Ucar, R. Lipowsky, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/9885
DOI: 10.1021/acs.nanolett.9b04445.s002

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).
LibreCat: https://research-explorer.ista.ac.at/record/7632
DOI: 10.1038/s41598-020-62089-6
WoS: 000560406800007

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.
LibreCat: https://research-explorer.ista.ac.at/record/7792
DOI: 10.1038/s41563-020-0665-0
WoS: 000526218500004
PMID: 32284598

The PBW theorem for affine Yangians
Y. Yang, G. Zhao, Transformation Groups 25 (2020) 1371–1385.
LibreCat: https://research-explorer.ista.ac.at/record/7940
DOI: 10.1007/s00031-020-09572-6
WoS: 000534874300003
arXiv: 1804.04375

Emergence of Haldane pseudo-potentials in systems with short-range interactions
R. Seiringer, J. Yngvason, Journal of Statistical Physics 181 (2020) 448–464.
LibreCat: https://research-explorer.ista.ac.at/record/8091
DOI: 10.1007/s10955-020-02586-0
WoS: 000543030000002
arXiv: 2001.07144

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).
LibreCat: https://research-explorer.ista.ac.at/record/8568
DOI: 10.1038/s41467-020-18610-6
WoS: 000573756600004

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.
LibreCat: https://research-explorer.ista.ac.at/record/7207
DOI: 10.1111/bpa.12802
WoS: 000502270900001
PMID: 31729777

Symmetric simple exclusion process in dynamic environment: Hydrodynamics
F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8973
DOI: 10.1214/20-EJP536
WoS: 000591737500001
arXiv: 1811.01366