|
Teses de Doutoramento
Teses orientadas ou co-orientadas
por docentes do departamento Ciência de Computadores (antigo)
10 registos encontrados
![](/img/pixel.gif) |
2007 |
![](/img/pixel.gif) |
JORGE MANUEL NEVES COELHO XML Processing in Logic Programming Doutoramento em Ciência de Computadores, FCUP, Novembro, 2007Tese[PDF] |
![](/img/pixel.gif) |
|
![](/img/pixel.gif) |
2007 |
![](/img/pixel.gif) |
RUI PEDRO DE MAGALHÃES CLARO PRIOR Scalable Network Architectures Supporting Quality of Service Doutoramento em Ciência de Computadores, FCUP, Abril, 2007 |
![](/img/pixel.gif) |
|
![](/img/pixel.gif) |
2007 |
![](/img/pixel.gif) |
SANDRA MARIA MENDES ALVES Linearisation of the Lambda-Calculus Doutoramento em Ciência de Computadores, FCUP, Abril, 2007 |
![](/img/pixel.gif) |
|
![](/img/pixel.gif) |
2006 |
![](/img/pixel.gif) |
NUNO ALBERTO PAULINO DA FONSECA Parallelism in Inductive Logic Programming Systems Doutoramento em Ciência de Computadores, FCUP, Outubro, 2006 |
![](/img/pixel.gif) |
|
![](/img/pixel.gif) |
2004 |
![](/img/pixel.gif) |
Á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 |
![](/img/pixel.gif) |
|
![](/img/pixel.gif) |
2002 |
![](/img/pixel.gif) |
LUÍS FILIPE COELHO ANTUNES Useful Information Doutoramento em Ciência de Computadores, FCUP, Fevereiro, 2002 |
![](/img/pixel.gif) |
|
![](/img/pixel.gif) |
2002 |
![](/img/pixel.gif) |
MICHEL CELESTINO PAIVA FERREIRA Specialization Techniques For The Compilation Of Declarative Languages Doutoramento em Ciência de Computadores, FCUP, Abril, 2002 |
![](/img/pixel.gif) |
|
![](/img/pixel.gif) |
2001 |
![](/img/pixel.gif) |
MANUEL EDUARDO CARVALHO DUARTE CORREIA On the Implementation of And/Or Parallel Logic Programming Systems Doutoramento em Ciência de Computadores, FCUP, Novembro, 2001 |
![](/img/pixel.gif) |
|
![](/img/pixel.gif) |
2001 |
![](/img/pixel.gif) |
RICARDO JORGE GOMES LOPES DA ROCHA On Applying Or-Parallelism and Tabling to Logic Programs Doutoramento em Ciência de Computadores, FCUP, Novembro, 2001 |
![](/img/pixel.gif) |
|
![](/img/pixel.gif) |
2001 |
![](/img/pixel.gif) |
RICARDO NUNO DE SOUSA LOPES An Implementation of the Extended Andorra Model
Doutoramento em Ciência de Computadores, FCUP, Dezembro, 2001 |
![](/img/pixel.gif) |
|
![](/img/pixel.gif) |
![](/img/pixel.gif) |
|