Tesis doctorales
03/03/2023
Certificates for Decision Problems in Temporal Logic using Context-Based Tableaux and Sequent Calculi
Alex Abuin Yepes
Leer resumen
18/11/2022
Development of methodologies to analyse the performance of pitch bearing raceways under fretting wear damage
David Cubillas Álvarez
Leer resumen
14/11/2022
High-Power Density DC-DC Converter for More Electric Aircraft
Alejandro Fernández Hernández
Leer resumen