[ Publications ]

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.
| page 9 of 128 - listing 81 to 90 of a total of 1273 | |
Expanding the Magic Circle in Pervasive Casual Play Sep, 2012 @
in proceedings Sofia Reis,
Nuno Correia
Gestão e Pesquisa de Dados Privados em Nuvens de Armazenamento Sep, 2012 @
in proceedings Bernardo Ferreira,
Henrique João Domingos
Uma Infraestrutura para Suporte de Memória Transacional Distribuída Sep, 2012 @
in proceedings Tiago Vale,
Ricardo Dias,
João Lourenço
Efficient Support for In-Place Metadata in Transactional Memory Aug, 2012 @
in proceedings Ricardo Dias,
Tiago Vale,
João Lourenço
SentiTVchat: Sensing the mood of Social-TV viewers Jul, 2012 @
in proceedings Flávio Martins,
Filipa Peleja,
João Magalhães
Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors Jul, 2012 @
in proceedings Nuno Preguiça, Carlos Baquero, Paulo Sérgio Almeida, Victor Fonte, Ricardo Gonçalves
Using program closures to make an application programming interface (API) implementation thread safe Jul, 2012 @
in proceedings Eitan Farchi, Itai Segall, Diogo Sousa,
João Lourenço
Dynamic Interaction Models for Web Enabled Wireless Sensor Networks Jul, 2012 @
in proceedings Maria Cecília Gomes,
Hervé Paulino, Adérito Sarmento Baptista, Filipe Jorge da Silva Araújo
Single Operation Multiple Data - Data Parallelism at Subroutine Level Jun, 2012 @
in proceedings Eduardo Marques,
Hervé Paulino
First-Order Dynamic Logic for Compensable Processes Jun, 2012 @
in proceedings Roberto Bruni,
Carla Ferreira, Anne Kersten Kauer