PROJECTS
- LSMC 2012-2013 - LSMC 2012-2013: Large-scale parallel Monte Carlo simulations for Ocean Colour applications
- 1 Nov 2012 - 31 Dec 2013
- José Cardoso e Cunha, Tamito Kajiyama
- BETTY - behavioural types for reliable large-scale software systems
- 26 Oct 2012 - 26 Oct 2016
- António Ravara, Luis Caires, João Costa Seco, Carla Ferreira, Marco Giunti, Bernardo Toninho
- DependableCloud - Towards the dependable cloud: Building the foundations for tomorrow’s dependable cloud computing
- 1 Oct 2012 - 30 Sep 2017
- Rodrigo Rodrigues
- Liveness, statically - Liveness, statically
- 20 Mar 2012 - 19 Apr 2015
- António Ravara, Marco Giunti, Vasco Vasconcelos, Hugo Torres Vieira
- QSearch - Search architectures and algorithms for enterprise search
- 1 Mar 2012 - 28 Feb 2015
- João Magalhães
- HIDRALERTA - FLOOD FORECAST AND ALERT SYSTEM IN COASTAL AND PORT AREAS
- 1 Mar 2012 - 28 Feb 2015
- Armanda Rodrigues
- ERRO - Efficient Reasoning with Rules and Ontologies
- 1 Mar 2012 - 31 Aug 2015
- 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
- Qais - Quantitative analysis of interacting systems: foundations and algorithms
- 1 Jan 2012 - 31 Dec 2014
- Luís Monteiro, Ana Paula Maldonado, Elisabete Freire
- LSMC 2011-2012 - LSMC 2011-2012: Large-scale parallel Monte Carlo simulations for ocean colour applications
- 1 Nov 2011 - 31 Oct 2012
- José Cardoso e Cunha, Tamito Kajiyama
- ARTS COST Action TU1102 - Towards Autonomic Road Transport Support Systems (ARTS)
- 22 Sep 2011 - 21 Sep 2015
- Maria Cecília Gomes, Pedro Medeiros, Paulo Afonso Lopes, Hervé Paulino
- BestSupplier - BestSupplier
- 1 Sep 2011 - 1 Mar 2013
- Nuno C Marques, Joaquim Ferreira da Silva, António Paulo Santos
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded