Proyectos
Internacional
Nacional
OTRI
Estructuras
Cátedras
Spinoff Startups
HUB Digital de Innovación
Portal científico
Idioma
Español
Inglés
|
Memorias de investigación
|
Grupos de Investigación
|
Estructuras
HOME
Grupos de Investigación
Departamentos UPM
Centros/Institutos I+D+i
Escuelas y facultades
Cátedras Universidad Empresa
Actividad
×
(2019) Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
Opciones
Exportar a Excel
Cambiar año
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
Tipos de actividades
Proyectos de I+D+i
Publicaciones
Formacion de inv
Explotación
Otros méritos
Proyectos de I+D+i y generación de recursos
Subtipos de actividades
Proyectos de I+D+i
Todos
Proyecto de I+D+i
Analisis Incremental y Modular Guiado por Aserciones
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Aserciones para Analisis de Codigo de Orden Superior en Lenguajes Logicos
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Axelavascript: Voto Electronico Auditable Usando Javascript
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Bloques-Cm: Contratos Inteligentes y Blockchains Escalables y Seguros Mediante Verificacion y Analisis (Babel-Clip-Upm)
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Convenio de Colaboración Entre el Instituto Madrileño de Estudios Avanzados en Tecnología de Desarrollo Software y la U.P.M.
Tipo de proyecto
:
Proyectos y convenios de financiación pública no competitiva
Diseño e Implementación de la Estrategia Cientifica de la Fundación Imdea Software
Tipo de proyecto
:
Proyectos y convenios de financiación pública no competitiva
Diseño e Implementación de la Estrategia de la Fundación Imdea Software en el Contexto del Kic Eit Digital
Tipo de proyecto
:
Proyectos y convenios de financiación pública no competitiva
Estudio de la Viabilidad del Análisis de Programas Mediante Interpretación Abstracta Utilizando Lenguajes Lógicos con Tabulación Como Medio de Implementación.
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Investigación Sobre el Diseño e Implementación de Sistemas de Programación Lógica Utilizando Técnicas de Tabulación en la Fundación Imdea Software
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas
Lenguajes para Razonamiento y Representacion de Conocimiento
Tipo de proyecto
:
Proyectos y convenios en convocatorias públicas competitivas