"Design and foundations of ontologies with meta-modelling"

"A formal analysis of the Mimblewimble cryptocurrency protocol with a security approach"

"Distribución de archivos con IPFS en una red Blockchain educativa"

Compression algorithms for biomedical signals and nanopore sequencing data

La arquitectura RDBMS-only: Una arquitectura database-centric para aplicaciones Web

Implementation Compliance of Microservices Architectural Patterns: An approach based on Event-B Formal Specifications and Model-Based Testing

“Instance-based learning following physician reasoning for assistance during medical consultation”

Parallel Multithreading Algorithms for Self-Gravity > Computation in ESyS-Particle

Statistical Deep Parsing for Spanish

Data Efficient Deep Learning Models for Text Classification

Detectando y Evitando Defectos de Diseño de Software: Un catálogo de antipatterns y un análisis de los code smells en los que incurren estudiantes de grado

Localizaci ón activa en el corto plazo utilizando solapamiento de hipótesis aplicada a robots de servicio

Radiation techniques for urban thermal simulation with the Finite Element Method

Optimal Route ReflectionTopology Design

Multistage stochastic capacitated discrete lot-sizing with lead times: problem definition, complexity analysis and tighter formulations