| 2001 | NDSS | SPL: An Access Control Language for Security Policies and Complex Constraints. | Carlos Ribeiro, Andre Zuquete, Paulo Ferreira, Paulo Guedes |
| 1999 | WETICE | Verifying Workflow Processes against Organization Security Policies. | Carlos Ribeiro, Paulo Guedes |
| 1996 | ICPP | Efficient and Flexible Object Sharing. | Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes |
| 1996 | OSDI | Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. | Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro |
| 1994 | PODC | A Checkpoint Protocol for an Entry Consistent Shared Memory System. | Nuno Neves, Miguel Castro, Paulo Guedes |
| 1993 | HotOS | Distributed Shared Object Memory. | Paulo Guedes, Miguel Castro |
| 1993 | USENIX | An OSF/1 UNIX for Massively Parallel Multicomputers. | Roman Zajcew, Paul Roy, David L. Black, Chris Peak, Paulo Guedes, Bradford Kemp, John LoVerso, Michael Leibensperger, Michael Barnett, Faramarz Rabii, Durriya Netterwala |
| 1989 | HotOS | Operating system support for an object-oriented environment. | Paulo Guedes, Jos Alves Marques |
| 1989 | OOPSLA | Extending the Operating System to Support an Object-Oriented Environment. | Jos Alves Marques, Paulo Guedes |