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 - articles ]
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 21 - listing articles 51 to 60 of a total of 202

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

bulletConvergent and Commutative Replicated Data Types
   Bulletin of the European Association for Theoretical Computer Science - June, 2011
   Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski

bulletDetecting concurrency anomalies in transactional memory programs
   Computer Science and Information Systems - April, 2011
   João Lourenço, Diogo Sousa, Bruno Cavaca Teixeira, Ricardo Dias

bulletOn the Expressiveness and Decidability of Higher-Order Process Calculi
   Information and Computation (Elsevier) - February, 2011
   Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt

bulletRITAS: Services for Randomized Intrusion Tolerance
    IEEE Transactions on Dependable and Secure Computing - 2011
   Henrique Moniz, Nuno Ferreira Neves, Miguel Pupo Correia, Paulo Jorge Esteves Veríssimo

bulletIntegrating an Automatic Judge into an Open Source LMS
   International Journal on E-Learning - 2011
   Katerina Georgouli, Pedro Guerreiro

bulletRandomized Consensus in Wireless Environments
   IARIA International Journal in Intelligent Systems - 2011
   Bruno Vavala, Henrique Moniz, Nuno Ferreira Neves

bulletRandomization can be a Healer: Consensus with Dynamic Omission Failures
   Distributed Computing - 2011
   Henrique Moniz, Nuno Ferreira Neves, Miguel Pupo Correia, Paulo Jorge Esteves Veríssimo

bulletHow to reach a usable DSL? Moving toward a Systematic Evaluation
   Electronic Communications of the EASST - 2011
   Ankica Barisic, Vasco Amaral, Miguel Goulão, Bruno Barroca

bulletAn Interface to Retrieve Personal Memories through an Iconic Visual Language
   Transactions in Edutainment - 2011
   Rui Jesus, Teresa Romão, Nuno Correia

bulletConversation Types
   Theoretical Computer Science - November, 2010
   Luis Caires, Hugo Torres Vieira

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