Login

projects

Lightweight Computation for Networks at the Edge

LightKone Concluded

01/01/2017 - 31/12/2019

Team

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,

An Environment for Live Construction of Trustworthy Software

CLAY Concluded

01/07/2016 - 31/12/2019

Team

Luis Caires, João Costa Seco, Teresa Romão, Nuno Preguiça, João Costa Seco, Carlos Viegas Damásio,

Extending Horizons of Computing

Reversible Computation Concluded

30/04/2015 - 29/04/2019

Team

Carla Ferreira, Luis Caires,

ICT COST Action IC1406 – High-Performance Modelling and Simulation for Big Data Applications (cHiPSet)

Chipset Concluded

30/04/2015 - 01/04/2019

Team

Joanna Kolodziej, Vasco Amaral, Miguel Goulão,

USMA- Bridging Theory and Practice: Update Semantics and Multi-shot ASP

Concluded

01/04/2017 - 31/03/2019

Team

João Leite, Torsten Schaub, Matthias Knorr, Ricardo Gonçalves, Carlos Lopes, Martin Gebser, Philipp Obermeier, Javier Romero, Orkunt Sabuncu,

Auditoria de Segurança e Qualidade de Sistemas Críticos (IGF/Ministério da Justiça)

IGF-CITIUS-LOSJ Concluded

01/10/2018 - 29/03/2019

Team

Henrique Domingos,

DSML4MAS – Developing a Framework on Evaluating Domain-specific Modeling Languages for Multi-agent Systems

DSML4MAS Concluded

01/11/2016 - 31/01/2019

Team

Vasco Amaral, Ankica Barisic, Miguel Goulão, Geylani Kardas,

Converging broadcast and user generated content for interactive UHD services

COGNITUS Concluded

01/01/2016 - 31/12/2018

Team

Marta Mrak, João Magalhães, Nuno Correia, Sofia Cavaco,

Sistema de Inspecção Automático para Veículos

AutoCarInsp Concluded

01/03/2017 - 31/12/2018

Team

Nuno Correia, Rui Jesus,

Rapid Application Delivery for the Modern Enterprise Project code

Radicalize Concluded

01/01/2016 - 31/12/2018

Team

Luis Caires, João Costa Seco, Carla Ferreira,