Login
NOVA LINCS

Luís Monteiro

People

Publications Projects Graduations Prototypes Seminars

Quantitative analysis of interacting systems: foundations and algorithms

Qais Concluded

01/01/2012 - 31/12/2014

Team

Luís Monteiro, Ana Paula Maldonado, Elisabete Freire,

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,

Proofs of Functionality for Mobile Distributed Systems

PROFUNDIS Concluded

01/01/2002 - 30/04/2005

Team

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

Concurrent Constraint Programming for Time-Critical Systems

COTIC Concluded

01/01/1997 - 01/01/2001

Team

Luís Monteiro,