22 JULHO / DOMINGO / 11:46
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
Theses of DCC-FC & LIACC, UP

Theses of
DCC - FC & LIACC / Universidade do Porto

( The central system is not fully updated with all the publications from our Dept.
So this page will list all the publications until the update process is complete)
)


PhD Theses:

Álvaro Reis Figueira Design and Implementation of a Distributed System with Mobility based on a Process Calculus
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, Maio, 2004.

Luís Filipe Coelho Antunes Useful Information
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, 2002.

Michel Ferreira Specialization Techniques for the Compilation of Declarative Languages
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, 2002.

Manuel E. Correia On the Implementation of And/Or Parallel Logic Programming Systems.
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, 2001.

Ricardo Lopes An Implementation of the Extended Andorra Model
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, Dezembro, 2001.
Resumo / Abstract / Postscript (gziped 590KB)

Ricardo Rocha On Applying Or-Parallelism and Tabling to Logic Programs
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, Novembro, 2001.
Resumo / Abstract / Postscript (gziped 576KB)

João Gama Combining Classification Algorithms
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, Março, 2000.
Resumo / Abstract / Postscript (gziped 530KB)

Luís Torgo Inductive Learning of Tree-based Regression Models
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, Março, 2000.
Resumo / Abstract / Postscript (gziped 1,308KB)

Luís Miguel Barros Lopes, On the Design and Implementation of a Virtual Machine for Process Calculi
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, Dezembro, 1999.
Resumo / Abstract / Postscript (401KB)

Alípio Jorge, Iterative Induction of Logic Programs: an approach to logic program synthesis from incomplete specifications.
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, Setembro, 1998.
Resumo / Abstract / Postscript Portuguese Version (gziped 633KB) Postscript English version (gziped 614KB)

António Mário Florido, Sistemas de Tipos para Linguagens Declarativas,
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, Janeiro, 1998.
Resumo / Abstract / Postscript (gziped, 264KB) (in Portuguese)

Nelma Resende Araújo Moreira, Restrições Complexas sobre Álgebras de Árvores e Aplicação a Gramáticas Lógicas,
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, Dezembro, 1997.
Resumo / Abstract / Postscript ) (gziped, 379KB) (in Portuguese)

José Paulo Leal, Graphical Interaction in Logic Programming,
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, Novembro, 1997.
Resumo / Abstract / Postscript (gziped, 545KB)

Ana Paula Tomás, Methods for Solving Linear Constraints on the Naturals,
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, Março, 1997.
Abstract.

Sabine Broda, Sobre Bases de Combinadores para Sistemas de Lambda Calculus,
Tese de Doutoramento, Departamento de Ciência de Computadores, FCUP, Fevereiro, 1997.
Resumo / Abstract / Postscript (gziped, 228KB) (in Portuguese)

Fernando Silva An Implementation of Or-Parallel Prolog on a Distributed Shared Memory Architecture.
Tese de Doutoramento, Dept. of Computer Science, Manchester University, 1984.

Luís Damas Type Assignment in Progamming Languages
Tese de Doutoramento, Edinburgh University, 1984.

Miguel Filgueiras Compreensão de Linguagem Natural por Computador: Uma Metodologia.
Tese de Doutoramento, Universidade Nova de Lisboa, 1984.

Armando Matos Simulação Computacional de Redes de Caminho de Ferro Electrificadas.
Tese de Doutoramento, Universidade do Porto, 1981.


FCUP 2018