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 6 of 10 - listing technical reports 51 to 60 of a total of 91

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

bulletIntegrating synchronous and asynchronous interactions in groupware applications
   Departamento de Informática FCT/UNL - 2005
   Nuno Preguiça, José Legatheaux Martins, Henrique João Domingos, Sérgio Duarte

bulletEarly Aspects: The Current Landscape
   Carnegie Mellon University - 2005
   João Araújo, Elisa Baniassad, Paul Clements, Ana Moreira, Awais Rashid, Bedir Tekinerdogan

   Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa - 2005
   Diogo Cabral

bulletTesting Implementations of Algebraic Specifications with Design-By-Contract Tools
   Faculdade de Ciências da Universidade de Lisboa - 2005
   Isabel Nunes, Antónia Lopes, Vasco T. Vasconcelos, João Abreu, Luis S. Reis

bulletVerifying the Arrow Distributed Protocol in a Spatial Logic
   Departamento de Informática FCT/UNL - December, 2004
   Anabela Ribeiro, Luis Caires, Luis Monteiro

bulletThe Spatial Logic Model Checker User's Manual
   Departamento de Informática FCT/UNL - March, 2004
   Hugo Torres Vieira, Luis Caires

bulletEarly Aspects: Aspect-Oriented Requirements Engineering and Architecture Design
   University of Twente - 2004
   Bedir Tekinerdogan, Ana Moreira, João Araújo, Paul Clements

bulletControlling Security Policies in a Distributed Environment
   Faculdade de Ciências da Universidade de Lisboa - 2004
   Francisco Martins, Vasco T. Vasconcelos

bulletA note on relating two notions of spatial system
   Departamento de Informática FCT/UNL - 2004
   Luis Monteiro

bulletSession Types for Inter-Process Communication
   Department of Computing, University of Glasgow - 2003
   Simon Gay, Vasco T. Vasconcelos, António Ravara

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