| 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 8 of 154 - listing 71 to 80 of a total of 1532 |
Engaging Remote Fans in Live Sports. International Journal of Arts and Technology 2014 @ articles
Pedro Centieiro, Teresa Romão, A. Eduardo Dias
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration2014 @ in proceedings
Pedro Fonseca, Rodrigo Rodrigues, Bjoern Brandenburg
Wave overtopping analysis and early warning system2014 @ in proceedings
André Sabino, Armanda Rodrigues, João Araújo, Pedro Poseiro, C. J. E. M. Fortes, M. T. Reis
Linear Logical Relations and Observational Equivalences for Session-Based Concurrency2014 @ articles
Jorge A. Pérez, Luis Caires, Frank Pfenning, Bernardo Toninho
4th International Model-Driven Requirements Engineering Workshop2014 @ editorial activities
Ana Moreira, João Araújo, Gunter Mussbacher, Pablo Sanchez
If You Can Feel It, You Can Share It! A System for Sharing Emotions During Live Sports Broadcasts2014 @ in proceedings
Pedro Centieiro, Bruno Cardoso, Teresa Romão, A. Eduardo Dias
Fostering Learning and Behavior Change Through Computer Entertainment2014 @ book chapters
Teresa Romão
Visualizing Productive Network Relationships2014 @ in proceedings
André Sabino, João Gouveia, Armanda Rodrigues
A Model-Driven Approach for Mobile Business Information Systems Applications2014 @ in proceedings
Luís Pires da Silva, Fernando Brito e Abreu, Vasco Amaral
Using GPS Logs to Identify Agronomical Activities2014 @ in proceedings
Armanda Rodrigues, Carlos Damásio, José Emanuel Cunha