Rocío Aldeco-Pérez

According to our database, Rocío Aldeco-Pérez authored at least 11 papers between 2008 and 2022.

Collaborative distances:

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

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, Rocío Aldeco-Pérez, Marco A. Ramos

J. Intell. Fuzzy Syst., 2022

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