Docente
Paulo Guedes

Graus

• Licenciatura
  Engenharia Eletrotécnica
• Mestrado
  Engenharia Electrotécnica e de Computadores
• Doutoramento
  Engenharia Electrotécnica e de Computadores

Publicações

Artigo em revista

• 1996-06, Transparent Authentication and Confidentiality for Stream Sockets, IEEE Micro
• 1993-11, Distribution, Persistence in the IK Platform: Overview and Evaluation, Computing Systems Journal
• 1988-09, The Distributed Operating System of the SMD Project, SOFTWARE - Practice and Experience

Capítulo de livro

• 1999, Parallel Operating Systems, Handbook on Parallel and Distributed Processing, Springer Verlag

Edição de livro

• 1998, FCA - Editora de Informática
• 1994, 2ª, Editorial Presença

Artigo em conferência

• Two-Level Recovery for Distributed Shared Memory, ERSADS' 97 - 2nd European Research Seminar on Advances in Distributed Systems
• The PerDiS FS: A Transactional File System for a Persistent Distributed Store, the IEEE 8th International Workshops Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)
• The DiSOM Distributed Shared Object Memory, 6th ACM SIGOPS European Workshop
• Efficient and Flexible Object Sharing, International Conference on Parallel Processing
• Efficient Stream Cipher with Variable Internal State, Proceedings of SAC' 97 - 4th Annual Workshop on Selected Areas in Cryptography
• Efficient Error-Propagating Block Chaining, 6th IMA Conference on Cryptography and Coding
• 2001-11, Enforcing Obligation with Security Monitors, 3rd International Conference on Information and Communications Security (ICICS 2001)
• 2001-02, SPL: An access control language for security policies with complex constraints, Network and Distributed System Security Symposium (NDSS 2001)
• 1998-09, The PerDiS FS: A Transactional File System for a Persistent Distributed Store, 8th ACM SIGOPS European Workshop
• 1996, Lightweight Logging for Lazy Release Consistent Distributed Shared Memory, Second Symposium on Operating Systems Design and Implementation (OSDI)
• 1994, A Checkpoint Protocol for an Entry Consistent Shared Memory System, Thirteenth ACM Symposium on Principles of Distributed Computing (PODC)