Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &; Saghafian, M. (2021). Counting cells of order-k voronoi tessellations in d<sup>3</sup> with morse theory. In Leibniz International Proceedings in Informatics (Vol. 189). Online: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2021.16 
LibreCat: https://research-explorer.ista.ac.at/record/9604
DOI: 10.4230/LIPIcs.SoCG.2021.16

Alistarh, D.-A., &; Davies, P. (2021). Collecting coupons is faster with friends. In Structural Information and Communication Complexity (Vol. 12810, pp. 3–12). Wrocaw, Poland: Springer Nature.https://doi.org/10.1007/978-3-030-79527-6_1 
LibreCat: https://research-explorer.ista.ac.at/record/9620
DOI: 10.1007/978-3-030-79527-6_1

Auerbach, B., Chakraborty, S., Klein, K., Pascual Perez, G., Pietrzak, K. Z., Walter, M., &; Yeo, M. X. (2021). Inverse-Sybil attacks in automated contact tracing. In Topics in Cryptology – CT-RSA 2021 (Vol. 12704, pp. 399–421). Virtual Event: Springer Nature.https://doi.org/10.1007/978-3-030-75539-3_17 
LibreCat: https://research-explorer.ista.ac.at/record/9826
DOI: 10.1007/978-3-030-75539-3_17

Laarhoven, T., &; Walter, M. (2021). Dual lattice attacks for closest vector problems (with preprocessing). In Topics in Cryptology – CT-RSA 2021 (Vol. 12704, pp. 478–502). Virtual Event: Springer Nature.https://doi.org/10.1007/978-3-030-75539-3_20 
LibreCat: https://research-explorer.ista.ac.at/record/9825
DOI: 10.1007/978-3-030-75539-3_20

Alistarh, D.-A., Ellen, F., &; Rybicki, J. (2021). Wait-free approximate agreement on graphs. In Structural Information and Communication Complexity (Vol. 12810, pp. 87–105). Wrocaw, Poland: Springer Nature.https://doi.org/10.1007/978-3-030-79527-6_6 
LibreCat: https://research-explorer.ista.ac.at/record/9823
DOI: 10.1007/978-3-030-79527-6_6
arXiv: 2103.08949

comi, L., Zrour, R., Largeteau-Skapin, G., Biswas, R., &; Andres, E. (2021). Body centered cubic grid - coordinate system and discrete analytical plane definition. In Discrete Geometry and Mathematical Morphology (Vol. 12708, pp. 152–163). Uppsala, Sweden: Springer Nature.https://doi.org/10.1007/978-3-030-76657-3_10 
LibreCat: https://research-explorer.ista.ac.at/record/9824
DOI: 10.1007/978-3-030-76657-3_10

Prehal, C., Talian, S. D., Vizintin, A., Amenitsch, H., Dominko, R., Freunberger, S. A., &; Wood, V. (n.d.). Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. Research Square.https://doi.org/10.21203/rs.3.rs-818607/v1 
LibreCat: https://research-explorer.ista.ac.at/record/9980
DOI: 10.21203/rs.3.rs-818607/v1

Bansal, S., Chatterjee, K., &; Vardi, M. Y. (2021). On satisficing in quantitative games. In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 12651, pp. 20–37). Luxembourg City, Luxembourg: Springer Nature.https://doi.org/10.1007/978-3-030-72016-2 
LibreCat: https://research-explorer.ista.ac.at/record/12767
DOI: 10.1007/978-3-030-72016-2
arXiv: 2101.02594

Hensel, S., &; Laux, T. (n.d.). A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. arXiv.https://doi.org/10.48550/arXiv.2109.04233 
LibreCat: https://research-explorer.ista.ac.at/record/10011
DOI: 10.48550/arXiv.2109.04233
arXiv: 2109.04233

Arguin, L.-P., Dubach, G., &; Hartung, L. (n.d.). Maxima of a random model of the Riemann zeta function over intervals of varying length. arXiv.https://doi.org/10.48550/arXiv.2103.04817 
LibreCat: https://research-explorer.ista.ac.at/record/9230
DOI: 10.48550/arXiv.2103.04817
arXiv: 2103.04817

Dubach, G., &; Mühlböck, F. (n.d.). Formal verification of Zagier’s one-sentence proof. arXiv.https://doi.org/10.48550/arXiv.2103.11389 
LibreCat: https://research-explorer.ista.ac.at/record/9281
DOI: 10.48550/arXiv.2103.11389
arXiv: 2103.11389

Kavcic, B., &; Tkadik, G. (n.d.). Token-driven totally asymmetric simple exclusion process. arXiv.https://doi.org/10.48550/arXiv.2112.13558 
LibreCat: https://research-explorer.ista.ac.at/record/10579
DOI: 10.48550/arXiv.2112.13558
arXiv: 2112.13558

Calcabrini, M., Van den Eynden, D., Sanchez Ribot, S., Pokratath, R., Llorca, J., De Roo, J., &; Ibáñez, M. (2021). Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate. JACS Au. American Chemical Society.https://doi.org/10.1021/jacsau.1c00349 
LibreCat: https://research-explorer.ista.ac.at/record/10806
DOI: 10.1021/jacsau.1c00349

Schlögl, A., Elefante, S., Hornoiu, A., &; Stadlbauer, S. (2021). Managing software on a heterogenous HPC cluster. In ASHP – Austrian-Slovenian HPC Meeting 2021 (p. 5). Virtual: University of Ljubljana.https://doi.org/10.3359/2021hpc 
LibreCat: https://research-explorer.ista.ac.at/record/12909
DOI: 10.3359/2021hpc

Peste, E.-A., Iofinova, E. B., Vladu, A., &; Alistarh, D.-A. (2021). AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 8557–8570). Virtual, Online: Curran Associates.
LibreCat: https://research-explorer.ista.ac.at/record/11458
arXiv: 2106.12379

Brooks, M., Lemeshko, M., Lundholm, D., &; Yakaboylu, E. (2021). Emergence of anyons on the two-sphere in molecular impurities. Atoms. MDPI.https://doi.org/10.3390/atoms9040106 
LibreCat: https://research-explorer.ista.ac.at/record/10585
DOI: 10.3390/atoms9040106
arXiv: 2108.06966

Alimisis, F., Davies, P., &; Alistarh, D.-A. (2021). Communication-efficient distributed optimization with quantized preconditioners. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 196–206). Virtual: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/13147
arXiv: 2102.07214

Nguyen, Q., Mondelli, M., &; Montufar, G. (2021). Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 8119–8129). Virtual: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/13146
arXiv: 2012.11654

Henzinger, T. A., Lechner, M., &; Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10665
arXiv: 2012.08185

Lechner, M., dikeli, Ð., Chatterjee, K., &; Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.https://doi.org/10.48550/arXiv.2111.03165 
LibreCat: https://research-explorer.ista.ac.at/record/10667
DOI: 10.48550/arXiv.2111.03165
arXiv: 2111.03165