| 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 7 of 154 - listing 61 to 70 of a total of 1532 |
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
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
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
Using GPS Logs to Identify Agronomical Activities2014 @ in proceedings
Armanda Rodrigues, Carlos Damásio, José Emanuel Cunha
A Model-Driven Approach for Mobile Business Information Systems Applications2014 @ in proceedings
Luís Pires da Silva, Fernando Brito e Abreu, Vasco Amaral
Mathematics for all: a Game-Based Learning Environment for Visually Impaired Students2014 @ in proceedings
Frederico Ferreira, Sofia Cavaco
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