Recent Publications
2007
José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça. A Tool for Programming with Interaction Nets. Proceedings of RULE 07, Paris, France.
José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça. Token Passing Nets for Functional Languages. Proceedings of WRS 07, Paris, France.
José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça. A Local-Graph Rewriting System for Deciding Equality in Sum-Product Theories. Proceedings of the Third International Workshop on Term Graph Rewriting (TERMGRAPH 2006). Electronic Notes in Theoretical Computer Science - Volume 176, Issue 1, May 2007, Pages 139-163.
2006
José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça. A Local-Graph Rewriting System for Deciding Equality in Sum-Product Theories. Informal Proceedings of TERMGRAPH 06, Viena, Austria.
2004
José Bacelar Almeida, Paulo Sérgio Almeida, and Carlos Baquero. Bounded version vectors. In Rachid Guerraoui, editor, Proceedings of DISC 2004: 18th Inter national Symposium on Distributed Computing, number 3274 in LNCS, pages 102–116. Springer Verlag, 2004
Thesis and Dissertations
José Bacelar Almeida. Verificação Automática de Protocolos Criptográficos. PhD thesis, Universidade do Minho, June 2003
José Bacelar Almeida. A componente estrutural do sistema O. Master’s thesis, Universidade do Minho, 1994
Committees
Organising Committees
ETAPS-07 - European Joint Conferences on Theory and Practice of Software (ETAPS), March 24–April 1 2007, Braga, Portugal.
GTTSE-05 - Generative and Transformational Techniques in Software Engineering (GTTSE), 4-8 July 2005, Braga, Portugal.
APPSEM-00 - International Summer School on Applied Semantics, 9-15 September 2000, Caminha, Portugal.
AFP-98 - 3rd International Summer School on Advanced Functional Programming, 12-19 September 1998, Braga, Portugal.
Programme Committees
IS-07 - The 2nd International Symposium on Information Security (IS'07), 26-27 November 2007, Vila Moura, Portugal.
SBSeg-07 - VII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 27–31 August 2007, Brasil.
SBSeg-05 - V Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 26–30 September 2005, Florianópolis, Brasil.
Projects
Current Projects
REVVIS - Reunião de Especialistas em Verificação e Validação de Software
Past Projects
PURe - Program Understanding and Re-engineering: Calculi and Applications (POSI/ICHS/44304/2002).
TYPES - Types for Proofs and Programs (FP6-2002-IST-C 510996)
APPSEM II - Applied Semmantics II (IST-2001-38957)
LOGCOMP - Logic and Computation (Praxis XXI Project 2/2.1/TIT/1658/95)