CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Publications Login  
banner bottom
[ Publications - articles ]
Publications Icon  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

prev   |   4  5  6  7  8  9  10  11  12   |   next

bulletEncoding cryptographic primitives in a calculus with polyadic synchronization
   Journal of Automated Reasoning - 2010
   Joana Martinho, António Ravara

bulletHybrid Assessment Method for Software Engineering Decisions
   Decision Support Systems - 2010
   Rita Ribeiro, Ana Moreira, Pim van den Broek

bulletMagnet Mail: A Visualization System for Emails
   International Journal of Creative Interfaces and Computer Graphics - 2010
   Paulo Alexandre Castro, Adriano Lopes

bulletRequirements Modeling with the As pect-oriented User Requirements Notation (AoURN): A Case Study
   Transactions on Aspect Oriented Software Development (TAOSD) - 2010
   Gunter Mussbacher, João Araújo, Ana Moreira

bulletUsing manual and automated annotations to search images by semantic similarity
   Multimedia Tools and Applications Journal - 2010
   João Magalhães, Stefan Rueger

bulletRelating 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

bulletA Model-Driven Traceability Framework for Software Product Lines
   Software and Systems Modeling - July, 2009
   Nicolas Anquetil , Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, André Sousa

bulletAre the native states of proteins kinetic traps?
   Molecular Physics - June, 2009
   Leonor Cruzeiro, Paulo Afonso Lopes

bulletAdvanced Separation of Concerns in Agent-Oriented Design Patterns
   IJAOSE - February, 2009
   Carla Silva, Jaelson F. B. Castro, João Araújo, Ana Moreira

bulletImproving the Automatic Evaluation of Problem Solutions in Programming Contests
   Olympiads in Informatics - 2009
   Pedro Ribeiro, Pedro Guerreiro

prev   |   4  5  6  7  8  9  10  11  12   |   next