29 MARÇO / SEXTA FEIRA / 08:27
FCUP PT 
 EN
 
 
APRESENTAÇÃO
PESSOAS
ENSINO
INVESTIGAÇÃO
BIBLIOTECA
NOTÍCIAS
CONTACTOS
Áreas de Investigação
LIACC
Projectos
Publicações
Alunos de Doutoramento
Teses de Doutoramento
Lista Completa
Teses de Mestrado
Relatórios Técnicos
AREAS

Teses de Doutoramento

Teses orientadas ou co-orientadas por docentes do departamento Ciência de Computadores (antigo)

10 registos encontrados
2007 JORGE MANUEL NEVES COELHO
XML Processing in Logic Programming
Doutoramento em Ciência de Computadores, FCUP, Novembro, 2007
Tese[PDF]     
2007 RUI PEDRO DE MAGALHÃES CLARO PRIOR
Scalable Network Architectures Supporting Quality of Service
Doutoramento em Ciência de Computadores, FCUP, Abril, 2007
2007 SANDRA MARIA MENDES ALVES
Linearisation of the Lambda-Calculus
Doutoramento em Ciência de Computadores, FCUP, Abril, 2007
2006 NUNO ALBERTO PAULINO DA FONSECA
Parallelism in Inductive Logic Programming Systems
Doutoramento em Ciência de Computadores, FCUP, Outubro, 2006
2004 ÁLVARO PEDRO DE BARROS BORGES REIS FIGUEIRA
Design and Implementation of a Distributed System with Mobility Based on a Process Calculus
Doutoramento em Ciência de Computadores, FCUP, Junho, 2004
2002 LUÍS FILIPE COELHO ANTUNES
Useful Information
Doutoramento em Ciência de Computadores, FCUP, Fevereiro, 2002
2002 MICHEL CELESTINO PAIVA FERREIRA
Specialization Techniques For The Compilation Of Declarative Languages
Doutoramento em Ciência de Computadores, FCUP, Abril, 2002
2001 MANUEL EDUARDO CARVALHO DUARTE CORREIA
On the Implementation of And/Or Parallel Logic Programming Systems
Doutoramento em Ciência de Computadores, FCUP, Novembro, 2001
2001 RICARDO JORGE GOMES LOPES DA ROCHA
On Applying Or-Parallelism and Tabling to Logic Programs
Doutoramento em Ciência de Computadores, FCUP, Novembro, 2001
2001 RICARDO NUNO DE SOUSA LOPES
An Implementation of the Extended Andorra Model
Doutoramento em Ciência de Computadores, FCUP, Dezembro, 2001
FCUP 2024