| Home \ Publications | Login |
[ 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.
| [ List All Publications ] | |||
| [ Articles ] | [ Book Chapters ] | [ Editorial Activities ] | [ Technical Reports ] |
| [ Books ] | [ Dissertations ] | [ In Proceedings ] | [ Other Publications ] |
| page 11 of 154 - listing 101 to 110 of a total of 1532 |
An orientation game with 3D spatialized audio for visually impaired children2014 @ in proceedings
Diogo Simões, Sofia Cavaco
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration2014 @ in proceedings
Pedro Fonseca, Rodrigo Rodrigues, Bjoern Brandenburg
FCT4U – When private mobile displays meet public situated displays to enhance the user experience Dec, 2013 @ in proceedings
Pedro Albuquerque Santos, Rui Neves Madeira, Nuno Correia
Dynamic Workflow Reconfigurations for Recovering from Faulty Cloud ServicesDec, 2013 @ in proceedings
Luis Assunção, José Alberto Cardoso e Cunha
Expanding the Magic Circle in Pervasive Casual PlayDec, 2013 @ dissertations
Sofia Reis
TMS - A Trusted Mail Repository Service using Public Storage CloudsDec, 2013 @ in proceedings
João Miguel Cardia Melro Rodrigues, Bernardo Ferreira, Henrique João Domingos
Efficient support for in-place metadata in Java software transactional memoryDec, 2013 @ articles
Ricardo Dias, Tiago Vale, João Lourenço
Session Types with Runtime Adaptation: Overview and ExamplesDec, 2013 @ in proceedings
Cinzia Di Giusto, Jorge A. Pérez
Flexible Mapreduce Workflows for Cloud Data AnalyticsDec, 2013 @ articles
Carlos Gonçalves, Luis Assunção, José Alberto Cardoso e Cunha
Encaminhamento IP Optimizado Através de uma Aproximação de Software Defined NetworkingNov, 2013 @ in proceedings
Alexandre Pinote, José Legatheaux Martins