Departamento
Sistemas Informáticos y Computación
Proyectos vigentes Proyectos en los que participa algún/a investigador/a
-
P2P2: Comunidades Online
SAMER HASSAN COLLADO
-
P2P1: Economía Colaborativa
SAMER HASSAN COLLADO
-
P2P3: Tecnología Descentralizada
SAMER HASSAN COLLADO
-
THEIA II
LUIS JAVIER GARCÍA VILLALBA
-
Metodologías avanzadas para arquitecturas, diseño y pruebas de software
MARÍA DE LAS MERCEDES GARCÍA MERAYO, MANUEL NÚÑEZ GARCÍA
-
Singularidades en álgebra, geometría, topología, criptografía y sus aplicaciones
PEDRO DANIEL GONZÁLEZ PÉREZ, MARÍA PE PEREIRA
-
Métodos formales escalables para aplicaciones en entornos reales
ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO
-
Repositorios gestionados con Gramáticas: Navegación, Personalización e Inteligencia
M. DE LAS MERCEDES GÓMEZ ALBARRÁN, ANTONIO SARASA CABEZUELO
-
Métodos formales escalables para aplicaciones en entornos reales
ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO
-
Especialización de la Arquitectura desde las Perspectivas Aritmética y de Memoria
ALBERTO ANTONIO DEL BARRIO GARCÍA, JOSÉ LUIS IMAÑA PASCUAL
-
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
-
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
-
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
-
Repositorios gestionados con Gramáticas: Navegación
M. DE LAS MERCEDES GÓMEZ ALBARRÁN, ANTONIO SARASA CABEZUELO
-
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
-
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
-
Métodos rigurosos para el desarrollo de sistemas software de calidad y fiabilidad certificadas
NARCISO MARTÍ OLIET, FERNANDO RUBIO DÍEZ
-
Synthesis of hybrid systems from multimodal datasets
NARCISO MARTÍ OLIET
Proyectos finalizados Proyectos finalizados en los que ha participado algún/a investigador/a
2023
2022
-
Investigación y desarrollo de tecnologías educativas en la Comunidad de Madrid
BALTASAR FERNÁNDEZ MANJÓN
-
Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis.
FERNANDO RUBIO DÍEZ
-
Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis
FERNANDO RUBIO DÍEZ
-
FORmal models and Technologies for Emerging applications.
ELVIRA MARÍA ALBERT ALBIOL
-
FORmal models and Technologies for Emerging applications
MANUEL NÚÑEZ GARCÍA
- ARCHIVO POETICO UNAMUNO: HACIA LA EDICION GENETICA DIGITAL
-
Desarrollo de técnicas y metodologías flexibles para la optimización de sistemas cloud
ALBERTO NÚÑEZ COVARRUBIAS
2021
-
Gestión inteligente de información borrosa
DANIEL GÓMEZ GONZÁLEZ, FRANCISCO JAVIER MONTERO DE JUAN
-
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
-
Análisis dinámico de los patrones de movilidad a partir de big data
JAVIER GUTIÉRREZ PUEBLA
-
Razonamiento formal para tecnologías facilitadoras y emergentes
ELVIRA MARÍA ALBERT ALBIOL
-
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Í
-
ENVISAGE-FEI
ELVIRA MARÍA ALBERT ALBIOL
2020
-
Streaming video through a MANET for use in humanitarian emergencies
SIMÓN JAMES PICKIN
-
Streaming video through a MANET for use in humanitarian emergencies
SIMÓN JAMES PICKIN
-
Creación Exploración y Transformación de Repositorios de Objetos Educativos en Dominios Especializados
JOSÉ LUIS SIERRA RODRÍGUEZ
-
GEOMETRÍA, TOPOLOGÍA, ÁLGEBRA Y CRIPTOGRAFÍA EN SINGULARIDADES Y SUS APLICACIONES.
PEDRO DANIEL GONZÁLEZ PÉREZ, ALEJANDRO MELLE HERNÁNDEZ
2019
-
TECNOLOGÍAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTE
NARCISO MARTÍ OLIET
-
MONITORIZACIÓN Y ANÁLISIS DEL CAMBIO SOCIAL A PARTIR DE BIG DATA.
MARÍA VICTORIA LÓPEZ LÓPEZ
2018
-
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
-
EDICIÓN LITERARIA ELECTRÓNICA.
ANTONIO SARASA CABEZUELO
-
DISCOTEC 2018 (13th International Federated Conference on Distributed Computing Techniques)
MANUEL NÚÑEZ GARCÍA
-
DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES
MANUEL NÚÑEZ GARCÍA
-
Next-GeneRation Energy-EfficieNt Secure Software.
FRANCISCO JAVIER LÓPEZ FRAGUAS
-
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
-
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
-
INVESTIGACIÓN Y DESARROLLO DE TECNOLOGÍAS EDUCATIVAS EN LA COMUNIDAD DE MADRID.
BALTASAR FERNÁNDEZ MANJÓN
-
DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADA.
MANUEL NÚÑEZ GARCÍA
-
NEXT-GENERATION ENERGY-EFFICIENT SECURE SOFTWARE.
NARCISO MARTÍ OLIET
-
GASS-1
LUIS JAVIER GARCÍA VILLALBA
-
Framework for Self-Organized network management in virtualized and software defined networks
LUIS JAVIER GARCÍA VILLALBA
2017
-
REPOSITORIOS EDUCATIVOS DINÁMICAMENTE RECONFIGURABLES EN HUMANIDADES
JOSÉ LUIS SIERRA RODRÍGUEZ
2016
-
SINGULARIDADES Y SUS APLICACIONES A GEOMETRÍA, TOPOLOGÍA, ÁLGEBRA Y CRIPTOGRAFÍA
PEDRO DANIEL GONZÁLEZ PÉREZ, ALEJANDRO MELLE HERNÁNDEZ
-
VALIDACIÓN ASISTIDA DE PROGRAMAS MEDIANTE ANÁLISIS, ANOTACIONES, DEMOSTRACIONES MATEMÁTICAS Y PRUEBAS DE EJECUCIÓN
RICARDO VICENTE PEÑA MARÍ
-
TECNOLOGÍA PARA LOS DESAFÍOS EN EDUCACIÓN Y ENTRENAMIENTO
BALTASAR FERNÁNDEZ MANJÓN, IVÁN MARTÍNEZ ORTIZ
-
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
-
Engineering Virtualized Services
ELVIRA MARÍA ALBERT ALBIOL
2015
-
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
-
TÉCNICAS ESCALABLES PARA LA VALIDACIÓN DE APLICACIONES CONCURRENTES
ELVIRA MARÍA ALBERT ALBIOL
-
ESPECIFICACIÓN Y TESTING DE SISTEMAS ALTAMENTE DISTRIBUIDOS
MANUEL NÚÑEZ GARCÍA
-
TECNOLOGÍAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACIÓN ABIERTO Y FIABLE
NARCISO MARTÍ OLIET
2014
2013
-
INVESTIGACION Y DESARROLLO DE TECNOLOGIA PARA EL E-LEARNING EN LA COMUNIDAD DE MADRID.
BALTASAR FERNÁNDEZ MANJÓN
-
PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID.
FRANCISCO JAVIER LÓPEZ FRAGUAS
-
UN ENFOQUE GENERATIVO PARA LA CONSTRUCCION DE HERRAMIENTAS DE PRODUCCION Y DESPLIEGUE DE OBJETOS EDUCATIVOS EN EL CAMPUS VIRTUAL.
JOSÉ LUIS SIERRA RODRÍGUEZ
-
SINGUALRIDADES EN ÁLGEBRA, CRIPTOGRAFÍA Y TOPOLOGÍA.
ALEJANDRO MELLE HERNÁNDEZ
2012
-
EVOLUCIÓN DEL RAZONAMIENTO BASADO EN CASOS PARA APLICACIONES CON MÚLTIPLES FUENTES DE EXPERIENCIA Y RICAS EN CONOCIMIENTO.
PEDRO ANTONIO GONZÁLEZ CALERO
-
ADVANCED METHODOLOGIES AND TOOLS FOR TESTING AND SERVICES.
MANUEL NÚÑEZ GARCÍA
-
DESARROLLO DE SOFTWARE DE ALTA CALIDAD. FIABLE, DISTRIBUIDO Y SEGURO
NARCISO MARTÍ OLIET
-
ARQUITECTURAS AVANZADAS EN CAMPUS VIRTUALES
ANTONIO NAVARRO MARTÍN
-
CONSTRUCCIÓN DE SISTEMAS DE AYUDA A LA DECISIÓN CON INCERTIDUMBRE LINGÜISTICA.
FRANCISCO JAVIER MONTERO DE JUAN
2011
-
SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING.
FRANCISCO JAVIER LÓPEZ FRAGUAS
-
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
-
RESOLUCION DE RELACIONES DE COSTE UTILIZANDO TECNICAS DE ANALISIS DE PROGRAMAS
ELVIRA MARÍA ALBERT ALBIOL
-
Herramientas para la anotacion de textos literarios digitalizados
JOSÉ LUIS SIERRA RODRÍGUEZ
2010
-
TEORÍA DE SINGULARIDADES Y APLICACIONES EN ARITMÉTICA, CRIPTOGRAFÍ-A, GEOMETRÍA-A Y TOPOLOGÍA.
IGNACIO LUENGO VELASCO
-
SERVICIOS ADAPTATIVOS PARA E-LEARNING BASADOS EN ESTANDARES.
BALTASAR FERNÁNDEZ MANJÓN
-
FUNDAMENTOS Y APLICACIONES DEL TESTING
MANUEL NÚÑEZ GARCÍA
-
Tecnologías de Marcado Descriptivo ¿XML- como base a un Proceso de Desarrollo de Software Guiado por Lenguajes
JOSÉ LUIS SIERRA RODRÍGUEZ
-
DESARROLLO DE SOFTWARE DE ALTA CALIDAD FIABLE DISTRIBUIDO Y SEGURO -SUBPROYECTOS DE LA UNIVERSIDD COMPLUTENSE DE MADRID-
NARCISO MARTÍ OLIET
2009
-
APLICACIÓN DE CUDA EN LA SÍNTESIS DE IMÁGENES REALISTAS
PEDRO JESÚS MARTÍN DE LA CALLE
-
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
-
PROGRAMA EN MÉTODOS PARA EL DESARROLLO DE SOFTWARE FIABLE DE ALTA CALIDAD Y SEGURO DE LA COMUNIDAD DE MADRID
NARCISO MARTÍ OLIET
-
INTEGRACIÓN DE PLATAFORMAS Y SERVICIOS EN EL CAMPUS VIRTUAL
ANTONIO NAVARRO MARTÍN
-
MÉTODOS AVANZADOS DE TESTING
ISMAEL RODRÍGUEZ LAGUNA
-
RED MAUDE
NARCISO MARTÍ OLIET
-
MID-CBR: UN MODELO INTEGRADOR PARA EL DESARROLLO DE SISTEMAS DE RAZONAMIENTO BASADO EN CASOS.
MARÍA BELÉN DÍAZ AGUDO
- OBJETOS DE APRENDIZAJE EN EL CAMPUS VIRTUAL
-
METODEOS FORMALES EN SISTEMAS SOFTWER HETEROGENEOS
FRANCISCO JAVIER LÓPEZ FRAGUAS
-
APLICACIONES DE MÉTODOS FORMALES AL DISEÑO Y ANÁLISIS DE DE SERVICIOS WEB Y COMERCIO ELECTRÓNICO
ISMAEL RODRÍGUEZ LAGUNA
2008
-
GEOMETRIA REAL
JESÚS MARÍA RUIZ SANCHO
-
Training and Research On Testing
MANUEL NÚÑEZ GARCÍA
-
Metodologías Arquitecturas y Lenguajes para la creación de Servicios Adaptativos para E-learning.
BALTASAR FERNÁNDEZ MANJÓN
2007
2006
-
ARQUITECTURA PARA EL DESARROLLO E INTEGRACION DE SIMULACIONES INTERACTIVAS EN EL APRENDIZAJE
PEDRO ANTONIO GONZÁLEZ CALERO
-
ASPECTOS DE SEGURIDAD EN PROTOCOLOS DE CAPA DE ENLACE
LUIS JAVIER GARCÍA VILLALBA
-
Testing y evaluación del rendimiento: modelos y aplicaciones a sistemas multi-agente.
MANUEL NÚÑEZ GARCÍA
-
Metalenguajes para el diseño y análisis integrado de sistemas móviles y distribuidos.
NARCISO MARTÍ OLIET
-
Diseño e implementación de sistemas multimedia eficientes con uso de tecnicas formales.
MANUEL NÚÑEZ GARCÍA
- Recursos educativos e informativos basados en componentes distribuidos: metodología lenguajes y herramientas.
-
Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.
FRANCISCO JAVIER LÓPEZ FRAGUAS
2005
-
Documentación de armazones basada en casos y su aprendizaje mediante ejemplos.
PEDRO ANTONIO GONZÁLEZ CALERO
-
Geometria álgebra y algoritmos reales.
JESÚS MARÍA RUIZ SANCHO
-
ENTORNO DE AULA VIRTUAL BASADO EN LENGUAJES DE MARCADO-XML- Y ESTANDARES EDUCATIVOS.
BALTASAR FERNÁNDEZ MANJÓN
-
INVARIANTES ARITMETICOS Y GEOMETRICOS DE SINGULARIDADES Y SUS APLICACIONES.
IGNACIO LUENGO VELASCO
2003
2002
- SISTEMAS DE INFORMACION MULTIMEDIA BASADO EN LENGUAJES DE MARCADO Y AGENTES.
-
GEOMETRIA Y ALGEBRA REALES.
MARÍA EMILIA ALONSO GARCÍA
2001
2000
1999
-
GEOMETRIA ALGEBRAICA Y ANALITICA REAL.
CARLOS ANDRADAS HERANZ
- EVALUACION DEL RENDIMIENTO DE PROGRAMAS FUNCIONALES PARALELOS EN ARQUITECTURAS MULTIPROCESADOR.
-
APLICACIONES POLINOMICAS Y SINGULARIDADES.
IGNACIO LUENGO VELASCO
-
APLICACIONES POLINaMICAS Y SINGULARIDADES.
IGNACIO LUENGO VELASCO
- EVALUACION DEL RENDIMIENTO DE PROGRAMAS FUNCIONALES PARALELOS EN ARQUITECTURAS MULTIPROCESADOR.
- EDEN: DESARROLLO DE UN LENGUAJE FUNCIONAL-CONCURRENTE.
1998
1997
-
DISEÐO INTEGRAL DE SISTEMAS DE COMUNICACIONES (DISC)
DAVID DE FRUTOS ESCRIG
-
HERRAMIENTAS DE AYUDA A LA REUTILIZACION DE CLASES EN PROGRAMACION ORIENTADA A OBJETOS.
MARÍA DEL CARMEN FERNÁNDEZ CHAMIZO
- DESARROLLO DE UN LENGUAJE FUNCIONAL CONCURRENTE.
-
LOGICAS DE ESPECIFICACION TEMPORALES Y MODALES PARA LA LOGICA DE REESCRITURA.
NARCISO MARTÍ OLIET
1996
-
PROGRAMACION LOGICO FUNCIONAL CON NUMEROS REALES.
FRANCISCO JAVIER LÓPEZ FRAGUAS
-
DEMOSTRACION AUTOMATICA PARA PREORDENES BASADA EN METODOS DE TABLEAUX CON VARIABLES LIBRES.
ANTONIO GAVILANES FRANCO
- DESARROLLO DE UN LENGUAJE FUNCIONAL-CONCURRENTE.
1995
-
METODOLOGIA DE DISEÐO Y HERRAMIENTAS DE DESARROLLO PARA SISTEMAS EXPERTOS BASADOS EN CASOS
MARÍA DEL CARMEN FERNÁNDEZ CHAMIZO
- DESARROLLO DE UN ENTORNO DE PROGRAMACION DECLARATIVA CON RESTRICCIONES RESTRICCIONES Y TECNICAS DE EJECUCION PARALELA.
- DESARROLLO E IMPLEMENTACION DE UN LENGUAJE DE PROGRAMACION FUNCIONAL PARA PROGRAMACION CONCURRENTE.
1994
1993
- DEDUCCION AUTOMATICA Y PROGRAMACION
-
SINGULARIDADES DE VARIEDADES ALGEBRAICAS
IGNACIO LUENGO VELASCO