Login
Research

Software Systems

Software Systems

Information Team Publications Projects Graduations Prototypes Seminars

Software Engineering for Service-Oriented Overlay Computers

SENSORIA Concluded

01/09/2005 - 01/05/2010

Team

Luís Monteiro, Luis Caires, João Costa Seco, Carla Ferreira, Hugo Torres Vieira,

Behavioural and Spatial Type Systems

Space-Time-Types Concluded

01/03/2005 - 01/03/2008

Team

Luis Caires, Vasco Vasconcelos,

Applied Semantics II

APPSEM II Concluded

01/01/2003 - 01/01/2006

Team

Luis Caires,

Proofs of Functionality for Mobile Distributed Systems

PROFUNDIS Concluded

01/01/2002 - 30/04/2005

Team

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

Programming Language Support for Components in .NET

ComponentGlue Concluded

03/01/2002 - 28/02/2003

Team

Luis Caires, João Costa Seco,

Declarative Programming with Concurrency and Mobility

POLY Concluded

01/01/2001 - 31/12/2002

Team

Luis Caires, Margarida Mamede, Artur Miguel Dias, Hugo Torres Vieira,

Data Components for Mobile Applications

DataBricks Concluded

01/01/2001 - 30/09/2004

Team

José Legatheaux Martins, Luis Caires, João Costa Seco, Henrique Domingos, Sérgio Duarte, Nuno Preguiça,

RESEARCH GROUP Software Systems

RESEARCH GROUP Intelligent Systems

RESEARCH GROUP Multimodal Systems

RESEARCH GROUP Computer Systems