AREAS DOUTORAMENTO EM CIÊNCIA DE COMPUTADORES DOUTORAMENTO EM CIÊNCIA DE COMPUTADORES

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