Follow
Rocío Aldeco-Pérez
Title
Cited by
Cited by
Year
Provenance-based auditing of private data use
R Aldeco-Perez, L Moreau
Visions of Computer Science-BCS International Academic Conference, 141-152, 2008
512008
Securing provenance-based audits
R Aldeco-Pérez, L Moreau
International Provenance and Annotation Workshop, 148-164, 2010
212010
Performance analysis of the confidentiality security service in the IEEE 802.11 using WEP, AES-CCM, and ECC
M Leon, R Aldeco, S Merino
2005 2nd International Conference on Electrical and Electronics Engineering …, 2005
192005
A provenance-based compliance framework
R Aldeco-Pérez, L Moreau
Future Internet Symposium, 128-137, 2010
132010
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
62020
From craftsmen into engineers during undergraduate education
E Juárez, E Fernández, J Velázquez, R Aldeco-Pérez, L Rodríguez, ...
International Conference on Software Process Improvement, 31-40, 2018
42018
Information accountability supported by a provenance-based compliance framework
R Aldeco-Perez, L Moreau
32009
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
Provenance-based Auditing of Private Data Use
RA Perez, L Moreau
August, 2008
22008
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
12013
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
2022
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 (8), 654-672, 2021
2021
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
2021
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
2021
Marco de referencia para trazabilidad y almacenamiento de activos digitales
JAJ Miramontes, R Aldeco-Pérez
Encuentro Nacional de Computación 2021 1 (1), 14--18, 2021
2021
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
2020
Aplicaciones de la computacion
AIMG Rocío Aldeco- Pérez
2020
Introducción a la Ciberseguridad y sus aplicaciones en México
RA Pérez, GG García, LMR Henríquez
Academia Mexicana de Computación, A. C., 2020
2020
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
2020
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
2020
The system can't perform the operation now. Try again later.
Articles 1–20