The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
LibreCat: https://research-explorer.ista.ac.at/record/10688
DOI: 10.34727/2021/isbn.978-3-85448-046-4_23

M-FAC: Efficient matrix-free approximations of second-order information
E. Frantar, E. Kurtic, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 14873–14886.
LibreCat: https://research-explorer.ista.ac.at/record/11463
arXiv: 2010.08222

Measuring the average molecular gas content of star-forming galaxies at z = 3–4
L.A. Boogaard, R.J. Bouwens, D. Riechers, P. van der Werf, R. Bacon, J.J. Matthee, M. Stefanon, A. Feltre, M. Maseda, H. Inami, M. Aravena, J. Brinchmann, C. Carilli, T. Contini, R. Decarli, J. González-López, T. Nanayakkara, F. Walter, The Astrophysical Journal 916 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/11512
DOI: 10.3847/1538-4357/ac01d7
arXiv: 2105.12489

A deamortization approach for dynamic spanner and dynamic maximal matching
A. Bernstein, S. Forster, M.H. Henzinger, ACM Transactions on Algorithms 17 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/11663
DOI: 10.1145/3469833
arXiv: 1810.10932

Quantifying tissue tension in the granulosa layer after laser surgery
P. Xia, C.-P.J. Heisenberg, in:, R. Dosch (Ed.), Germline Development in the Zebrafish, Humana, 2021, pp. 117–128.
LibreCat: https://research-explorer.ista.ac.at/record/9245
DOI: 10.1007/978-1-0716-0970-5_10
PMID: 33606227

The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
LibreCat: https://research-explorer.ista.ac.at/record/9403

Acyclic subgraphs of tournaments with high chromatic number
J. Fox, M.A. Kwan, B. Sudakov, Bulletin of the London Mathematical Society 53 (2021) 619–630.
LibreCat: https://research-explorer.ista.ac.at/record/9572
DOI: 10.1112/blms.12446
arXiv: 1912.07722

Primitive divisors of sequences associated to elliptic curves with complex multiplication
M. Verzobio, Research in Number Theory 7 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/12308
DOI: 10.1007/s40993-021-00267-9

Electrostatic co-assembly of nanoparticles with oppositely charged small molecules into static and dynamic superstructures
T. Bian, A. Gardin, J. Gemen, L. Houben, C. Perego, B. Lee, N. Elad, Z. Chu, G.M. Pavan, R. Klajn, Nature Chemistry 13 (2021) 940–949.
LibreCat: https://research-explorer.ista.ac.at/record/13357
DOI: 10.1038/s41557-021-00752-9
PMID: 34489564

Derivation of the Landau–Pekar equations in a many-body mean-field limit
N.K. Leopold, D.J. Mitrouskas, R. Seiringer, Archive for Rational Mechanics and Analysis 240 (2021) 383–417.
LibreCat: https://research-explorer.ista.ac.at/record/9246
DOI: 10.1007/s00205-021-01616-9
WoS: 000622226200001
arXiv: 2001.03993

Finite time extinction for the 1D stochastic porous medium equation with transport noise
S. Hensel, Stochastics and Partial Differential Equations: Analysis and Computations 9 (2021) 892–939.
LibreCat: https://research-explorer.ista.ac.at/record/9307
DOI: 10.1007/s40072-021-00188-9
WoS: 000631001700001

The multi-cover persistence of Euclidean balls
H. Edelsbrunner, G.F. Osang, Discrete and Computational Geometry 65 (2021) 1296–1313.
LibreCat: https://research-explorer.ista.ac.at/record/9317
DOI: 10.1007/s00454-021-00281-9
WoS: 000635460400001

Discontinuous epidemic transition due to limited testing
D. Scarselli, N.B. Budanur, M. Timme, B. Hof, Nature Communications 12 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9407
DOI: 10.1038/s41467-021-22725-9
WoS: 000687305500044

Divergence among rice cultivars reveals roles for transposition and epimutation in ongoing evolution of genomic imprinting
J.A. Rodrigues, P.-H. Hsieh, D. Ruan, T. Nishimura, M.K. Sharma, R. Sharma, X. Ye, N.D. Nguyen, S. Nijjar, P.C. Ronald, R.L. Fischer, D. Zilberman, Proceedings of the National Academy of Sciences 118 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9877
DOI: 10.1073/pnas.2104445118
WoS: 000685037700012
PMID: 34272287

Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
LibreCat: https://research-explorer.ista.ac.at/record/10108
DOI: 10.1007/978-3-030-88494-9_12
WoS: 000719383800012

Structure and assembly of the mammalian mitochondrial supercomplex CIII<sub>2</sub>CIV
I. Vercellino, L.A. Sazanov, Nature 598 (2021) 364–367.
LibreCat: https://research-explorer.ista.ac.at/record/10146
DOI: 10.1038/s41586-021-03927-z
WoS: 000704581600001
PMID: 34616041

Cryo-EM structure of a functional monomeric Photosystem I from Thermosynechococcus elongatus reveals red chlorophyll cluster
M.O. Çoruh, A. Frank, H. Tanaka, A. Kawamoto, E. El-Mohsnawy, T. Kato, K. Namba, C. Gerle, M.M. Nowaczyk, G. Kurisu, Communications Biology 4 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10310
DOI: 10.1038/s42003-021-01808-9
WoS: 000627440700001
PMID: 33686186

SoK: Communication across distributed ledgers
A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris Kogias, P. Moreno-Sanchez, A. Kiayias, W.J. Knottenbelt, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 3–36.
LibreCat: https://research-explorer.ista.ac.at/record/10325
DOI: 10.1007/978-3-662-64331-0_1
WoS: 000712016200001

Brick: Asynchronous incentive-compatible payment channels
Z. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 209–230.
LibreCat: https://research-explorer.ista.ac.at/record/10324
DOI: 10.1007/978-3-662-64331-0_11
WoS: 000712016200011
arXiv: 1905.11360

Trojan-resilience without cryptography
S. Chakraborty, S. Dziembowski, M. Gazka, T. Lizurej, K.Z. Pietrzak, M.X. Yeo, in:, Springer Nature, 2021, pp. 397–428.
LibreCat: https://research-explorer.ista.ac.at/record/10407
DOI: 10.1007/978-3-030-90453-1_14
WoS: 000728364000014