- Formal Techniques for Networked and Distributed Systems: Forte 2001
- Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea
- Conceção da arquitetura do sistema de governo eletrónico utilizando o processo de governo eletrónico e o quadro de arquitetura empresarial
- Progettare l'architettura del sistema di E-Government utilizzando il processo E-Gov e il quadro di architettura d'impresa
- Entwurf einer E-Government-Systemarchitektur unter Verwendung von E-Gov-Prozess und EAF