| Home \ Research Projects | Login |
[ 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 12 - listing concluded projects 1 to 10 of a total of 118 |
SyncFree - Large-scale computation without synchronisationINRIA - [ 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 EC2NOVA.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 systemsUniversity 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 EnvironmentsCITI - [ Jul 2013 - Jun 2015 ]
Nuno Preguiça, David Navalho, João Lourenço, Margarida Mamede, Rodrigo Rodrigues, Sérgio Duarte
Computer Systems, Software Systems
VeedMind - Sistema de Email em modelo VideoWeWow - [ Jan 2014 - Jun 2015 ]
Nuno Correia, Nuno Marques
MultiModal Systems
Liveness, staticallyFundação da Faculdade de Ciências e Tecnologia (FFCT/FCT/UNL) - [ Mar 2012 - Apr 2015 ]
António Ravara, Hugo Torres Vieira, Marco Giunti, Vasco T. Vasconcelos
Software Systems
Euro-TM - Transactional Memories: Foundations, Algorithms, Tools, and ApplicationsINESC Id - [ Apr 2011 - Mar 2015 ]
João Lourenço, Hervé Paulino, Nuno Preguiça, Ricardo Dias, Tiago Vale, Vítor Duarte
Computer Systems
GoBusiness FinanceDepartamento Informática, Faculdade de Ciências, Universidade de Lisboa - [ Sep 2011 - Mar 2015 ]
Nuno Marques, Bruno Silva
MultiModal Systems
Lx Conventos - From sacred city to secular town. The extinction of religious orders and the dynamics of urban transformation in the nineteenthe century LisbonFaculdade de Ciências Sociais e Humanas, Universidade Nova de Lisboa - [ Mar 2013 - Feb 2015 ]
Armanda Rodrigues, Nuno Correia
MultiModal Systems