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

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

Boogaard LA, Bouwens RJ, Riechers D, et al. Measuring the average molecular gas content of star-forming galaxies at z = 3–4. The Astrophysical Journal. 2021;916(1). doi:10.3847/1538-4357/ac01d7
LibreCat: https://research-explorer.ista.ac.at/record/11512
DOI: 10.3847/1538-4357/ac01d7
arXiv: 2105.12489

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

Xia P, Heisenberg C-PJ. Quantifying tissue tension in the granulosa layer after laser surgery. In: Dosch R, ed. Germline Development in the Zebrafish. Vol 2218. Humana; 2021:117-128. doi:10.1007/978-1-0716-0970-5_10
LibreCat: https://research-explorer.ista.ac.at/record/9245
DOI: 10.1007/978-1-0716-0970-5_10
PMID: 33606227

Schmid L, Hilbe C. The evolution of strategic ignorance in strategic interaction. In: Hertwig R, Engel C, eds. Deliberate Ignorance: Choosing Not To Know. Vol 29. Strüngmann Forum Reports. MIT Press; 2021:139-152.
LibreCat: https://research-explorer.ista.ac.at/record/9403

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

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

Bian T, Gardin A, Gemen J, et al. Electrostatic co-assembly of nanoparticles with oppositely charged small molecules into static and dynamic superstructures. Nature Chemistry. 2021;13(10):940-949. doi:10.1038/s41557-021-00752-9
LibreCat: https://research-explorer.ista.ac.at/record/13357
DOI: 10.1038/s41557-021-00752-9
PMID: 34489564

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

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

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

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

Rodrigues JA, Hsieh P-H, Ruan D, et al. Divergence among rice cultivars reveals roles for transposition and epimutation in ongoing evolution of genomic imprinting. Proceedings of the National Academy of Sciences. 2021;118(29). doi:10.1073/pnas.2104445118
LibreCat: https://research-explorer.ista.ac.at/record/9877
DOI: 10.1073/pnas.2104445118
WoS: 000685037700012
PMID: 34272287

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

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

Çoruh MO, Frank A, Tanaka H, et al. Cryo-EM structure of a functional monomeric Photosystem I from Thermosynechococcus elongatus reveals red chlorophyll cluster. Communications Biology. 2021;4(1). doi:10.1038/s42003-021-01808-9
LibreCat: https://research-explorer.ista.ac.at/record/10310
DOI: 10.1038/s42003-021-01808-9
WoS: 000627440700001
PMID: 33686186

Zamyatin A, Al-Bassam M, Zindros D, et al. SoK: Communication across distributed ledgers. In: 25th International Conference on Financial Cryptography and Data Security. Vol 12675. Springer Nature; 2021:3-36. doi:10.1007/978-3-662-64331-0_1
LibreCat: https://research-explorer.ista.ac.at/record/10325
DOI: 10.1007/978-3-662-64331-0_1
WoS: 000712016200001

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

Chakraborty S, Dziembowski S, Gazka M, Lizurej T, Pietrzak KZ, Yeo MX. Trojan-resilience without cryptography. In: Vol 13043. Springer Nature; 2021:397-428. doi:10.1007/978-3-030-90453-1_14
LibreCat: https://research-explorer.ista.ac.at/record/10407
DOI: 10.1007/978-3-030-90453-1_14
WoS: 000728364000014