| 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 1 of 128 - listing 1 to 10 of a total of 1273 |
A Framework to Evaluate Complexity and Completeness of KAOS Goal ModelsJun, 2013 @ in proceedings
Patrícia Espada, Miguel Goulão, João Araújo
A Systematic Comparison of i* Modelling Tools Based on Syntactic and Well-Formedness RulesJun, 2013 @ in proceedings
Catarina Almeida, Miguel Goulão, João Araújo
Searching Private Data in a Cloud Encrypted DomainMay, 2013 @ in proceedings
Bernardo Ferreira, Henrique João Domingos
Transforming Creative Requirements into a Conceptual ModelMay, 2013 @ in proceedings
Fernando Wanderley, Denis Silveira, João Araújo, Ana Moreira
A Comparison of Maps Application Programming InterfacesMay, 2013 @ in proceedings
Ana Isabel Fernandes, Miguel Goulão, Armanda Rodrigues
Behavioral Polymorphism and Parametricity in Session-Based CommunicationApr, 2013 @ in proceedings
Luis Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
ChainReaction: a Causal+ Consistent Datastore based on Chain ReplicationApr, 2013 @ in proceedings
Sérgio Almeida, João Leitão, Luís Rodrigues
Higher-Order Processes, Functions, and Sessions: A Monadic IntegrationApr, 2013 @ in proceedings
Bernardo Toninho, Luis Caires, Frank Pfenning
Disciplined Structured Communications with Consistent Runtime AdaptationMar, 2013 @ in proceedings
Cinzia Di Giusto, Jorge A. Pérez
Test-based SPL Extraction: An Exploratory StudyMar, 2013 @ in proceedings
Alcemir Santos, Felipe Gaia, Eduardo Figueiredo, Pedro Neto, João Araújo