Delia Aminta Moreno-Perdomo, Virginia González-Diez, Antonio Jesús Díaz-Honrubia, Lucía Prieto Santamaría, Guillermo Vigueras, Alejandro Rodríguez González, Paloma Tejera-Nevado.
Visual Analytics of Lung Cancer Risk in a Virtual Research Environment.
Bioinspired Intelligent Systems: From Robotics and Computer Vision
to Trustworthy Applications - 11th International Work-Conference on
the Interplay Between Natural and Artificial Computation, IWINAC
2026, Canary Islands, Spain, May 26-29, 2026, Proceedings, Part II.
In José Manuel Ferrández de Vicente and
Mikel Val-Calvo and
Hojjat Adeli, editor
Springer.
16575.
465--474.
2026.
10.1007/978-3-032-27317-8_44.
Elvira Albert, Samir Genaim, Enrique Martin-Martin.
Towards Formally Verified Smart Contracts Compilation.
Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan,
May 18-22, 2026, Proceedings, Part II.
In Augusto Sampaio and
Mariëlle Stoelinga, editor
Springer.
16557.
255--274.
2026.
10.1007/978-3-032-26220-2_13.
Jose Luis Fernández-Pascual, Francisco Javier Pérez-Blanco, Juan Manuel Vara, Cristian Gómez Macías, David Granada.
Beyond Directly\unicode8209Follows Graphs: Graphical Modelling
in Process Mining.
Proceedings of the 21st International Conference on Evaluation of
Novel Approaches to Software Engineering, ENASE 2026, Benidorm,
Spain, May 22-24, 2026, Volume 2.
In Mike Mannion and
Tomi Männistö and
Leszek A. Maciaszek, editor
SCITEPRESS.
1141--1148.
2026.
10.5220/0014830900004015.
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.
Delia Aminta Moreno-Perdomo, Paloma Tejera-Nevado, Lucía Prieto Santamaría, Guillermo Vigueras, Antonio Jesús Díaz-Honrubia, Alejandro Rodríguez González.
Lung-CABO: Lung Cancer Concepts Association Biological Ontology.
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.
660--663.
2025.
10.1109/CBMS65348.2025.00136.
Yusdivia Molina-Román, David Gómez-Ortiz, Ernestina Menasalvas Ruiz, José Gerardo Tamez-Peña, Alejandro Santos-Díaz.
Comparison of ConvNeXt and Vision-Language Models for Breast Density
Assessment in Screening Mammography.
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.
636--641.
2025.
10.1109/CBMS65348.2025.00132.
Marcel Luis Palacios-Jaén, Lucía Prieto Santamaría, Ernestina Menasalvas, Alejandro Rodríguez González.
Using ChatGPT to Structure Phenotypical Entities from Disease Texts.
MEDINFO 2025 - Healthcare Smart \texttimes Medicine Deep - Proceedings
of the 20th World Congress on Medical and Health Informatics, Taipei,
Taiwan, 9-13 August 2025.
In Mowafa S. Househ and
Zain Ul Abideen Tariq and
Mahmood Al-Zubaidi and
Uzair Shah and
Elaine Huesing, editor
IOS Press.
329.
1808--1809.
2025.
10.3233/SHTI251225.