Alicia Merayo

According to our database, Alicia Merayo authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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., December, 2025

Certified Cost Bounds for Abstract Programs.

Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel

ACM Trans. Softw. Eng. Methodol., March, 2025

2024

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

Proceedings of the 37th IEEE International Symposium on Computer-Based Medical Systems, 2024

2022

When COSTA Met KeY: Verified Cost Bounds.

Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Certified Abstract Cost Analysis.

Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel

Proceedings of the Fundamental Approaches to Software Engineering, 2021

Lower-Bound Synthesis Using Loop Specialization and Max-SMT.

Elvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021