Login

Projects

Specification and Verification of Complex, Stateful, Distributed Systems

MOBILOG Concluded

01/01/2008 - 31/12/2008

Team

Luis Caires, Nuno Preguiça, Carla Ferreira

Curriculum Development for High-Performance and Grid Computing

Concluded

01/06/2005 - 31/12/2008

Team

José Cardoso e Cunha, Pedro Medeiros, Vítor Duarte

ClusterGrid – Tools and Environments for Application Development in Grid Computing

Concluded

01/01/2007 - 31/12/2008

Team

José Cardoso e Cunha, Pedro Medeiros, Vítor Duarte, João Lourenço

CoreGRID – The European Research Network on Foundations, Software Infrastructures and Applications for large scale distributed, GRID and Peer-to-Peer Technologies

CoreGRID NoE Concluded

01/09/2007 - 01/09/2008

Team

José Cardoso e Cunha, Pedro Medeiros, Maria Cecília Gomes, Paulo Afonso Lopes

Tools for Storing, Retrieving, and Sharing Multimedia Learning Materials

mEmLearn Concluded

01/09/2006 - 01/06/2008

Team

Nuno Correia

Desenvolvimento de Software com Aspectos

SOFTAS Concluded

01/04/2005 - 01/05/2008

Team

Ana Moreira, João Araújo, Miguel Goulão, Miguel Monteiro, Sérgio Bryton, Pedro Guerreiro, Fernando Brito e Abreu, Isabel Brito

Probability Logic and Probabilistic Networks

PROGICNET Concluded

01/04/2006 - 01/04/2008

Team

Gregory Wheeler

Probabilistic Reasoning for Constraints in Science and Engineering

PRECISE Concluded

01/04/2005 - 01/03/2008

Team

Pedro Barahona, Jorge Cruz

Behavioural and Spatial Type Systems

Space-Time-Types Concluded

01/03/2005 - 01/03/2008

Team

Luis Caires, Vasco Vasconcelos

Reasoning on the Web with Rules and Semantics

REWERSE Concluded

01/03/2004 - 01/03/2008

Team

José Júlio Alferes, Luís Moniz Pereira, Pedro Barahona, Carlos Viegas Damásio, Ludwig Krippahl, Ricardo Amador