The Distributed Operating System of the SMD Project. - José Alves Marques; João Paulo Cunha; Paulo Guedes; Nuno Guimarães; Alberto Cunha (Softw. Pract. Exp., 1988)

Operating system support for an object-oriented environment. - Paulo Guedes; José Alves Marques (WWOS, 1989)

Extending the Operating System to Support an Object-Oriented Environment. - José Alves Marques; Paulo Guedes (OOPSLA, 1989)

Generalized Emulation Services for Mach 3.0: Overview, Experiences and Current Status. - Daniel P. Julin; Jonathan Chew; J. Mark Stevenson; Paulo Guedes; Paul Neves; Paul Roy (USENIX MACH Symposium, 1991)

Writing a Client-Server Application in C++. - Paulo Guedes (C++ Conference, 1992)

Distributed Shared Object Memory. - Paulo Guedes; Miguel Castro (Workshop on Workstation Operating Systems, 1993)

An OSF/1 UNIX for Massively Parallel Multicomputers. - Roman Zajcew; Paul Roy; David L. Black 001; Chris Peak; Paulo Guedes; Bradford Kemp; John LoVerso; Michael Leibensperger; Michael Barnett 003; Faramarz Rabii; Durriya Netterwala (USENIX Winter, 1993)

Distribution and Persistence in the IK Platform: Overview and Evaluation. - Pedro Manuel Antunes Sousa; Manuel Sequeira; Andre Zuquete; Paulo Ferreira 001; Cristina Videira Lopes; José Pereira; Paulo Guedes; José Alves Marques (Comput. Syst., 1993)

A Checkpoint Protocol for an Entry Consistent Shared Memory System. - Nuno Neves 001; Miguel Castro 001; Paulo Guedes (PODC, 1994)

The DiSOM Distributed Shared Object Memory. - Paulo Guedes; Miguel Castro 001; Nuno Neves 001 (ACM SIGOPS European Workshop, 1994)

Efficient and Flexible Object Sharing. - Miguel Castro 001; Manuel Sequeira; Manuel Costa; Paulo Guedes (ICPP, Vol. 1, 1996)

Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. - Manuel Costa; Paulo Guedes; Manuel Sequeira; Nuno Neves 001; Miguel Castro 001 (OSDI, 1996)

Transparent authentication and confidentiality for stream sockets. - André Zúquete; Paulo Guedes (IEEE Micro, 1996)

Efficient Error-Propagating Block Chaining. - Andre Zuquete; Paulo Guedes (IMACC, 1997)

The PerDiS FS: a transactional file system for a distributed persistent store. - João Garcia 001; Paulo Ferreira 001; Paulo Guedes (ACM SIGOPS European Workshop, 1998)

PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store. - Paulo Ferreira 001; Marc Shapiro 001; Xavier Blondel; Olivier Fambon; João Garcia 001; Sytse Kloosterman; Nicolas Richer; Marcus Roberts; Fadi Sandakly; George Coulouris; Jean Dollimore; Paulo Guedes; et al. (Advances in Distributed Systems, 1999)

Verifying Workflow Processes against Organization Security Policies. - Carlos Ribeiro; Paulo Guedes (WETICE, 1999)

Parallel Operating Systems. - João Garcia 001; Paulo Ferreira 001; Paulo Guedes (Handbook on Parallel and Distributed Processing, 2000)

Ship Hull Hydrodynamic Analysis Using Distributed Shared Memory. - João Nuno de Oliveira e Silva; Paulo Guedes (PARA, 2000)

Security Policy Consistency - Carlos Ribeiro; Andre Zuquete; Paulo Ferreira 001; Paulo Guedes (CoRR, 2000)

SPL: An Access Control Language for Security Policies and Complex Constraints. - Carlos Ribeiro; Andre Zuquete; Paulo Ferreira 001; Paulo Guedes (NDSS, 2001)