| 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 128 - listing 71 to 80 of a total of 1273 |
Towards an Adaptable Middleware for Parallel Computing in Heterogeneous EnvironmentsSep, 2012 @ in proceedings
João Saramago, Diogo Andre Ribeiro Mourão, Hervé Paulino
Playing with the WeatherSep, 2012 @ in proceedings
Sofia Reis, Nuno Correia
Personalization of an Energy Awareness Pervasive GameSep, 2012 @ in proceedings
Rui Neves Madeira, André Vieira, Nuno Correia
A UML Profile for Modeling IT InfrastructuresSep, 2012 @ in proceedings
Luís Alexandre Ferreira da Silva, Fernando Brito e Abreu, Victor Moreira
Cut Reduction in Linear Logic as Asynchronous Session-Typed CommunicationSep, 2012 @ in proceedings
Henry DeYoung, Luis Caires, Frank Pfenning, Bernardo Toninho
Sensor Systems and Software - Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected PapersSep, 2012 @ editorial activities
Francisco Martins, Luís Lopes, Hervé Paulino
SwiftCloud: replicação sem coordenaçãoSep, 2012 @ in proceedings
Valter Balegas, Nuno Preguiça
Reconfiguração Dinâmica Estruturada de Workflows de Serviços WebSep, 2012 @ in proceedings
Filipe Jorge da Silva Araújo, Maria Cecília Gomes, Hervé Paulino
A Type System for Flexible Role Assignment in Multiparty Communicating Systems Sep, 2012 @ in proceedings
Pedro Baltazar, Luis Caires, Vasco T. Vasconcelos, Hugo Torres Vieira
Enhancing Service-Oriented Computing with Software Mobility Sep, 2012 @ in proceedings
Hervé Paulino, Gilberto Camacho