| 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 9 of 154 - listing 81 to 90 of a total of 1532 |
Slider: Incremental Sliding Window Analytics2014 @ in proceedings
Pramod Bhatotia, Umut A. Acar, Flavio Junqueira, Rodrigo Rodrigues
Linearity, session types and the pi calculus2014 @ articles
Marco Giunti, Vasco T. Vasconcelos
See-Through-Sound: Transforming images into sonic representations to help the blind2014 @ articles
J. Tomás Henriques, Sofia Cavaco, Nuno Correia
Playing with the Environment2014 @ book chapters
Pedro Centieiro, Teresa Romão, A. Eduardo Dias
Presenting EveWorks, a Framework for Daily Life Event Detection2014 @ in proceedings
Bruno Cardoso, Teresa Romão
Risk Management in Maritime Structures2014 @ in proceedings
M. T. Reis, Pedro Poseiro, C. J. E. M. Fortes, J. M. P. Conde, E. Didier, André Sabino, Armanda Rodrigues
Framework Support for the Efficient Implementation of Multi-Version Algorithms2014 @ book chapters
Ricardo Dias, Tiago Vale, João Lourenço
Visualizing productive networks relationships2014 @ in proceedings
João Gouveia, André Sabino, Armanda Rodrigues
Towards static deadlock resolution in the pi calculus2014 @ in proceedings
Marco Giunti, António Ravara
Project Lx Conventos: Travelling through space and time in Lisbon’s religious buildings2014 @ in proceedings
João Gouveia, Fernando Branco, Armanda Rodrigues, Nuno Correia