| 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 8 of 21 - listing articles 71 to 80 of a total of 202 |
Encoding cryptographic primitives in a calculus with polyadic synchronization Journal of Automated Reasoning - 2010
Joana Martinho, António Ravara
Hybrid Assessment Method for Software Engineering DecisionsDecision Support Systems - 2010
Rita Ribeiro, Ana Moreira, Pim van den Broek
Magnet Mail: A Visualization System for EmailsInternational Journal of Creative Interfaces and Computer Graphics - 2010
Paulo Alexandre Castro, Adriano Lopes
Requirements Modeling with the As pect-oriented User Requirements Notation (AoURN): A Case StudyTransactions on Aspect Oriented Software Development (TAOSD) - 2010
Gunter Mussbacher, João Araújo, Ana Moreira
Using manual and automated annotations to search images by semantic similarityMultimedia Tools and Applications Journal - 2010
João Magalhães, Stefan Rueger
Relating Feature Models to Other Models of a Software Product Line - A Comparative Study of FeatureMapper and VML*Transactions on Aspect-Oriented Software Development VII, Special Issue on A Common Case Study for Aspect-Oriented Modeling - 2010
Florian Heidenreich, Pablo Sanchez, João Santos, Steffen Zschaler, Mauricio Alférez, João Araújo, Lidia Fuentes, Uirá Kulesza, Ana Moreira, Awais Rashid
A Model-Driven Traceability Framework for Software Product LinesSoftware and Systems Modeling - July, 2009
Nicolas Anquetil , Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, André Sousa
Are the native states of proteins kinetic traps?Molecular Physics - June, 2009
Leonor Cruzeiro, Paulo Afonso Lopes
Advanced Separation of Concerns in Agent-Oriented Design PatternsIJAOSE - February, 2009
Carla Silva, Jaelson F. B. Castro, João Araújo, Ana Moreira
Improving the Automatic Evaluation of Problem Solutions in Programming ContestsOlympiads in Informatics - 2009
Pedro Ribeiro, Pedro Guerreiro