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
552008
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
142020
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
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
32022
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
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
22021
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
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
1*2022
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
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
On the Formal Verification of Smart Contracts
R Dávila, R Aldeco-Pérez, E Bárcenas
2023 11th International Conference in Software Engineering Research and …, 2023
2023
A satisfiability algorithm for multimodal logic with converse
D Medina-Martínez, E Bárcenas, R Aldeco-Pérez, G Molero-Castillo, ...
2023 11th International Conference in Software Engineering Research and …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20