PROJECTS
- FLI AI race - Incentives for safety agreement compliance in AI Race
- 1 Sep 2018 - 31 Aug 2020
- Luís Moniz Pereira, Han The Anh, Tom Lenaerts
- RIVER - Reasoning with Knowledge and Streams
- 1 Aug 2018 - 31 Jul 2021
- Matthias Knorr, João Leite, Carlos Viegas Damásio, José Júlio Alferes, Ricardo Gonçalves, Theresa Swift
- ABSOLV - Abstraction for large scale problem solving
- 1 Jul 2018 - 30 Jun 2021
- João Paulo Marques Silva, João Leite, Matthias Knorr, José Júlio Alferes
- SAMOA - Secure and Scalable Platform for Massive-scale Mobile Applications
- 1 Jul 2018 - 30 Jun 2021
- Nuno Preguiça, João Leitão, Sérgio Duarte, João Lourenço, Bernardo Ferreira, Albert van der Linde
- COSMOS - Cosmos: Causal Consistency on the Network Edge.
- 14 Jun 2018 - 13 Jun 2021
- João Leitão, Luis Rodrigues, Nuno Preguiça, Carla Ferreira, Pedro Fouto, Gonçalo Tomás, Pedro Ákos Costa
- HiPSTr - High-Performance Serializable Transactions
- 1 Jun 2018 - 31 May 2021
- João Lourenço, João Leitão, Hervé Paulino, Valter Balegas
- FitoAgro - Grupo Operacional - PDR 2020: Monitorização e estudo do ciclo de vida de inimigos emergentes de Pomóideas da região Oeste de Portugal
- 1 Jan 2018 - 30 Jun 2022
- Carlos Viegas Damásio, Armanda Rodrigues, João Moura Pires
- USMA - Bridging Theory and Practice: Update Semantics and Multi-shot ASP
- 1 Apr 2017 - 31 Mar 2019
- João Leite, Torsten Schaub, Matthias Knorr, Ricardo Gonçalves, Carlos Lopes, Martin Gebser, Philipp Obermeier, Javier Romero, Orkunt Sabuncu
- AutoCarInsp - Sistema de Inspecção Automático para Veículos
- 1 Mar 2017 - 31 Dec 2018
- Nuno Correia, Rui Jesus
- iCBD - Infrastructure for Client-Based Desktops
- 1 Mar 2017 - 30 Jun 2018
- Paulo Afonso Lopes, Pedro Medeiros, Nuno Preguiça
- LightKone - Lightweight Computation for Networks at the Edge
- 1 Jan 2017 - 31 Dec 2019
- Nuno Preguiça, João Leitão, Carla Ferreira, Henrique Domingos, Sérgio Duarte, Bernardo Ferreira, Gonçalo Tomás, Pedro Ákos Costa, Pedro Fouto, Guilherme Borges, Maria Cecília Gomes
- DSML4MAS - DSML4MAS - Developing a Framework on Evaluating Domain-specific Modeling Languages for Multi-agent Systems
- 1 Nov 2016 - 31 Jan 2019
- Vasco Amaral, Ankica Barisic, Miguel Goulão, Geylani Kardas
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded