CITI has stopped operations in 2014,
to co-launch NOVA LINCS
THIS SITE IS NOT BEING UPDATED SINCE 2013
[ Research Projects ]

CITI has been developing external links, and pursuing collaborations, with researchers of many other universities and companies, thus maintaining a regular interaction program with the global computer science research community. Here you can see national as well as international projects in which CITI members are participating or have participated in the past.
The list MAY NOT BE complete, refer to activity reports for official information.
[ Ongoing Projects ] [ Concluded Projects ]
page 1 of 13 - listing concluded projects 1 to 10 of a total of 123 | |
MPM4CPS - Multi-Paradigm Modelling for Cyber-Physical Systems University of Antwerpen - [ Dec 2014 - Dec 2018 ]
Vasco Amaral
Software Systems
Reversible computation - Reversible computation - extending horizons of computing University of Leicester - [ Nov 2015 - Nov 2018 ]
Carla Ferreira
Software Systems
Hyrax - Crowd-Sourcing Mobile Devices to Develop Edge Clouds INESC TEC - [ Apr 2014 - Apr 2018 ]
Hervé Paulino, Nuno Preguiça, João André Silva, João Leitão, João Lourenço
Computer Systems
cHiPSet - High-Performance Modelling and Simulation for Big Data Applications Cracow University of Technology - [ Apr 2014 - Apr 2018 ]
Vasco Amaral
Software Systems
DependableCloud - Towards the dependable cloud: Building the foundations for tomorrow’s dependable cloud computing Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa - [ Oct 2012 - Sep 2017 ]
Rodrigo Rodrigues
Computer Systems
SyncFree - Large-scale computation without synchronisation INRIA - [ Oct 2013 - Sep 2016 ]
Nuno Preguiça, Carla Ferreira, João Lourenço, Rodrigo Rodrigues, Sérgio Duarte, Valter Balegas
Computer Systems, Software Systems
MyPrivateEC2 - End-to-End Privacy Enhanced Services for AWS EC2 NOVA.ID.FCT - Associação para a Inovação e desenvolvimento da FCT - [ Oct 2014 - Mar 2016 ]
Henrique João Domingos
Computer Systems
BETTY - behavioural types for reliable large-scale software systems University of Glasgow - [ Oct 2012 - Oct 2015 ]
António Ravara, Bernardo Toninho, Carla Ferreira, João Costa Seco, Luis Caires, Marco Giunti
Software Systems
ARTS COST Action TU1102 - Towards Autonomic Road Transport Support Systems (ARTS) University of Huddersfield - [ Sep 2011 - Sep 2015 ]
Maria Cecília Gomes, Hervé Paulino, Paulo Afonso Lopes, Pedro Medeiros
Computer Systems
SwiftComp - SwiftComp - Fast and Efficient Incremental Computation for Cloud Computing Environments CITI - [ Jul 2013 - Jun 2015 ]
Nuno Preguiça, David Navalho, João Lourenço, Margarida Mamede, Rodrigo Rodrigues, Sérgio Duarte
Computer Systems, Software Systems