Paulo Guedes

Publication Activity (10 Years)

Years Active: 1988-2001
Publications (10 Years): 0

Publications

Carlos Ribeiro, Andre Zuquete, Paulo Ferreira, Paulo Guedes
SPL: An Access Control Language for Security Policies and Complex Constraints. NDSS (2001)
Carlos Ribeiro, Andre Zuquete, Paulo Ferreira, Paulo Guedes
Security Policy Consistency CoRR (2000)
João Nuno de Oliveira e Silva, Paulo Guedes
Ship Hull Hydrodynamic Analysis Using Distributed Shared Memory. PARA (2000)
Paulo Ferreira, Marc Shapiro, Xavier Blondel, Olivier Fambon, João Garcia, Sytse Kloosterman, Nicolas Richer, Marcus Roberts, Fadi Sandakly, George Coulouris, Jean Dollimore, Paulo Guedes, Daniel Hagimont, Sacha Krakowiak
PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store. Advances in Distributed Systems (1999)
Carlos Ribeiro, Paulo Guedes
Verifying Workflow Processes against Organization Security Policies. WETICE (1999)
João Garcia, Paulo Ferreira, Paulo Guedes
The PerDiS FS: a transactional file system for a distributed persistent store. ACM SIGOPS European Workshop (1998)
Andre Zuquete, Paulo Guedes
Efficient Error-Propagating Block Chaining. IMACC (1997)
André Zúquete, Paulo Guedes
Transparent authentication and confidentiality for stream sockets. IEEE Micro 16 (3) (1996)
Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes
Efficient and Flexible Object Sharing. ICPP, Vol. 1 (1996)
Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro
Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. OSDI (1996)
Nuno Neves, Miguel Castro, Paulo Guedes
A Checkpoint Protocol for an Entry Consistent Shared Memory System. PODC (1994)
Paulo Guedes, Miguel Castro, Nuno Neves
The DiSOM Distributed Shared Object Memory. ACM SIGOPS European Workshop (1994)
Pedro Manuel Antunes Sousa, Manuel Sequeira, Andre Zuquete, Paulo Ferreira, Cristina Videira Lopes, José Pereira, Paulo Guedes, José Alves Marques
Distribution and Persistence in the IK Platform: Overview and Evaluation. Comput. Syst. 6 (4) (1993)
Roman Zajcew, Paul Roy, David L. Black, Chris Peak, Paulo Guedes, Bradford Kemp, John LoVerso, Michael Leibensperger, Michael Barnett, Faramarz Rabii, Durriya Netterwala
An OSF/1 UNIX for Massively Parallel Multicomputers. USENIX Winter (1993)
Paulo Guedes, Miguel Castro
Distributed Shared Object Memory. Workshop on Workstation Operating Systems (1993)
Paulo Guedes
Writing a Client-Server Application in C++. C++ Conference (1992)
Daniel P. Julin, Jonathan Chew, J. Mark Stevenson, Paulo Guedes, Paul Neves, Paul Roy
Generalized Emulation Services for Mach 3.0: Overview, Experiences and Current Status. USENIX MACH Symposium (1991)
Paulo Guedes, José Alves Marques
Operating system support for an object-oriented environment. WWOS (1989)
José Alves Marques, Paulo Guedes
Extending the Operating System to Support an Object-Oriented Environment. OOPSLA (1989)
José Alves Marques, J. P. Cunha, Paulo Guedes, Nuno Guimarães, A. Cunha
The Distributed Operating System of the SMD Project. Softw. Pract. Exp. 18 (9) (1988)