Alejandro Rodríguez González, Victor Robles, Juan José Cubillas Mercado, Juan Manuel Martínez Pérez, Jose Luis González Mendez, Ernestina Menasalvas Ruiz.
ELADAIS: An Integrated Platform for High-Impact Clinical Data Extraction,
Standardization and Advanced Analytics Using OMOP-CDM.
38th IEEE International Symposium on Computer-Based Medical Systems,
CBMS 2025, Madrid, Spain, June 18-20, 2025.
In Alejandro Rodríguez González and
Rosa Sicilia and
Lucía Prieto Santamaría and
George A. Papadopoulos and
Valerio Guarrasi and
Mirela Teixeira Cazzolato and
Bridget Kane, editor
IEEE.
727--731.
2025.
10.1109/CBMS65348.2025.00151.
Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Enrique Martin-Martin, Albert Rubio.
Securely Optimized (Ethereum) Smart Contracts Using Formal Methods.
Software Engineering and Formal Methods - 23rd International Conference,
SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings.
In Domenico Bianculli and
Elena Gómez-Martínez, editor
Springer.
16192.
3--11.
2025.
10.1007/978-3-032-10444-1_1.