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

Schmidt KB, Kerutt J, Wisotzki L, et al. Recovery and analysis of rest-frame UV emission lines in 2052 galaxies observed with MUSE at 1.5 &; z &; 6.4. Astronomy &; Astrophysics. 2021;654. doi:10.1051/0004-6361/202140876

Bacon R, Mary D, Garel T, et al. The MUSE Extremely Deep Field: The cosmic web in emission at high redshift. Astronomy &; Astrophysics. 2021;647. doi:10.1051/0004-6361/202039887

Gronke M, Ocvirk P, Mason C, et al. Lyman-;1 transmission properties of the intergalactic medium in the CoDaII simulation. Monthly Notices of the Royal Astronomical Society. 2021;508(3):3697-3709. doi:10.1093/mnras/stab2762

Santos S, Sobral D, Butterworth J, et al. The evolution of the UV luminosity and stellar mass functions of Lyman-;1 emitters from z c 2 to z c 6. Monthly Notices of the Royal Astronomical Society. 2021;505(1):1117-1134. doi:10.1093/mnras/stab1218

Henzinger MH, Peng P. Constant-time dynamic weight approximation for minimum spanning forest. Information and Computation. 2021;281(12). doi:10.1016/j.ic.2021.104805

Henzinger MH, Krinninger S, Nanongkai D. A deterministic almost-tight distributed algorithm for approximating single-source shortest paths. SIAM Journal on Computing. 2021;50(3):STO-98-STO-137. doi:10.1137/16m1097808

Truckenbrodt SM, Rizzoli SO. Simple multi-color super-resolution by10.1016/bs.mcb.2020.04.016__microscopy. In: Methods in Cell Biology. Vol 161. Elsevier; 2021:33-56. doi:10.1016/bs.mcb.2020.04.016

McCartney DL, Hillary RF, Conole EL, et al. Blood-based epigenome-wide analyses of cognitive abilities. 2021. doi:10.5281/ZENODO.5794028

Bozelos P, Vogels TP. Talking science, online. Nature Reviews Neuroscience. 2021;22(1):1-2. doi:10.1038/s41583-020-00408-6

Pinkard H, Stuurman N, Ivanov IE, et al. Pycro-Manager: Open-source software for customized and reproducible microscope control. Nature Methods. 2021;18(3):226-228. doi:10.1038/s41592-021-01087-6

Erdös L, Krüger TH, Nemish Y. Scattering in quantum dots via noncommutative rational functions. Annales Henri Poincaré . 2021;22:4205–4269. doi:10.1007/s00023-021-01085-6

Chatterjee K, Dvorak W, Henzinger MH, Svozil A. Symbolic time and space tradeoffs for probabilistic verification. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470739

Chatterjee K, Doyen L. Stochastic processes with expected stopping time. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470595

Aubret A, Martinet Q, Palacci JA. Metamachines of pluripotent colloids. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-26699-6

Chauve L, Hodge F, Murdoch S, et al. Neuronal HSF-1 coordinates the propagation of fat desaturation across tissues to enable adaptation to high temperatures in C. elegans. PLoS Biology. 2021;19(11). doi:10.1371/journal.pbio.3001431

Chakraborty S, Ganesh C, Pancholi M, Sarkar P. Reverse firewalls for adaptively secure MPC without setup. In: 27th International Conference on the Theory and Application of Cryptology and Information Security. Vol 13091. Springer Nature; 2021:335-364. doi:10.1007/978-3-030-92075-3_12

Li L, Verstraeten I, Roosjen M, et al. Cell surface and intracellular auxin signalling for H<sup>+</sup> fluxes in root growth. Nature. 2021;599(7884):273-277. doi:10.1038/s41586-021-04037-6

Maes ME, Wögenstein GM, Colombo G, Casado Polanco R, Siegert S. Optimizing AA/6 microglial targeting identified enhanced efficiency in the photoreceptor degenerative environment. Molecular Therapy - Methods and Clinical Development. 2021;23:210-224. doi:10.1016/j.omtm.2021.09.006

Pietrzak KZ, Salem I, Schmid S, Yeo MX. LightPIR: Privacy-preserving route discovery for payment channel networks. In: IEEE; 2021. doi:10.23919/IFIPNetworking52078.2021.9472205