Rocío Aldeco-Pérez

19 papers Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
OWL Consistency Models in Smart Contracts Design.
Int. J. Comb. Optim. Probl. Informatics
René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas
2025 J jnl
Consistency in Smart Contracts Design.
Program. Comput. Softw.
René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas
2025 J jnl
Protocolos criptográficos de consenso en Blockchain para el internet de las cosas.
Computación y Sistemas (CyS)
Luis Miguel Saldaña Trejo, Gina Gallegos-García, Rocío Aldeco-Pérez
2025 J jnl
Protocolos criptográficos de consenso en blockchain para el Internet de las cosas.
Computación y Sistemas (CyS)
Luis Miguel Saldaña Trejo, Gina Gallegos-García, Rocío Aldeco-Pérez
2025 J jnl
Smart Contracts Formal Verification: A Systematic Literature Review.
CoRR
René Dávila, Everardo Bárcenas, Rocío Aldeco-Pérez
2023 J jnl
Elderly Mortality from COVID-19 in Mexico City: A Computational Intelligence Approach Based on Random Forests.
Res. Comput. Sci.
Sinuhe Mazuti Osorio-Rivero, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez
2023 J jnl
Trazabilidad de imágenes digitales usando Blockchain.
Res. Comput. Sci.
José Antonio Jiménez Miramontes, Rocío Aldeco-Pérez
2022 J jnl
Formal Verification of Blockchain Based Tender Systems.
Program. Comput. Softw.
René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas
2022 J jnl
Modeling a multi-layered blockchain framework for digital services that governments can implement.
J. Intell. Fuzzy Syst.
Fernando Rebollar Castelan, Rocío Aldeco-Pérez, Marco A. Ramos
2021 J jnl
Database Management System Verification with Separation Logics.
Program. Comput. Softw.
Diego Medina-Martínez, Everardo Bárcenas, Guillermo Molero-Castillo, Alejandro Velázquez-Mena, Rocío Aldeco-Pérez
2021 J jnl
Machine Learning for the Retail Trade Behavior Analysis in Mexico.
Res. Comput. Sci.
Patricia Soto-Vázquez, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez
2020 J jnl
A Data Fusion Approach of Physical Variables Measured through a Wireless Sensor Network.
Res. Comput. Sci.
Thomas Alejandro Arias Pelayo, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez
2020 J jnl
A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence.
Res. Comput. Sci.
Julio Muñoz Benítez, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez, Alejandro Velázquez-Mena
2020 J jnl
Academic approach to transform organisations: one engineer at a time.
IET Softw.
Eduardo Daniel Juárez Pineda, Rocío Aldeco-Pérez, José-Miguel Velazquez
2020 J jnl
Sobre la automatización del razonamiento y el aprendizaje en lógicas modales.
Res. Comput. Sci.
Yensen Limón, Everardo Bárcenas, Guillermo Molero-Castillo, Rocío Aldeco-Pérez
2012 — —
Secure provenance-based auditing of personal data use.
Rocío Aldeco-Pérez
2010 — conf
A Provenance-Based Compliance Framework.
FIS
Rocío Aldeco-Pérez, Luc Moreau
2010 — conf
Securing Provenance-Based Audits.
IPAW
Rocío Aldeco-Pérez, Luc Moreau
2008 — conf
Provenance-Based Auditing of Private Data Use.
BCS Int. Acad. Conf.
Rocío Aldeco-Pérez, Luc Moreau