| Home \ Publications | Login |
[ Publications - articles ]
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 21 - listing articles 1 to 10 of a total of 202 |
Disciplined Structured Communications with Disciplined Runtime Adaptation Science of Computer Programming - January, 2015
Cinzia Di Giusto, Jorge A. Pérez
Avaliação empírica do sucesso da utilização da gestão ágil de projetos no desenvolvimento de software em portais de notícias do BrasilRevista de Sistemas e Computação (UNIFACS) - June, 2014
Elton Santos Vianna, Gutenberg A. Silveira, Fernando Brito e Abreu
Consistency Checking in Early SPL Specifications - The VCC ApproachJournal of Universal Computer Science - May, 2014
Mauricio Alférez, Roberto E. Lopez-Herrejon, Ana Moreira, Vasco Amaral, Alexander Egyed
Notas Leitura/Recensão Crítica: Federico Pistono, Robots will steal your job, but that’s ok: how to survive the economic collapse and be happyRevista de Ciências da Computação - April, 2014
Nuno Marques
Autonomic Workflow Activities: The AWARD FrameworkInternational Journal of Adaptive, Resilient, and Autonomic Systems (IJARAS) - April, 2014
Luis Assunção, Carlos Gonçalves, José Alberto Cardoso e Cunha
Casual Games with a Pervasive TwistEntertainment Computing - April, 2014
Sofia Reis, Nuno Correia
Web-GIS models: accomplishing modularity with aspectsInnovations in Systems and Software Engineering - March, 2014
Matias Urbieta, Ana Isabel Durão Mata de Oliveira , João Araújo, Armanda Rodrigues, Ana Moreira, S. Gordillo, Gustavo Rossi
Match-up Analysis of MERIS Radiometric Data in the Northern Adriatic SeaIEEE Geoscience and Remote Sensing Letters - January, 2014
Tamito Kajiyama, Davide D\'Alimonte, Giuseppe Zibordi
Linear Logical Relations and Observational Equivalences for Session-Based ConcurrencyInformation and Computation (Elsevier) - 2014
Jorge A. Pérez, Luis Caires, Frank Pfenning, Bernardo Toninho
Design of an Interactive Experience with Medieval Illuminations: A Journey into the Beauty and Meaning of Medieval Portuguese ManuscriptsJournal on Computing and Cultural Heritage (JOCCH) - 2014
Nuno Correia, Teresa Romão, Tarquínio Mota, Maria João Melo