Login

Projects

Probabilistic Constraints for Uncertainty Reasoning in Science and Engineering Applications

PROCURE Concluded

01/05/2013 - 31/10/2015

Team

Pedro Barahona, Jorge Cruz, Marco Correia, Elsa Carvalho, Pedro Sousa, Laurent Granvillier, Alexandre Goldsztejn,

Towards Autonomic Road Transport Support Systems (ARTS)

ARTS COST Action TU1102 Concluded

22/09/2011 - 21/09/2015

Team

Maria Cecília Gomes, Pedro Medeiros, Paulo Afonso Lopes, Hervé Paulino,

Efficient Reasoning with Rules and Ontologies

ERRO Concluded

01/03/2012 - 31/08/2015

Team

João Leite, José Júlio Alferes, Carlos Viegas Damásio, Matthias Knorr, Theresa Swift, Sofia Gomes, Vadim Ivanov, Ricardo Gonçalves, Martin Slota, Pascal Hitzler,

SwiftComp – Fast and Efficient Incremental Computation for Cloud Computing Environments

SwiftComp Concluded

01/07/2013 - 30/06/2015

Team

Nuno Preguiça, Rodrigo Rodrigues, João Lourenço, Margarida Mamede, Sérgio Duarte, David Navalho,

Sistema de Email em modelo Video

VeedMind Concluded

01/01/2014 - 01/06/2015

Team

Nuno Correia, Nuno C Marques,

The Notion of Mathematical Proof

NotionProof Concluded

01/06/2013 - 31/05/2015

Team

Reinhard Kahle, Jesse Alama, Gregory Wheeler,

Liveness, statically

Liveness, statically Concluded

20/03/2012 - 19/04/2015

Team

António Ravara, Marco Giunti, Vasco Vasconcelos, Hugo Torres Vieira,

Transactional Memories: Foundations, Algorithms, Tools, and Applications

Euro-TM Concluded

01/04/2011 - 31/03/2015

Team

João Lourenço, Vítor Duarte, Hervé Paulino, Nuno Preguiça, Ricardo Dias, Tiago Vale,

GoBusiness Finance

Concluded

01/09/2011 - 01/03/2015

Team

Nuno C Marques, Bruno Silva,

Search architectures and algorithms for enterprise search

QSearch Concluded

01/03/2012 - 28/02/2015

Team

João Magalhães,