Login

Projects

Portuguese Researchers\’ Mobility Portal and Network of Mobility Centres

ASTROLABIUM Concluded

12/12/2003 - 11/12/2005

Team

Joaquim Ferreira da Silva, Gabriel Pereira Lopes, Tiago Ildefonso,

Research Links to Explore and Advance Software Evolution

RELEASE Concluded

01/11/2002 - 31/10/2005

Team

Miguel Wermelinger,

Intelligent Access to Knowledge Bases

ABC Concluded

01/10/2002 - 01/10/2005

Team

Irene Rodrigues, Paulo Quaresma,

Flexible Logic Updates

FLUX Concluded

01/01/2002 - 01/09/2005

Team

João Leite,

European Network of Excellence in Computational Logic

CoLogNet Concluded

01/01/2001 - 01/06/2005

Team

João Leite, José Júlio Alferes, Luís Moniz Pereira, Carlos Viegas Damásio,

Architectures for Mobility

AGILE Concluded

01/01/2002 - 30/04/2005

Team

Miguel Wermelinger,

Proofs of Functionality for Mobile Distributed Systems

PROFUNDIS Concluded

01/01/2002 - 30/04/2005

Team

Luís Monteiro, Luis Caires, Hugo Torres Vieira,

Mobile Calculi based on Domains

Mikado Concluded

01/01/2002 - 30/04/2005

Team

Vasco Vasconcelos, Francisco Martins,

Yet Another Java Constraint Programming System

AJACS Concluded

01/07/2002 - 01/01/2005

Team

Irene Rodrigues, Salvador Abreu,

Models and Infra-structures for Mobile cOmputing

MIMO Concluded

01/01/2002 - 31/12/2004

Team

Luis Caires, Hervé Paulino, Vasco Vasconcelos, Francisco Martins,