CITI - Publications

Home \ Publications

[ Publications - technical reports ]

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

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

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

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

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

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

Bio-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

StarTM: 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

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

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

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

Evaluating 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