| 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 1 of 77 - listing in proceedings 1 to 10 of a total of 769 |
A Framework to Evaluate Complexity and Completeness of KAOS Goal Models@ 25th International Conference on Advanced Information Systems Engineering (CAiSE 2013) - June, 2013
Patrícia Espada, Miguel Goulão, João Araújo
A Systematic Comparison of i* Modelling Tools Based on Syntactic and Well-Formedness Rules@ 6th International i* Workshop i* 2013 (at CAiSE 2013) - June, 2013
Catarina Almeida, Miguel Goulão, João Araújo
Searching Private Data in a Cloud Encrypted Domain@ ACM SIGIR RIAO Conference Series, Proceedings of OAIR 2013 - 10th ACM SIGIR Intl. Conference in the RIAO Series - May, 2013
Bernardo Ferreira, Henrique João Domingos
Transforming Creative Requirements into a Conceptual Model@ RCIS 2013 - May, 2013
Fernando Wanderley, Denis Silveira, João Araújo, Ana Moreira
A Comparison of Maps Application Programming Interfaces@ 16th AGILE Conference on Geographic Information Science - May, 2013
Ana Isabel Fernandes, Miguel Goulão, Armanda Rodrigues
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
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
Behavioral Polymorphism and Parametricity in Session-Based Communication@ Programming Languages and Systems, 22nd European Symposium on Programming, ESOP 2013 - April, 2013
Luis Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
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