Skip nav

Projectos de I&D

Consulta de projectos homologados

Concurso de Projectos de Investigação Científica e Desenvolvimento Tecnológico em todos os Domínios Científicos - 2010

Propriedades de animação por via estática

PTDC/EIA-CCO/117513/2010

Área Científica Principal
Engenharia Informática - Ciências da Computação
Palavras Chave
Propriedades de animação
Semântica de linguagens de programação
Sistemas de tipos
Lógica espacial
Financiamento
€ 132 211,00
Instituições
Instituição Proponente
NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT (NOVA.ID.FCT/FCTUNL/UNL)
Instituições Participantes
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
Unidade de Investigação Principal
Centro de Informática e Tecnologias da Informação (CITI/FCT/UNL)
Equipa
Investigador Responsável
António Maria Lobo César Alarcão Ravara
Investigadores
Vasco Thudichum Vasconcelos
Juliana Patrícia Vicente Franco