Projets en cours Projets auxquels participe un chercheur

  1. P2P2: Comunidades Online

    SAMER HASSAN COLLADO

  2. P2P3: Tecnología Descentralizada

    SAMER HASSAN COLLADO

  3. P2P1: Economía Colaborativa

    SAMER HASSAN COLLADO

  1. THEIA II

    LUIS JAVIER GARCÍA VILLALBA

  1. Metodologías avanzadas para arquitecturas, diseño y pruebas de software

    MARÍA DE LAS MERCEDES GARCÍA MERAYO, MANUEL NÚÑEZ GARCÍA

  1. Cátedra de Ciberseguridad para la Innovación y la Protección Digital

    LUIS JAVIER GARCÍA VILLALBA

  2. Singularidades en álgebra, geometría, topología, criptografía y sus aplicaciones

    PEDRO DANIEL GONZÁLEZ PÉREZ, MARÍA PE PEREIRA

  3. Repositorios gestionados con Gramáticas: Navegación, Personalización e Inteligencia

    M. DE LAS MERCEDES GÓMEZ ALBARRÁN, ANTONIO SARASA CABEZUELO

  4. Repositorios gestionados con Gramáticas: Navegación

    M. DE LAS MERCEDES GÓMEZ ALBARRÁN, ANTONIO SARASA CABEZUELO

  5. Sistema IoT innovador orientado a la inclusión y mejora de la autonomía de personas con discapacidad visual

    MARÍA GUIJARRO MATA-GARCÍA, JOAQUÍN RECAS PIORNO

  6. Especialización de la Arquitectura desde las Perspectivas Aritmética y de Memoria

    ALBERTO ANTONIO DEL BARRIO GARCÍA, JOSÉ LUIS IMAÑA PASCUAL

  7. Métodos formales escalables para aplicaciones en entornos reales

    ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO

  8. Análisis de la movilidad turística a partir de Big Data geolocalizado: el impacto de la pandemia del COVID19

    JAVIER GUTIÉRREZ PUEBLA, BORJA MOYA GÓMEZ

  9. MODELOS PARA EL PROCESAMIENTO DE INFORMACIÓN COMPLEJA Y APLICACIONES A PROBLEMAS DE REDES

    DANIEL GÓMEZ GONZÁLEZ, JUAN TINGUARO RODRÍGUEZ GONZÁLEZ

  10. Métodos rigurosos para el desarrollo de sistemas software de calidad y fiabilidad certificadas

    NARCISO MARTÍ OLIET, FERNANDO RUBIO DÍEZ

  1. Evaluación, análisis y predicción de los cambios en la movilidad urbana tras la pandemia a partir de Big Data geolocalizado

    JUAN CARLOS GARCÍA PALOMARES

Projets finalisés Projets finalisés auxquels un chercheur a participé

2024

  1. La Estructura de la Comunicación en Red y la Opinión Pública Inclusiva. Un Estudio con Técnicas de Big data y Ánalisis de Redes sociales

    RAFAEL CABALLERO ROLDÁN, JOSÉ MANUEL ROBLES MORALES

  2. Synthesis of hybrid systems from multimodal datasets

    NARCISO MARTÍ OLIET

2023

  1. Techniques for integrity, authentication and scene reognition in multimedia files of mobile devices - Part I (THEIA I)

    LUIS JAVIER GARCÍA VILLALBA

2022

  1. FORmal models and Technologies for Emerging applications.

    ELVIRA MARÍA ALBERT ALBIOL

  2. FORmal models and Technologies for Emerging applications

    MANUEL NÚÑEZ GARCÍA

  3. Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis.

    FERNANDO RUBIO DÍEZ

  4. Investigación y desarrollo de tecnologías educativas en la Comunidad de Madrid

    BALTASAR FERNÁNDEZ MANJÓN

  5. Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis

    FERNANDO RUBIO DÍEZ

  6. Desarrollo de técnicas y metodologías flexibles para la optimización de sistemas cloud

    ALBERTO NÚÑEZ COVARRUBIAS

  7. ARCHIVO POETICO UNAMUNO: HACIA LA EDICION GENETICA DIGITAL

2021

  1. MODELADO FORMAL Y MÉTODOS AVANZADOS DE TESTING. APLICACIONES A MEDICINA Y SISTEMAS COMPUTACIONALES.

    MARÍA DE LAS MERCEDES GARCÍA MERAYO, MANUEL NÚÑEZ GARCÍA

  2. Análisis dinámico de los patrones de movilidad a partir de big data

    JAVIER GUTIÉRREZ PUEBLA

  3. Gestión inteligente de información borrosa

    DANIEL GÓMEZ GONZÁLEZ, FRANCISCO JAVIER MONTERO DE JUAN

  4. Razonamiento formal para tecnologías facilitadoras y emergentes

    ELVIRA MARÍA ALBERT ALBIOL

  5. CAVI-ART-2: Validación asistida de programas mediante análisis anotaciones demostraciones matemáticas y pruebas de ejecución

    FRANCISCO JAVIER LÓPEZ FRAGUAS, RICARDO VICENTE PEÑA MARÍ

  6. ENVISAGE-FEI

    ELVIRA MARÍA ALBERT ALBIOL

2020

  1. Creación Exploración y Transformación de Repositorios de Objetos Educativos en Dominios Especializados

    JOSÉ LUIS SIERRA RODRÍGUEZ

  2. TECNOLOGÍAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTE

    NARCISO MARTÍ OLIET

  3. Streaming video through a MANET for use in humanitarian emergencies

    SIMÓN JAMES PICKIN

  4. Streaming video through a MANET for use in humanitarian emergencies

    SIMÓN JAMES PICKIN

  5. GEOMETRÍA, TOPOLOGÍA, ÁLGEBRA Y CRIPTOGRAFÍA EN SINGULARIDADES Y SUS APLICACIONES.

    PEDRO DANIEL GONZÁLEZ PÉREZ, ALEJANDRO MELLE HERNÁNDEZ

2019

  1. MONITORIZACIÓN Y ANÁLISIS DEL CAMBIO SOCIAL A PARTIR DE BIG DATA.

    MARÍA VICTORIA LÓPEZ LÓPEZ

2018

  1. Next-GeneRation Energy-EfficieNt Secure Software.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

  2. DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES

    MANUEL NÚÑEZ GARCÍA

  3. Desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas

    ELVIRA MARÍA ALBERT ALBIOL

  4. TÉCNICAS DE OBTENCIÓN, PROCESAMIENTO Y REPRESENTACIÓN DE INFORMACIÓN DIFUSA PARA LA TOMA DE DECISIONES

    DANIEL GÓMEZ GONZÁLEZ, FRANCISCO JAVIER MONTERO DE JUAN

  5. SOLUCIONES EFECTIVAS BASADAS EN LA LÓGICA

    ELVIRA MARÍA ALBERT ALBIOL

  6. DISCOTEC 2018 (13th International Federated Conference on Distributed Computing Techniques)

    MANUEL NÚÑEZ GARCÍA

  7. EDICIÓN LITERARIA ELECTRÓNICA.

    ANTONIO SARASA CABEZUELO

  8. ¿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

  9. TÉCNICAS DE VISIÓN COMPUTERIZADA Y RECONSTRUCCIÓN 3D APLICADAS AL ESTUDIO DE LA CABEZA DEL NERVIO ÓPTICO Y ENFERMEDADES ASOCIADAS

    CARLOS GREGORIO RODRÍGUEZ

  10. DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADA.

    MANUEL NÚÑEZ GARCÍA

  11. NEXT-GENERATION ENERGY-EFFICIENT SECURE SOFTWARE.

    NARCISO MARTÍ OLIET

  12. INVESTIGACIÓN Y DESARROLLO DE TECNOLOGÍAS EDUCATIVAS EN LA COMUNIDAD DE MADRID.

    BALTASAR FERNÁNDEZ MANJÓN

  13. GASS-1

    LUIS JAVIER GARCÍA VILLALBA

  14. Framework for Self-Organized network management in virtualized and software defined networks

    LUIS JAVIER GARCÍA VILLALBA

2017

  1. REPOSITORIOS EDUCATIVOS DINÁMICAMENTE RECONFIGURABLES EN HUMANIDADES

    JOSÉ LUIS SIERRA RODRÍGUEZ

2016

  1. SINGULARIDADES Y SUS APLICACIONES A GEOMETRÍA, TOPOLOGÍA, ÁLGEBRA Y CRIPTOGRAFÍA

    PEDRO DANIEL GONZÁLEZ PÉREZ, ALEJANDRO MELLE HERNÁNDEZ

  2. VALIDACIÓN ASISTIDA DE PROGRAMAS MEDIANTE ANÁLISIS, ANOTACIONES, DEMOSTRACIONES MATEMÁTICAS Y PRUEBAS DE EJECUCIÓN

    RICARDO VICENTE PEÑA MARÍ

  3. TECNOLOGÍA PARA LOS DESAFÍOS EN EDUCACIÓN Y ENTRENAMIENTO

    BALTASAR FERNÁNDEZ MANJÓN, IVÁN MARTÍNEZ ORTIZ

  4. Modelo unificado de gestión de colecciones digitales en estructuras reconfigurables: aplicación a la creación de Bibliotecas Digitales Especializadas para Investigación y Docencia

    JOSÉ LUIS SIERRA RODRÍGUEZ

  5. Engineering Virtualized Services

    ELVIRA MARÍA ALBERT ALBIOL

2015

  1. TECNOLOGÍAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACIÓN ABIERTO Y FIABLE

    NARCISO MARTÍ OLIET

  2. TÉCNICAS ESCALABLES PARA LA VALIDACIÓN DE APLICACIONES CONCURRENTES

    ELVIRA MARÍA ALBERT ALBIOL

  3. ESPECIFICACIÓN Y TESTING DE SISTEMAS ALTAMENTE DISTRIBUIDOS

    MANUEL NÚÑEZ GARCÍA

  4. AYUDA A LA DECISIÓN CON INFORMACIÓN DIFUSA Y CRITERIOS MÚLTIPLES. APLICACIÓN A LA GESTIÓN DE DESASTRES.

    FRANCISCO JAVIER MONTERO DE JUAN

2014

  1. PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID

    NARCISO MARTÍ OLIET

2013

  1. SINGUALRIDADES EN ÁLGEBRA, CRIPTOGRAFÍA Y TOPOLOGÍA.

    ALEJANDRO MELLE HERNÁNDEZ

  2. INVESTIGACION Y DESARROLLO DE TECNOLOGIA PARA EL E-LEARNING EN LA COMUNIDAD DE MADRID.

    BALTASAR FERNÁNDEZ MANJÓN

  3. PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID

    FRANCISCO JAVIER LÓPEZ FRAGUAS

  4. UN ENFOQUE GENERATIVO PARA LA CONSTRUCCION DE HERRAMIENTAS DE PRODUCCION Y DESPLIEGUE DE OBJETOS EDUCATIVOS EN EL CAMPUS VIRTUAL.

    JOSÉ LUIS SIERRA RODRÍGUEZ

2012

  1. ADVANCED METHODOLOGIES AND TOOLS FOR TESTING AND SERVICES.

    MANUEL NÚÑEZ GARCÍA

  2. DESARROLLO DE SOFTWARE DE ALTA CALIDAD. FIABLE, DISTRIBUIDO Y SEGURO

    NARCISO MARTÍ OLIET

  3. CONSTRUCCIÓN DE SISTEMAS DE AYUDA A LA DECISIÓN CON INCERTIDUMBRE LINGÜISTICA.

    FRANCISCO JAVIER MONTERO DE JUAN

  4. ARQUITECTURAS AVANZADAS EN CAMPUS VIRTUALES

    ANTONIO NAVARRO MARTÍN

  5. EVOLUCIÓN DEL RAZONAMIENTO BASADO EN CASOS PARA APLICACIONES CON MÚLTIPLES FUENTES DE EXPERIENCIA Y RICAS EN CONOCIMIENTO.

    PEDRO ANTONIO GONZÁLEZ CALERO

2011

  1. SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

  2. ANÁLISIS Y APROVECHAMIENTO DE LA COHERENCIA DE RAYOS PARA UN RAY TRACER IMPLEMENTADO EN HARDWARE GRÁFICO

    PEDRO JESÚS MARTÍN DE LA CALLE

  3. RESOLUCION DE RELACIONES DE COSTE UTILIZANDO TECNICAS DE ANALISIS DE PROGRAMAS

    ELVIRA MARÍA ALBERT ALBIOL

  4. Herramientas para la anotacion de textos literarios digitalizados

    JOSÉ LUIS SIERRA RODRÍGUEZ

2010

  1. SERVICIOS ADAPTATIVOS PARA E-LEARNING BASADOS EN ESTANDARES.

    BALTASAR FERNÁNDEZ MANJÓN

  2. TEORÍA DE SINGULARIDADES Y APLICACIONES EN ARITMÉTICA, CRIPTOGRAFÍ-A, GEOMETRÍA-A Y TOPOLOGÍA.

    IGNACIO LUENGO VELASCO

  3. Tecnologías de Marcado Descriptivo ¿XML- como base a un Proceso de Desarrollo de Software Guiado por Lenguajes

    JOSÉ LUIS SIERRA RODRÍGUEZ

  4. FUNDAMENTOS Y APLICACIONES DEL TESTING

    MANUEL NÚÑEZ GARCÍA

  5. DESARROLLO DE SOFTWARE DE ALTA CALIDAD FIABLE DISTRIBUIDO Y SEGURO -SUBPROYECTOS DE LA UNIVERSIDD COMPLUTENSE DE MADRID-

    NARCISO MARTÍ OLIET

2009

  1. APLICACIÓN DE CUDA EN LA SÍNTESIS DE IMÁGENES REALISTAS

    PEDRO JESÚS MARTÍN DE LA CALLE

  2. MÉTODOS AVANZADOS DE TESTING

    ISMAEL RODRÍGUEZ LAGUNA

  3. INTEGRACIÓN DE PLATAFORMAS Y SERVICIOS EN EL CAMPUS VIRTUAL

    ANTONIO NAVARRO MARTÍN

  4. PROGRAMA DE MÉTODOS PARA EL DESARROLLO DE SOFTWARE FIABLE DE ALTA CALIDAD Y SEGURO DE LA COMUNIDAD DE MADRID

    FRANCISCO JAVIER LÓPEZ FRAGUAS

  5. PROGRAMA EN MÉTODOS PARA EL DESARROLLO DE SOFTWARE FIABLE DE ALTA CALIDAD Y SEGURO DE LA COMUNIDAD DE MADRID

    NARCISO MARTÍ OLIET

  6. RED MAUDE

    NARCISO MARTÍ OLIET

  7. MID-CBR: UN MODELO INTEGRADOR PARA EL DESARROLLO DE SISTEMAS DE RAZONAMIENTO BASADO EN CASOS.

    MARÍA BELÉN DÍAZ AGUDO

  8. OBJETOS DE APRENDIZAJE EN EL CAMPUS VIRTUAL
  9. MÉTODOS FORMALES EN SISTEMAS SOFTWARE HETEROGÉNEOS

    FRANCISCO JAVIER LÓPEZ FRAGUAS

  10. APLICACIONES DE MÉTODOS FORMALES AL DISEÑO Y ANÁLISIS DE DE SERVICIOS WEB Y COMERCIO ELECTRÓNICO

    ISMAEL RODRÍGUEZ LAGUNA

2008

  1. GEOMETRIA REAL

    JESÚS MARÍA RUIZ SANCHO

  2. Training and Research On Testing

    MANUEL NÚÑEZ GARCÍA

  3. Metodologías Arquitecturas y Lenguajes para la creación de Servicios Adaptativos para E-learning.

    BALTASAR FERNÁNDEZ MANJÓN

2007

  1. Codigo con demostracion asociada.
  2. Problemas geométricos aritméticos y topológicos en Teoría de Singularidades y sus aplicaciones.

    IGNACIO LUENGO VELASCO

2006

  1. ASPECTOS DE SEGURIDAD EN PROTOCOLOS DE CAPA DE ENLACE

    LUIS JAVIER GARCÍA VILLALBA

  2. ARQUITECTURA PARA EL DESARROLLO E INTEGRACION DE SIMULACIONES INTERACTIVAS EN EL APRENDIZAJE

    PEDRO ANTONIO GONZÁLEZ CALERO

  3. Metalenguajes para el diseño y análisis integrado de sistemas móviles y distribuidos.

    NARCISO MARTÍ OLIET

  4. Testing y evaluación del rendimiento: modelos y aplicaciones a sistemas multi-agente.

    MANUEL NÚÑEZ GARCÍA

  5. Diseño e implementación de sistemas multimedia eficientes con uso de tecnicas formales.

    MANUEL NÚÑEZ GARCÍA

  6. Recursos educativos e informativos basados en componentes distribuidos: metodología lenguajes y herramientas.
  7. Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2005

  1. Documentación de armazones basada en casos y su aprendizaje mediante ejemplos.

    PEDRO ANTONIO GONZÁLEZ CALERO

  2. Geometria álgebra y algoritmos reales.

    JESÚS MARÍA RUIZ SANCHO

  3. ENTORNO DE AULA VIRTUAL BASADO EN LENGUAJES DE MARCADO-XML- Y ESTANDARES EDUCATIVOS.

    BALTASAR FERNÁNDEZ MANJÓN

  4. INVARIANTES ARITMETICOS Y GEOMETRICOS DE SINGULARIDADES Y SUS APLICACIONES.

    IGNACIO LUENGO VELASCO

2003

  1. DESARROLLO FORMAL DE SISTEMAS BASADOS EN AGENTES MOVILES Y EVALUACION DE RENDIMIENTOS.

    DAVID DE FRUTOS ESCRIG

  2. PROGRAMACION FUNCIONAL PARALELA Y REACTIVA: TECNOLOGIA Y APLICACIONES.
  3. IMPLEMENTACION DE LOS CRIPTOSISTEMAS DE McELIECE A PARTIR DE NUEVAS CURVAS ALGEBRAICAS.

    MARÍA CRUZ RODRÍGUEZ PALANQUEX

2002

  1. SISTEMAS DE INFORMACION MULTIMEDIA BASADO EN LENGUAJES DE MARCADO Y AGENTES.
  2. GEOMETRIA Y ALGEBRA REALES.

    MARÍA EMILIA ALONSO GARCÍA

2001

  1. TECNICAS AVANZADAS DE DESARROLLO DE PROGRAMAS EN ENTORNOS DECLARATIVOS (TREND).
  2. TECNICAS DE INTELIGENCIA ARTIFICIAL APLICADAS A LA REUTILIZACION DE FRAMEWORKS ORIENTADOS A OBJETOS.

    PEDRO ANTONIO GONZÁLEZ CALERO

2000

  1. DESARROLLO FORMAL DE SISTEMAS DISTRIBUIDOS

    DAVID DE FRUTOS ESCRIG

  2. EDEN: DESARROLLO DE UN LENGUAJE FUNCIONAL-CONCURRENTE.

1999

  1. GEOMETRIA ALGEBRAICA Y ANALITICA REAL.

    CARLOS ANDRADAS HERANZ

  2. APLICACIONES POLINaMICAS Y SINGULARIDADES.

    IGNACIO LUENGO VELASCO

  3. EVALUACION DEL RENDIMIENTO DE PROGRAMAS FUNCIONALES PARALELOS EN ARQUITECTURAS MULTIPROCESADOR.
  4. EVALUACION DEL RENDIMIENTO DE PROGRAMAS FUNCIONALES PARALELOS EN ARQUITECTURAS MULTIPROCESADOR.
  5. APLICACIONES POLINOMICAS Y SINGULARIDADES.

    IGNACIO LUENGO VELASCO

  6. EDEN: DESARROLLO DE UN LENGUAJE FUNCIONAL-CONCURRENTE.

1998

  1. COMBINACION DE PARADIGMAS DE PROGRAMACION DECLARATIVA (CPD)
  2. INVARIANTES TOPOLOGICOS Y ALGEBRAICOS DE SINGULARIDADES DE CURVAS Y SUPERFICIES.

    IGNACIO LUENGO VELASCO

1997

  1. DISEÑO INTEGRAL DE SISTEMAS DE COMUNICACIONES (DISC)

    DAVID DE FRUTOS ESCRIG

  2. HERRAMIENTAS DE AYUDA A LA REUTILIZACION DE CLASES EN PROGRAMACION ORIENTADA A OBJETOS.

    MARÍA DEL CARMEN FERNÁNDEZ CHAMIZO

  3. DESARROLLO DE UN LENGUAJE FUNCIONAL CONCURRENTE.
  4. LOGICAS DE ESPECIFICACION TEMPORALES Y MODALES PARA LA LOGICA DE REESCRITURA.

    NARCISO MARTÍ OLIET

1996

  1. DEMOSTRACION AUTOMATICA PARA PREORDENES BASADA EN METODOS DE TABLEAUX CON VARIABLES LIBRES.

    ANTONIO GAVILANES FRANCO

  2. PROGRAMACION LOGICO FUNCIONAL CON NUMEROS REALES.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

  3. DESARROLLO DE UN LENGUAJE FUNCIONAL-CONCURRENTE

1995

  1. METODOLOGIA DE DISEÐO Y HERRAMIENTAS DE DESARROLLO PARA SISTEMAS EXPERTOS BASADOS EN CASOS

    MARÍA DEL CARMEN FERNÁNDEZ CHAMIZO

  2. DESARROLLO DE UN ENTORNO DE PROGRAMACION DECLARATIVA CON RESTRICCIONES RESTRICCIONES Y TECNICAS DE EJECUCION PARALELA.
  3. DESARROLLO E IMPLEMENTACION DE UN LENGUAJE DE PROGRAMACION FUNCIONAL PARA PROGRAMACION CONCURRENTE

1994

  1. EXTENSIONES DEL LENGUAJE LOTOS: TIEMPO REAL PRIORIDADES PROBABILIDADES MODULARIDAD Y TIPOS EJECUTABLES.

    DAVID DE FRUTOS ESCRIG

1993

  1. SINGULARIDADES DE VARIEDADES ALGEBRAICAS

    IGNACIO LUENGO VELASCO

  2. DEDUCCION AUTOMATICA Y PROGRAMACION

1992

  1. BABEL: DISEÐO E IMPLEMENTACION DE UN LENGUAJE LOGICO-FUNCIONAL CONCURRENTE.
  2. DEDUCCION AUTOMATICA Y PROGRAMACION

1989

  1. DESARROLLO DE SISTEMAS DE AUTOR ADECUADOS A AREAS ESPECIFICAS DE LA ENSEÑANZA UNIVERSITARIA.EVALUACION Y CONTROL DE SU INCIDENCIA EN EL SISTEMA EDUCATIVO

    MARÍA DEL CARMEN FERNÁNDEZ CHAMIZO