CITI has stopped operations in 2014,
to co-launch NOVA LINCS
THIS SITE IS NOT BEING UPDATED SINCE 2013
[ Publications - in proceedings ]

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.
| page 9 of 93 - listing in proceedings 81 to 90 of a total of 923 | |
A Platform-Centric Framework for the Web Exposure and Orchestration of Distributed Objects @ The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2010, Wuhan, China, December 8-11 2010 -
December, 2010 Hervé Paulino, Paulo Cancela, Tiago Franco
A Process Calculus Analysis of Compensations @ Proceedings of the Fourth Symposium on Trustworthy Global Computing, TGC'08 -
2009 Luis Caires,
Carla Ferreira,
Hugo Torres Vieira
A Process Model for FEM Simulation Support Development @ Summer Computer Simulation Conference (SCSC 2002) -
July, 2002 Maria Lencastre, Félix Santos,
João Araújo
A Process model for Specifying System Behavior with UML @ 4th International Conference on the Quality of Information and Communications Technology (QUATIC'2001) -
March, 2001 Ana Moreira,
João Araújo,
Fernando Brito e Abreu
A Prolog Toolkit for Formal Languages and Automata @ ACM ITiCSE 2005, 10th Annual Conference on Innovation and Technology in Computer Science Education -
June, 2005 Michel Wermelinger,
Artur Miguel Dias
A Regularized Recommendation Algorithm with Probabilistic Sentiment-Ratings @ IEEE International Conference on Data Mining -
December, 2012 Filipa Peleja, Pedro Dias,
João Magalhães
A Secure Email Repository Service using Public Untrusted Storage Clouds @ Actas do INFORUM 2013 - Simpósio Nacional de Informática -
2013 João Miguel Cardia Melro Rodrigues,
Bernardo Ferreira,
Henrique João Domingos
A self Learning Method of Parallel texts Alignement @ Envisioning Machine Translation in the Information Future, 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000, Cuernavaca, Mexico, 2000 October 10-14, Proceedings -
October, 2000 António Ribeiro,
Gabriel Pereira Lopes, João Tiago Mexia
A semantic vector space for query by image example @ Multimedia Information Retrieval Workshop at ACM SIGIR conference on research and development in information retrieval -
2007 João Magalhães, Simon Overell, Stefan Rueger
A Service-Oriented Language for Programming Mobile Agents @ Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems -
May, 2006 Hervé Paulino, Luís Lopes