CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Research Projects Login  
   
banner bottom
[ Research Projects ]
Projects Icon  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 7 of 12 - listing concluded projects 61 to 70 of a total of 118
order:  

prev   |   3  4  5  6  7  8  9  10  11   |   next


bulletCurriculum Development for High-Performance and Grid Computing
   Delft University of Technology - [ Jun 2005 - Dec 2008 ]
   José Alberto Cardoso e Cunha, Pedro Medeiros, Vítor Duarte
   Computer Systems

bulletMOBILOG - Specification and Verification of Complex, Stateful, Distributed Systems
   CITI - [ Jan 2008 - Dec 2008 ]
   Luis Caires, Carla Ferreira, José Pacheco, Nuno Preguiça
   Software Systems, Computer Systems

bulletSecureSpace - Logics for Security Protocols
   CITI - [ Jan 2007 - Dec 2008 ]
   Luis Caires, José Pacheco
   Software Systems

bulletCoreGRID NoE - CoreGRID - The European Research Network on Foundations, Software Infrastructures and Applications for large scale distributed, GRID and Peer-to-Peer Technologies
   INRIA - [ Sep 2007 - Sep 2008 ]
   José Alberto Cardoso e Cunha, Maria Cecília Gomes, Paulo Afonso Lopes, Pedro Medeiros
   Computer Systems

bulletmEmLearn - Tools for Storing, Retrieving, and Sharing Multimedia Learning Materials
   CITI - [ Sep 2006 - Jun 2008 ]
   Nuno Correia
   MultiModal Systems

bulletSOFTAS - Desenvolvimento de Software com Aspectos
   CITI - [ Apr 2005 - May 2008 ]
   Ana Moreira, Fernando Brito e Abreu, Isabel Sofia Brito, João Araújo, Miguel Goulão, Miguel Pessoa Monteiro, Pedro Guerreiro, Sérgio Bryton
   Software Systems

bulletSpace-Time-Types - Behavioural and Spatial Type Systems
   Instituto Superior Técnico - [ Mar 2005 - Mar 2008 ]
   Luis Caires, Vasco T. Vasconcelos
   Software Systems

bulletFEW - Files EveryWhere
   CITI - [ Mar 2005 - Feb 2008 ]
   Nuno Preguiça, Henrique João Domingos, José Legatheaux Martins, Sérgio Duarte
   Computer Systems

bulletCooperation with Cardiff University: Distributed Problem-Solving Environments for Grid Computing
   CITI - [ Jan 2004 - Dec 2007 ]
   José Alberto Cardoso e Cunha
   Computer Systems

bulletSTACOS - STAndard-based COoperative Software
   Universidade do Minho - [ Jan 2004 - Dec 2007 ]
   Fernando Brito e Abreu, Miguel Goulão
   Software Systems


prev   |   3  4  5  6  7  8  9  10  11   |   next