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

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
LibreCat: https://research-explorer.ista.ac.at/record/11498
DOI: 10.1051/0004-6361/202140876
arXiv: 2108.01713

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
LibreCat: https://research-explorer.ista.ac.at/record/11500
DOI: 10.1051/0004-6361/202039887
arXiv: 2102.05516

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
LibreCat: https://research-explorer.ista.ac.at/record/11522
DOI: 10.1093/mnras/stab2762
arXiv: 2004.14496

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
LibreCat: https://research-explorer.ista.ac.at/record/11524
DOI: 10.1093/mnras/stab1218
arXiv: 2105.00007

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
LibreCat: https://research-explorer.ista.ac.at/record/11756
DOI: 10.1016/j.ic.2021.104805
arXiv: 2011.00977

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
LibreCat: https://research-explorer.ista.ac.at/record/11886
DOI: 10.1137/16m1097808
arXiv: 1504.07056

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
LibreCat: https://research-explorer.ista.ac.at/record/7941
DOI: 10.1016/bs.mcb.2020.04.016
PMID: 33478696

McCartney DL, Hillary RF, Conole EL, et al. Blood-based epigenome-wide analyses of cognitive abilities. 2021. doi:10.5281/ZENODO.5794028
LibreCat: https://research-explorer.ista.ac.at/record/13072
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
LibreCat: https://research-explorer.ista.ac.at/record/8757
DOI: 10.1038/s41583-020-00408-6
WoS: 000588256300001
PMID: 33173190

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
LibreCat: https://research-explorer.ista.ac.at/record/9258
DOI: 10.1038/s41592-021-01087-6
WoS: 000625600600007
PMID: 33674797

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
LibreCat: https://research-explorer.ista.ac.at/record/9912
DOI: 10.1007/s00023-021-01085-6
WoS: 000681531500001
arXiv: 1911.05112

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
LibreCat: https://research-explorer.ista.ac.at/record/10002
DOI: 10.1109/LICS52264.2021.9470739
WoS: 000947350400089
arXiv: 2104.07466

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
LibreCat: https://research-explorer.ista.ac.at/record/10004
DOI: 10.1109/LICS52264.2021.9470595
WoS: 000947350400036
arXiv: 2104.07278

Aubret A, Martinet Q, Palacci JA. Metamachines of pluripotent colloids. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-26699-6
LibreCat: https://research-explorer.ista.ac.at/record/10280
DOI: 10.1038/s41467-021-26699-6
WoS: 000714754400010
PMID: 34737315

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
LibreCat: https://research-explorer.ista.ac.at/record/10322
DOI: 10.1371/journal.pbio.3001431
WoS: 000715818400001
PMID: 34723964

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
LibreCat: https://research-explorer.ista.ac.at/record/10609
DOI: 10.1007/978-3-030-92075-3_12
WoS: 000927876200012

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
LibreCat: https://research-explorer.ista.ac.at/record/10223
DOI: 10.1038/s41586-021-04037-6
WoS: 000713338100006
PMID: 34707283

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
LibreCat: https://research-explorer.ista.ac.at/record/10655
DOI: 10.1016/j.omtm.2021.09.006
WoS: 000748748500019

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
LibreCat: https://research-explorer.ista.ac.at/record/9969
DOI: 10.23919/IFIPNetworking52078.2021.9472205
WoS: 000853016800008
arXiv: 2104.04293