|
|
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.
|
