|
| TIPO |
Descrição |
ANO |
|---|
| Publicação em actas com referee conferência internacional |
Carlos Ribeiro, André Zúquete, Paulo Ferreira and Paulo Guedes. Enforcing Obbligation with Security Monitors. 3rd International Conference on Information and Communications Security (ICICS 2001), Xian, China, November 2001 |
2001 |
| Publicação em actas com referee conferência internacional |
Carlos Ribeiro, André Zúquete, Paulo Ferreira and Paulo Guedes. SPL: An access control language for security policies with complex constraints. Network and Distributed System Security Symposium (NDSS 2001), San Diego, USA, February 2001 |
2001 |
| Membros de comités internacionais reconhecidos |
Program Chair of the 2000 European ACM SIGOPS Workshop, 2000 |
2000 |
| Capítulo de livro científico ou técnico |
João Garcia, Paulo Ferreira, Paulo Guedes. Parallel Operating Systems. In J.Blazewicz, K.Ecker, B.Plateau and D.Trystram (Eds.). Handbook on Parallel and Distributed Processing. Springer Verlag, 1999 |
1999 |
| Livro científico ou técnico |
José Alves Marques e Paulo Guedes. Tecnologia de Sistemas Distribuídos. FCA - Editora de Informática, 1998 |
1998 |
| Publicação em actas com referee conferência internacional |
João Garcia, Paulo Ferreira, Paulo Guedes. The PerDiS FS: A Transactional File System for a Persistent Distributed Store. 8th ACM SIGOPS European Workshop, Sintra, Portugal, September 1998 |
1998 |
| Responsabilidade pela organização de evento científico de âmbito internacional |
General Chair of the 1998 European ACM SIGOPS Workshop, 1998 |
1998 |
| Membros de comités internacionais reconhecidos |
18th IEEE International Conference on Distributed Computing Systems (ICDCS), 1998 |
1998 |
| Membros de comités internacionais reconhecidos |
16th ACM Symposium on Operating System Principles (SOSP¿97), 1997 |
1997 |
| Publicação em actas sem referee conferência internacional |
André Zúquete and Paulo Guedes. Efficient Error-Propagating Block Chaining. 6th IMA Conference on Cryptography and Coding, Cirencester. UK, December 17-19, 1997 |
1997 |
| Publicação em actas sem referee conferência internacional |
André Zúquete and Paulo Guedes. Efficient Stream Cipher with Variable Internal State. Proceedings of SAC' 97 - 4th Annual Workshop on Selected Areas in Cryptography. Ottawa, Canada, August 1997 |
1997 |
| Publicação em actas sem referee conferência internacional |
André Zúquete and Paulo Guedes. Transparent Authentication and Confidentiality for Datagram Sockets. ERSADS' 97 - 2nd European Research Seminar on Advances in Distributed Systems. Zinal, Switzerland, March 1997 |
1997 |
| Publicação em actas sem referee conferência internacional |
Manuel Costa and Paulo Guedes. Two-Level Recovery for Distributed Shared Memory. ERSADS' 97 - 2nd European Research Seminar on Advances in Distributed Systems. Zinal, Switzerland, March 1997 |
1997 |
| Membros de comités internacionais reconhecidos |
17th IEEE International Conference on Distributed Computing Systems (ICDCS), 1997 |
1997 |
| Membros de comités internacionais reconhecidos |
4th Euromicro Workshop on Parallel and Distributed Processing, 1996 |
1996 |
| Membros de comités internacionais reconhecidos |
15th IEEE International Symposium on Reliable Distributed Systems (SRDS-15), 1996 |
1996 |
| Artigo publicado em revista científica internacional com referee |
André Zúquete, Paulo Guedes. Transparent Authentication and Confidentiality for Stream Sockets. IEEE Micro, June 1996 |
1996 |
| Publicação em actas com referee conferência internacional |
Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro. Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. Proceedings of the Second Symposium on Operating Systems Design and Implementation (OSDI). Seattle, USA, October 28-31, 1996 |
1996 |
| Publicação em actas com referee conferência internacional |
Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes. Efficient and Flexible Object Sharing. International Conference on Parallel Processing, Bloomingdale, IL, USA, August 1996 |
1996 |
| Membros de comités internacionais reconhecidos |
15th IEEE International Conference on Distributed Computing Systems (ICDCS), 1995 |
1995 |
| Membros de comités internacionais reconhecidos |
Fifth ACM Workshop on Hot Topics in Operating Systems (HotOS-V), 1995 |
1995 |
| Membros de comités internacionais reconhecidos |
14th IEEE International Symposium on Reliable Distributed Systems (SRDS-14), 1995 |
1995 |
| Publicação em actas com referee conferência internacional |
21. Nuno Neves, Miguel Castro, Paulo Guedes. A Checkpoint Protocol for an Entry Consistent Shared Memory System. Thirteenth ACM Symposium on Principles of Distributed Computing (PODC), August, 1994 |
1994 |
| Publicação em actas com referee conferência internacional |
Paulo Guedes, Miguel Castro, Nuno Neves. The DiSOM Distributed Shared Object Memory. 6th ACM SIGOPS European Workshop, Wadern, Germany, September 1994 |
1994 |
| Livro científico ou técnico |
José Alves Marques e Paulo Guedes. Fundamentos de Sistemas Operativos. Editorial Presença, Lisboa. 1ª Edição 1990, 2ª Edição 1992, 3ª Edição 1994. |
1994 |
| Artigo publicado em revista científica internacional com referee |
Pedro Sousa, Manuel Sequeira, André Zúquete, Paulo Ferreira, Cristina Lopes, José Pereira, Paulo Guedes, José Alves Marques. Distribution, Persistence in the IK Platform: Overview and Evaluation. Computing Systems Journal, Vol. 6(4), November 1993 |
1993 |
| Publicação em actas com referee conferência internacional |
Roman Zajcew, Paul Roy, David Black, Chris Peak, Paulo Guedes, Bradford Kemp, John LoVerso, Michael Leibensperger, Michael Barnett, Faramarz Rabii. An OSF/1 Unix for Massively Parallel Multicomputers. Proceedings of the USENIX Winter Conference. San Diego, CA., January 25-29, 1993 |
1993 |
| Publicação em actas com referee conferência internacional |
Paulo Guedes, Miguel Castro. Distributed Shared Object Memory. Proceedings of the Fourth Workshop on Workstation Operating Systems (WWOS-IV). IEEE Computer Society Press. Napa, CA., October 14-15, 1993 |
1993 |
| Publicação em actas com referee conferência internacional |
Paulo Guedes, Daniel Julin. Writing Client-Server Applications in C++. Proceedings of the USENIX C++ Conference. Portland, Oregon, August 1992 |
1992 |
| Publicação em actas com referee conferência internacional |
P. Guedes, D. Julin. Object-Oriented Interfaces in the Mach 3.0 Multi-Server System. Proceedings of the International Workshop on Object-Orientation in Operating Systems. Palo Alto, CA., October 1991 |
1991 |
| Publicação em actas com referee conferência internacional |
Daniel P. Julin, Jonathan J. Chew, J. Mark Stevenson, Paulo Guedes, Paul Neves, Paul Roy. Generalized Emulation Services for Mach 3.0: Overview, Experiences and Current Status. Proceedings of the 1991 Usenix Mach Workshop, November 1991 |
1991 |
| Publicação em actas sem referee conferência internacional |
P. Guedes. Use of Object-Oriented Technology in the Implementation of a Distributed Operating System. Proceedings of OOPSLA/ECOOP Workshop on Object-Orientation in Operating Systems, Sigplan Notices Special Issue. Ottawa, Canada, October 1990 |
1990 |
| Publicação em actas com referee conferência internacional |
José Alves Marques, Paulo Guedes. Extending the Operating System to Support an Object-Oriented Environment. Proceedings of OOPSLA 89. New Orleans, 2-6th October 1989 |
1989 |
| Publicação em actas com referee conferência internacional |
Paulo Guedes, José Alves Marques. Operating System Support for an Object-Oriented Environment. Proceedings of the Second Workshop on Workstation Operating Systems (WWOS-II). IEEE Computer Society Press. Pacific Grove, CA., September 27-29, 1989 |
1989 |
