ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
Proyectos vigentes
-
Métodos formales escalables para aplicaciones en entornos reales
ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO
Proyectos finalizados
2022
-
FORmal models and Technologies for Emerging applications.
ELVIRA MARÍA ALBERT ALBIOL
2021
-
Razonamiento formal para tecnologías facilitadoras y emergentes
ELVIRA MARÍA ALBERT ALBIOL
2018
-
SOLUCIONES EFECTIVAS BASADAS EN LA LÓGICA
ELVIRA MARÍA ALBERT ALBIOL
-
Desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas
ELVIRA MARÍA ALBERT ALBIOL
-
¿NOS DIRIGIMOS HACIA UNA SOCIEDAD DESINTERMEDIADA? UN ESTUDIO DE LA PARTICIPACIÓN SOCIAL MEDIANTE ANALISIS DE REDES, BIG DATA Y APRENDIZAJE AUTOMÁTICO.
ADRIÁN RIESCO RODRÍGUEZ
2015
-
TÉCNICAS ESCALABLES PARA LA VALIDACIÓN DE APLICACIONES CONCURRENTES
ELVIRA MARÍA ALBERT ALBIOL
2013
-
PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID.
FRANCISCO JAVIER LÓPEZ FRAGUAS
2011
-
SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING.
FRANCISCO JAVIER LÓPEZ FRAGUAS
-
RESOLUCION DE RELACIONES DE COSTE UTILIZANDO TECNICAS DE ANALISIS DE PROGRAMAS
ELVIRA MARÍA ALBERT ALBIOL