citi banner
Home Page FCT/UNL UNL
  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 1 of 8 - listing technical reports 1 to 10 of a total of 79
order:  

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


bulletAn optimized conflict-free replicated set
   INRIA - October, 2012
   Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte

bulletModeling Approach Comparison Criteria for MODELS 2011 CMA Workshop
   Colorado State University - September, 2011
   Geri George, Gunter Mussbacher, Betty Cheng, Ana Moreira, Robert France

bulletA comprehensive study of Convergent and Commutative Replicated Data Types
   INRIA - January, 2011
   Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski

bulletProgrammer's Guide for QT Gui + openFrameworks (OF) in C++ (Visual Studio 2008 & 2010)
   CITI - 2011
   Diogo Cabral, João Valente

bulletBio-optical Algorithms for European Seas: Performance and Applicability of Neural-Net Inversion Schemes
   JRC - 2011
   Davide D\'Alimonte, Giuseppe Zibordi, Jean-François Berthon, Elisabetta Canuti, Tamito Kajiyama

bulletStarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs
   Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa - 2011
   Ricardo Dias, Dino Distefano, João Costa Seco, João Lourenço

bulletDecentralized Processing Strategies for Participatory Sensing Data
   CITI - August, 2010
   Heitor Ferreira, Sérgio Duarte, Nuno Preguiça

bulletDynamic Random Broadcast Trees for Improved Load-balancing
   CITI - July, 2010
   Sérgio Duarte, José Legatheaux Martins, Margarida Mamede, Nuno Preguiça

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

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


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