Rocío Aldeco-Pérez

Orcid: 0000-0002-7003-2724

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Formal Verification of Blockchain Based Tender Systems.
Program. Comput. Softw., 2022

Modeling a multi-layered blockchain framework for digital services that governments can implement.
J. Intell. Fuzzy Syst., 2022

2021
Database Management System Verification with Separation Logics.
Program. Comput. Softw., 2021

2020
A Data Fusion Approach of Physical Variables Measured through a Wireless Sensor Network.
Res. Comput. Sci., 2020

Sobre la automatización del razonamiento y el aprendizaje en lógicas modales.
Res. Comput. Sci., 2020

A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence.
Res. Comput. Sci., 2020

Academic approach to transform organisations: one engineer at a time.
IET Softw., 2020

2012
Secure provenance-based auditing of personal data use.
PhD thesis, 2012

2010
Securing Provenance-Based Audits.
Proceedings of the Provenance and Annotation of Data and Processes, 2010

A Provenance-Based Compliance Framework.
Proceedings of the Future Internet - FIS 2010, 2010

2008
Provenance-Based Auditing of Private Data Use.
Proceedings of the Visions of Computer Science, 2008


  Loading...