Salvador Pinto Abreu
Home
Contacts
Research
→ Projects
→ Software
→ Graduate Students
→ Publications
Aulas
→ Arquitectura de Sistemas e Computadores II
→ Compiladores
→ Interfaces Pessoa / Máquina
→ Interfaces Pessoa / Máquina (UMA)
→ Tópicos Avançados de Sistemas Distribuídos
Other
→ Linux on Laptops
→ Photography
→ Aikido
→ Misc. Links
Disclaimer: This list may be incomplete and not up-to-date.

Current graduate students

Currently working towards a thesis under my supervision.
Name Type Year
(expected)		 Topic
Pedro Salgueiro PhD. 2011 Intrusion Detection with Constraint Programming
Vasco Pedro PhD. 2011 Parallel and Distributed Constraint Solving
Rui Machado PhD. 2012 Massively Parallel Declarative Computational Models

Former students

Concluded a thesis under my supervision.
Name Type Year Topic
Vitor Nogueira PhD. 2009 Temporal Constraint Contextual Logic Programming
Lígia Ferreira PhD. 2005 Programação por Restrições Distribuídas em Java
Luís Alexandre MSc. 2011 Interface Inteligente para o Caderno Escolar Electrónico
Gonçalo Fontes MSc. 2011 Criação de uma Framework para Desenvolvimento de Sistemas de Comunicação Aumentativa e Alternativa
Paulo Pires MSc. 2010 Business Intelligence em sistemas de apoio à gestão de frotas - Análise de tecnologias e metodologias
Paulo André MSc. 2010 Back-end GNU Prolog para EAM (tabulação e distribuição)
Pedro Guerreiro MSc. 2009 Visual programming in a heterogeneous multi-core environment
Claudio Fernandes MSc. 2008 X.P.T.O. - A System for Representing and Querying Semantic Web Ontologies
Rui Machado MSc. 2008 Constraint Programming in a Hetherogeneous Multicore Architecture
Pedro Patinho MSc. 2008 gProlog-MT: A Parallel Environment for GNU Prolog
Rui Gamito MSc. 2008 Workflow modeling using UML, Declarative Tools and WEB2.0
Nuno Morgadinho MSc. 2007 Distributed Multi-Threading in GNU Prolog
Luis Almas MSc. 2007 DSM-PM2 Adequacy for Distributed Constraint Programming
Nuno Lopes MSc. 2007 Representing and Querying Ontologies with Contextual Logic Programming
David Mendes MSc. 2004 GNU Prolog to Java: a study on how to connect the two programming environments
No Software Patents Debian GNU/Linux Valid HTML 4.01! Valid CSS! Last modified: Tue Feb 15 11:37:34 WET 2011