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, 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
152010
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
42021
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
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
Formal verification of a database management system
D Medina-Martínez, E Bárcenas, G Molero-Castillo, A Velázquez-Mena, ...
2020 8th International Conference in Software Engineering Research and …, 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
Algorithm for Identification and Analysis of Targeted Advertising used in Trending Topics
D Riaño Enriquez, G Molero-Castillo, E Bárcenas, R Aldeco-Pérez
Latin American and Caribbean Consortium of Engineering Institutions 20, 1--7, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20