Follow
Rocío Aldeco-Pérez
Title
Cited by
Cited by
Year
Provenance-based auditing of private data use
R Aldeco Perez, L Moreau
BCS, The Chartered Institute for IT, 2008
542008
Securing provenance-based audits
R Aldeco-Pérez, L Moreau
International Provenance and Annotation Workshop, 148-164, 2010
232010
Performance analysis of the confidentiality security service in the IEEE 802.11 using WEP, AES-CCM, and ECC
MA Leon Chavez, R Aldeco-Perez, S Merino
2005 2nd International Conference on Electrical and Electronics Engineering …, 2005
202005
A provenance-based compliance framework
R Aldeco-Pérez, L Moreau
Future Internet Symposium, 128-137, 2010
162010
Academic approach to transform organisations: one engineer at a time
E Juárez, R Aldeco-Pérez, JM Velázquez
IET Software 14 (2), 106-114, 2020
132020
From craftsmen into engineers during undergraduate education
E Juárez, E Fernández, J Velázquez, R Aldeco-Pérez, L Rodríguez, ...
Trends and Applications in Software Engineering: Proceedings of the 7th …, 2019
52019
Database management system verification with separation logics
D Medina-Martínez, E Bárcenas, G Molero-Castillo, A Velázquez-Mena, ...
Programming and Computer Software 47, 654-672, 2021
32021
Tender system verification with satisfiability modulo theories
R Dávila, R Aldeco-Pérez, E Bárcenas
2021 9th International Conference in Software Engineering Research and …, 2021
32021
Information accountability supported by a provenance-based compliance framework
R Aldeco-Perez, L Moreau
32009
Formal Verification of Blockchain Based Tender Systems
R Dávila, R Aldeco-Pérez, E Bárcenas
Programming and Computer Software 48 (8), 566-582, 2022
22022
Un reto basado en investigación para el desarrollo de competencias
R Aldeco–Pérez, E Juárez, B Valdés
3er Congreso Internacional de Innovación Educativa CIIE, 2016
22016
Evaluar la Calidad de los Objetos de Aprendizaje mediante Linaje Electrónico
R Aldeco-Pérez, MAL Chávez
El Desarrollo de los Recursos Digitales para la Educación en México, 2013
22013
UML model and implementation of the IEEE 802.11 authentication and privacy services using elliptic curves cryptosystems
R Aldeco-Perez, MA León Chavez
Research on Computing Science 13, 149-158, 2005
22005
Modeling a multi-layered blockchain framework for digital services that governments can implement
F Rebollar, R Aldeco-Perez, MA Ramos
Journal of Intelligent & Fuzzy Systems 42 (5), 4551-4562, 2022
12022
Geolocation of tweets in Spanish with transformer encoders
AD Ambrosio-Aguilar, E Bárcenas, G Molero-Castillo, R Aldeco-Pérez
2021 9th International Conference in Software Engineering Research and …, 2021
12021
Sobre la automatización del razonamiento y el aprendizaje en lógicas modales.
Y Limón, E Bárcenas, G Molero-Castillo, R Aldeco-Pérez
Res. Comput. Sci. 149 (8), 893-906, 2020
12020
A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence.
JM Benítez, G Molero-Castillo, E Bárcenas, R Aldeco-Pérez, ...
Res. Comput. Sci. 149 (11), 115-124, 2020
12020
BLOCKCHAIN AND SATISFIABILITY MODULO THEORIES FOR TENDER SYSTEMS
R Dávila, R Aldeco-Pérez, E Bárcenas
Труды Института системного программирования РАН 35 (1), 113-122, 2023
2023
Principios de Blockchain
R Aldeco Pérez
Cursos/Seguridad/2022, 2022
2022
Trazabilidad de imágenes digitales usando Blockchain
JAJ Miramontes, R Aldeco-Pérez
Research in Computing Science 151 (9), 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20