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  \  Prototypes Login  
   
banner bottom
[ Prototypes ]
Prototypes Icon  List of Software Prototypes done by CITI Members.

page 4 of 20 - listing prototypes 31 to 40 of a total of 199
order:  

prev   |   1  2  3  4  5  6  7  8  9   |   next


bulletWeBet
   Teresa Romão, A. Eduardo Dias, Pedro Centieiro
   2013

bulletCompressed Bilingual Text Framework
   Gabriel Pereira Lopes, Luís Russo, Luís Gomes, Jorge Costa
   2013

bulletLOCKRES: a session type checker resolving deadlocks
   Marco Giunti
   2013

bulletDetecção automática de actividades agronómicas
   Armanda Rodrigues
   2013

bulletVisualAUThor - Uma plataforma de visualização de relações de colaboração
   Armanda Rodrigues, João Gouveia
   2013

bulletVCC - Variability Consistency Checking Tool
   Ana Moreira, Vasco Amaral, Mauricio Alférez
   December, 2012

bulletCryptoSearch: A Secure Data Management and Search Engine over Encrypted Private Unstructured Documents Stored in Public Key-Value Repositories
   Henrique João Domingos, Bernardo Ferreira
   December, 2012

bulletTribuSTM
   João Lourenço, Ricardo Dias, Tiago Vale
   November, 2012

bulletMarrow - An Algorithmic Skeleton Framework for GPGPU
   Hervé Paulino
   October, 2012

bulletmodularKAOS
   João Araújo, Miguel Goulão, Vasco Amaral
   May, 2012


prev   |   1  2  3  4  5  6  7  8  9   |   next