Rocío Aldeco-Pérez

According to our database, Rocío Aldeco-Pérez authored at least 21 papers between 2005 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

OWL Consistency Models in Smart Contracts Design.

René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas

Int. J. Comb. Optim. Probl. Informatics, 2026

2025

Consistency in Smart Contracts Design.

René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas

Program. Comput. Softw., December, 2025

Smart Contracts Formal Verification: A Systematic Literature Review.

René Dávila, Everardo Bárcenas, Rocío Aldeco-Pérez

CoRR, October, 2025

Blockchain-based decentralization approach for Ciphertext-Policy Attribute-Based Encryption schemes.

Melissa Brigitthe Hinojosa-Cabello, Rocío Alejandra Aldeco-Pérez, Miguel Morales-Sandoval, Jose Juan Garcia-Hernandez

Frontiers Blockchain, 2025

Protocolos criptográficos de consenso en blockchain para el Internet de las cosas.

Luis Miguel Saldaña Trejo, Gina Gallegos-García, Rocío Aldeco-Pérez

Computación y Sistemas (CyS), 2025

2023

Elderly Mortality from COVID-19 in Mexico City: A Computational Intelligence Approach Based on Random Forests.

Sinuhe Mazuti Osorio-Rivero, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez

Res. Comput. Sci., 2023

Trazabilidad de imágenes digitales usando Blockchain.

José Antonio Jiménez Miramontes, Rocío Aldeco-Pérez

Res. Comput. Sci., 2023

On the Decentralization of Attribute-Based Encryption Schemes.

Melissa Brigitthe Hinojosa-Cabello, Rocío Alejandra Aldeco-Pérez, Miguel Morales-Sandoval, Jose Juan Garcia-Hernandez

Proceedings of the Mexican International Conference on Computer Science, 2023

2022

Formal Verification of Blockchain Based Tender Systems.

René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas

Program. Comput. Softw., 2022

Modeling a multi-layered blockchain framework for digital services that governments can implement.

Fernando Rebollar Castelan, Rocío Aldeco-Pérez, Marco A. Ramos

J. Intell. Fuzzy Syst., 2022

2021

Machine Learning for the Retail Trade Behavior Analysis in Mexico.

Patricia Soto-Vázquez, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez

Res. Comput. Sci., 2021

Database Management System Verification with Separation Logics.

Diego Medina-Martínez, Everardo Bárcenas, Guillermo Molero-Castillo, Alejandro Velázquez-Mena, Rocío Aldeco-Pérez

Program. Comput. Softw., 2021

2020

A Data Fusion Approach of Physical Variables Measured through a Wireless Sensor Network.

Thomas Alejandro Arias Pelayo, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez

Res. Comput. Sci., 2020

Sobre la automatización del razonamiento y el aprendizaje en lógicas modales.

Yensen Limón, Everardo Bárcenas, Guillermo Molero-Castillo, Rocío Aldeco-Pérez

Res. Comput. Sci., 2020

A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence.

Julio Muñoz Benítez, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez, Alejandro Velázquez-Mena

Res. Comput. Sci., 2020

Academic approach to transform organisations: one engineer at a time.

Eduardo Daniel Juárez Pineda, Rocío Aldeco-Pérez, José-Miguel Velazquez

IET Softw., 2020

2012

Secure provenance-based auditing of personal data use.

Rocío Aldeco-Pérez

PhD thesis, 2012

2010

Securing Provenance-Based Audits.

Rocío Aldeco-Pérez, Luc Moreau

Proceedings of the Provenance and Annotation of Data and Processes, 2010

A Provenance-Based Compliance Framework.

Rocío Aldeco-Pérez, Luc Moreau

Proceedings of the Future Internet - FIS 2010, 2010

2008

Provenance-Based Auditing of Private Data Use.

Rocío Aldeco-Pérez, Luc Moreau

Proceedings of the Visions of Computer Science, 2008

2005

UML Model and Implementation of the IEEE 802.11 Authentication and Privacy Services using Elliptic Curves Cryptosystems.

Miguel Ángel León-Chávez, Rocío Alejandra Aldeco-Pérez

Res. Comput. Sci., 2005