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 13 - listing concluded projects 61 to 70 of a total of 121
order:  

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


bulletAMPLE - Aspect-Oriented, Model-Driven Product Line Engineering
   Lancaster University - [ Oct 2006 - Sep 2009 ]
   Ana Moreira, Antonielly Garcia Rodrigues, João Araújo, João Santos, Mauricio Alférez, Uirá Kulesza, Vasco Amaral
   Software Systems

bulletMINEMA - Middleware for Network Eccentric and Mobile Applications
   European Science Foundation - [ Apr 2006 - Mar 2009 ]
   Henrique João Domingos
   Computer Systems

bulletClusterGrid - Tools and Environments for Application Development in Grid Computing
   CITI - [ Jan 2007 - Dec 2008 ]
   José Alberto Cardoso e Cunha, João Lourenço, Pedro Medeiros, Vítor Duarte
   Computer Systems

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


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