| Home \ Publications | Login |
[ Publications - in proceedings ]
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 12 of 93 - listing in proceedings 111 to 120 of a total of 923 |
Higher-Order Processes, Functions, and Sessions: A Monadic Integration@ Programming Languages and Systems, 22nd European Symposium on Programming, ESOP 2013 - April, 2013
Bernardo Toninho, Luis Caires, Frank Pfenning
ChainReaction: a Causal+ Consistent Datastore based on Chain Replication@ Proceedings of the EuroSys 2013 - April, 2013
Sérgio Almeida, João Leitão, Luís Rodrigues
Test-based SPL Extraction: An Exploratory Study@ ACM SAC - March, 2013
Alcemir Santos, Felipe Gaia, Eduardo Figueiredo, Pedro Neto, João Araújo
Enhancing Design Models with Composition Properties: A Software Maintenance Study@ AOSD 2013 - March, 2013
Francisco Dantas, Alessandro Garcia, Jon whittle, João Araújo
VISUALIZATION OF GEO-REFERENCED ENTITY: AN ASPECT-ORIENTED PATTERN@ IADIS Information Systems 2013 - March, 2013
Armanda Rodrigues, Sara Machado Silva, João Araújo
Advanced Modularity for Building SPL Feature Models: a Model-Driven Approach@ 28th ACM Symposium on Applied Computing, Requirements Engineering Track, ACM-SAC 2013 - March, 2013
João Araújo, Miguel Goulão, Ana Moreira, Inês Nunes Simão, Vasco Amaral, Elisa Baniassad
Bounded Gossip: A Gossip Protocol for Large-Scale Datacenters@ 28th Symposium On Applied Computing - March, 2013
Miguel Branco, João Leitão, Luís Rodrigues
Disciplined Structured Communications with Consistent Runtime Adaptation@ Proceedings of SAC'13: 28th Annual ACM Symposium On Applied Computing - March, 2013
Cinzia Di Giusto, Jorge A. Pérez
Concurrent Typed Intermediate Language@ Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013 - March, 2013
Luís Miguel Lourenço, João Costa Seco, Francisco Martins
A Survey of Tool Support for the Animation of IT Services Process Models Execution@ Proceedings of the Third International Conference on Exploring Service Science (IESS’2013) - February, 2013
Marco Roque, Fernando Brito e Abreu