|
Browse our site
Browse member's work
|
Participation on ongoing projects
- HORUS - Horn Representations of Uncertain Systems
Ongoing since January 2010, concludes in December 2012 Salvador Abreu
- CONTEMP - CONTraintes Exécutées en MultiProcesseurs
Ongoing since January 2008, concludes in December 2010 Salvador Abreu, Lígia Ferreia, Pedro Barahona, Ludwig Kripphal
- JEDI - A Joint Environment for Deduction and Induction
Ongoing since January 2008, concludes in December 2010 Salvador Abreu
- STAMPA - Sophisticated TAbling Mechanisms for Prolog and their Applications
Ongoing since January 2008, concludes in December 2010 Salvador Abreu
- IBM-SUR - Parallel and Distributed Computational Models for Scientific Applications on Cell Processor Clusters
Ongoing since 2007 Salvador Abreu, Luís Moniz Pereira, Armando Fernandes, Carlos Damásio, Francisco Azevedo, Irene Rodrigues, Lígia Ferreia, Pedro Barahona, Susana Nascimento
|
CENTRIA member
|