Design and Validation of cloud storage systems using Maude - Dr. Peter Csaba Ölveczky
Smart Health: Improving Health Services within Smart Cities - Dr. Agustí Solanas
Investigación en Ingeniería Neural y Cognitiva - Dra. Mª Dolores del Castillo Sobrino
Term Rewriting applied to Cryptographic Protocol Analysis: the Maude-NPA tool
The Soul of Computer Science - Prof. Salvador Lucas Alba
Fast and energy-efficient eNVM based memory organisation at L3-L1 layers for IoT Computing/Routing platforms: main challenges
Like Alice in Wonderland: Unraveling Reasoning and Cognition Using Analogies and Concept Blending - Tarek R. Besold
Autonomy for Robotic Planetary Exploration Missions: Perception and Navigation for Autonomous Rovers
Just enough is more: Achieving sustainable performance in thermally-constrained mobile devices
OpenMP tasking model: from the standard to the classroom
A friendly introduction to quantum computation: Analog computers with Schrödinger's cats - Prof. Javier Rodríguez Laguna
Fundamentos de la Evolución Gramatical - Dr. José Manuel Colmenar Verdugo
Systems Theory Approach to Video Streaming - Dr. Diego Napp Avelli
Managing Workflows in a Big Data world
Meditaciones a propósito de la cuestión Ética y la IA
Redecentralizing the Web: IPFS and Filecoin
Making the most out of Heterogeneous Chips with CPU, GPU and FPGA
Contract Automata: Towards an Algebra of Contracts - Dr. Gordon J. Pace
New approaches in music generation from tonal and modal perspectives
Specifying quantities in software models