CITI - Publications

Home \ Publications

[ 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

prev | 1 2 3 4 5 6 7 8 9 | next

A Framework to Evaluate Complexity and Completeness of KAOS Goal Models
Jun, 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 Rules
Jun, 2013 @ in proceedings
Catarina Almeida, Miguel Goulão, João Araújo

Transforming Creative Requirements into a Conceptual Model
May, 2013 @ in proceedings
Fernando Wanderley, Denis Silveira, João Araújo, Ana Moreira

A Comparison of Maps Application Programming Interfaces
May, 2013 @ in proceedings
Ana Isabel Fernandes, Miguel Goulão, Armanda Rodrigues

Searching Private Data in a Cloud Encrypted Domain
May, 2013 @ in proceedings
Bernardo Ferreira, Henrique João Domingos

Higher-Order Processes, Functions, and Sessions: A Monadic Integration
Apr, 2013 @ in proceedings
Bernardo Toninho, Luis Caires, Frank Pfenning

Behavioral Polymorphism and Parametricity in Session-Based Communication
Apr, 2013 @ in proceedings
Luis Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

ChainReaction: a Causal+ Consistent Datastore based on Chain Replication
Apr, 2013 @ in proceedings
Sérgio Almeida, João Leitão, Luís Rodrigues

Test-based SPL Extraction: An Exploratory Study
Mar, 2013 @ in proceedings
Alcemir Santos, Felipe Gaia, Eduardo Figueiredo, Pedro Neto, João Araújo

Enhancing Design Models with Composition Properties: A Software Maintenance Study
Mar, 2013 @ in proceedings
Francisco Dantas, Alessandro Garcia, Jon whittle, João Araújo

prev | 1 2 3 4 5 6 7 8 9 | next