Auerbach B, Günther CU, Pietrzak KZ. 2024. Trapdoor memory-hard functions. 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques. EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, LNCS, vol. 14653, 315–344.

Zakerinia H, Talaei S, Nadiradze G, Alistarh D-A. 2024. Communication-efficient federated learning with data and client heterogeneity. Proceedings of the 27th International Conference on Artificial Intelligence and Statistics. AISTATS: Conference on Artificial Intelligence and Statistics, PMLR, vol. 238, 3448–3456.

Heintz KE, Watson D, Brammer G, Vejlgaard S, Hutter A, Strait VB, Matthee JJ, Oesch PA, Jakobsson P, Tanvir NR, Laursen P, Naidu RP, Mason CA, Killi M, Jung I, Hsiao TYY, Abdurro’Uf U, Coe D, Haro PA, Finkelstein SL, Toft S. 2024. Strong damped Lyman-a absorption in young star-forming galaxies at redshifts 9 to 11. Science. 384(6698), 890–894.

Hibshman GN, Bravo JPK, Hooper MM, Dangerfield TL, Zhang H, Finkelstein IJ, Johnson KA, Taylor DW. 2024. Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Ca. Nature Communications. 15, 3663.

Tairi E, Ünal A. 2024. Lower bounds for lattice-based compact functional encryption. Advances in Cryptology – EUROCRYPT 2024. EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, LNCS, vol. 14652, 249–279.

Zeller P, Yeung J, Viñas Gaza H, de Barbanson BA, Bhardwaj V, Florescu M, van der Linden R, van Oudenaarden A. 2023. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 55, 333–345.

Arroyo-Urea S, Watson J, García-Nafría J. 2023.Molecular Cloning Using In Vivo DNA Assembly. In: DNA Manipulation and Analysis. Methods in Molecular Biology, vol. 2633, 33–44.

Aksenov V, Brown TA, Fedorov A, Kokorin I. 2023. Unexpected scaling in path copying trees, Association for Computing Machinery,p.

Chalupa M, Henzinger TA. 2023. Bubaak: Runtime monitoring of program verifiers. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 535–540.

Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. Vamos: Middleware for best-effort third-party monitoring. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13991, 260–281.

Hoffmann C, Hubádek P, Kamath C, Pietrzak KZ. 2023. Certifying giant nonprimes. Public-Key Cryptography - PKC 2023. PKC: Public-Key Cryptography, LNCS, vol. 13940, 530–553.

Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. A learner-verifier framework for neural network controllers and certificates of stochastic systems. Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993, 3–25.

Anand A, Mallik K, Nayak SP, Schmuck AK. 2023. Computing adequately permissive assumptions for synthesis. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 211–228.

Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures, LNCS, vol. 13992, 349–370.

Gómez A, Oliveira G. 2023. New approaches to epidemic modeling on networks. Scientific Reports. 13, 468.

García-Romero Á, Waters JE, Jethwa RB, Bond AD, Colebatch AL, García-Rodríguez R, Wright DS. 2023. Highly adaptive nature of group 15 tris(quinolyl) ligandsstudies with coinage metals. Inorganic Chemistry. 62(11), 4625–4636.

Karle V, Ghazaryan A, Lemeshko M. 2023. Topological charges of periodically kicked molecules. Physical Review Letters. 130(10), 103202.

Clark Di Leoni P, Agasthya LN, Buzzicotti M, Biferale L. 2023. Reconstructing Rayleigh–Bénard flows out of temperature-only measurements using Physics-Informed Neural Networks. The European Physical Journal E. 46(3), 16.

Ljubotina M, Desaules JY, Serbyn M, Papi Z. 2023. Superdiffusive energy transport in kinetically constrained models. Physical Review X. 13(1), 011033.

Clozeau N, Josien M, Otto F, Xu Q. 2023. Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics.