Lower-Bound Synthesis Using Loop Specialization and Max-SMT. - Elvira Albert; Samir Genaim; Enrique Martin-Martin; Alicia Merayo; Albert Rubio (CAV (2), 2021)

Certified Abstract Cost Analysis. - Elvira Albert; Reiner Hähnle; Alicia Merayo; Dominic Steinhöfel (FASE, 2021)

When COSTA Met KeY: Verified Cost Bounds. - Elvira Albert; Samir Genaim; Alicia Merayo; Guillermo Román-Díez (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Machine Learning in Predicting the Success of Spine Surgery: A Multivariable Study. - José Alberto Benítez-Andrades; Nicolás Ordás-Reyes; Antonio Serrano-García; Marta Esteban Blanco; Jesús Betegón Nicolás; José Viloria Gutiérrez; José Ángel Hernández Encinas; Ana Lozano Muñoz; Alicia Merayo; Camino Prada-García (CBMS, 2024)

Certified Cost Bounds for Abstract Programs. - Elvira Albert; Reiner Hähnle; Alicia Merayo; Dominic Steinhöfel (ACM Trans. Softw. Eng. Methodol., 2025)

Enhanced prediction of spine surgery outcomes using advanced machine learning techniques and oversampling methods. - José Alberto Benítez-Andrades; Camino Prada-García; Nicolás Ordás-Reyes; Marta Esteban Blanco; Alicia Merayo; Antonio Serrano-García (Health Inf. Sci. Syst., 2025)