CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Publications Login  
banner bottom
[ Publications - technical reports ]
Publications Icon  List of publications produced by CITI members as part of their research activities including work done in collaboration with external researchers. Select one of the publication types from the list below. The list MAY NOT BE complete, refer to activity reports for official information.

[ List All Publications ]
[ Articles ][ Book Chapters ][ Editorial Activities ][ Technical Reports ]
[ Books ][ Dissertations ][ In Proceedings ][ Other Publications ]

page 3 of 10 - listing technical reports 21 to 30 of a total of 91

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

bulletEvaluating Accessible Synchronous CMC Applications
   Universidade do Algarve - 2010
   Fernando Lobo, Marielba Zacarias, Paulo Alexandre Lucas Afonso Condado, Teresa Romão, Rui Godinho, Manuel Moreno

bulletPrinciples of Constructive Provability Logic
   Carnegie Mellon University - 2010
   Robert J. Simmons, Bernardo Toninho

bulletMDD Approach for Requirements Refinement to Architecture
   Lancaster University - March, 2009
   Mauricio Alférez, Vasco Amaral, João Araújo, João Santos

bulletD1.5 - Tool suite for aspect-oriented, model-driven requirements engineering
   Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa - 2009
   Mauricio Alférez, Vasco Amaral, João Araújo, Phil Greenwood, Uirá Kulesza, Ricardo Mateus, Ana Moreira, Afonso Pimentel, Andreas Rummler, Awais Rashid, Rita Ribeiro, João Santos

bulletA Coalgebraic Characterization of Behaviours in the Linear Time -- Branching Time Spectrum
   Departamento de Informática FCT/UNL - September, 2008
   Luis Monteiro

bulletAn Exploratory Study of CaesarJ Based on Implementations of the Gang-of-Four patterns
   Universidade do Minho - July, 2008
   Edgar Manuel Fernandes da Mota Sousa, Miguel Pessoa Monteiro

bulletTracing between Features and UML-Based Requirements Models: A Model-Driven Approach for Software Product Lines
   Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa - February, 2008
   Mauricio Alférez, Uirá Kulesza, Ana Moreira, João Araújo, Vasco Amaral

bulletDynamic Recovering of Long Running Transactions
   CITI - January, 2008
   Cátia Vaz, Carla Ferreira, António Ravara

bulletDesigning a commutative replicated data type for cooperative editing systems
   Departamento de Informática FCT/UNL - 2008
   Nuno Preguiça, Marc Shapiro

bulletDesigning a commutative replicated data type
   INRIA - October, 2007
   Marc Shapiro, Nuno Preguiça

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