Provenance-based auditing of private data use R Aldeco Perez, L Moreau BCS, The Chartered Institute for IT, 2008 | 56 | 2008 |
Securing provenance-based audits R Aldeco-Pérez, L Moreau International Provenance and Annotation Workshop, 148-164, 2010 | 23 | 2010 |
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 | 20 | 2005 |
A provenance-based compliance framework R Aldeco-Pérez, L Moreau Future Internet Symposium, 128-137, 2010 | 17 | 2010 |
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 | 14 | 2020 |
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 | 5 | 2019 |
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 | 3 | 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 | 3* | 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, 654-672, 2021 | 3 | 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 | 3 | 2021 |
Information accountability supported by a provenance-based compliance framework R Aldeco-Perez, L Moreau | 3 | 2009 |
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 | 2 | 2021 |
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 | 2 | 2016 |
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 | 2 | 2013 |
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 | 2 | 2005 |
Blockchain and satisfiability modulo theories for tender systems R Dávila, R Aldeco-Pérez, E Barcenas Труды Института системного программирования РАН 35 (1), 113-122, 2023 | 1 | 2023 |
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 | 1 | 2022 |
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 | 1 | 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 | 1 | 2020 |
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 |