Paulo Guedes

Publications

468

Citations

H-Index

1989

Active since

Affiliations

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento(Current)

Paulo Guedes is an author at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento specializing in computer science, engineering, and system software.

Top concepts

EngineeringComputer ScienceSystem SoftwareProgram AnalysisSoftware AnalysisSystems EngineeringData SecurityFormal MethodsParallel ComputingComputer Engineering

Publications per year

1989–2003

Publications

SPL: An Access Control Language for Security Policies and Complex Constraints.

Carlos Ribeiro, André Zúquete, Paulo Ferreira et al. · Network and Distributed System Security Symposium · 2001 · 140 citations

Engineering, Information Security, Software Analysis +22

An OSF/1 UNIX for Massively Parallel Multicomputers.

Roman Zajcew, Paul Roy, David L. Black et al. · USENIX Winter · 1993 · 83 citations

A checkpoint protocol for an entry consistent shared memory system

Nuno Neves, Miguel Castro, Paulo Guedes · 1994 · 61 citations

Cluster Computing, Engineering, Computer Architecture +24

Lightweight logging for lazy release consistent distributed shared memory

Manuel Costa, Paulo Guedes, Manuel Sequeira et al. · 1996 · 44 citations

Engineering, Shared Memory, Program Analysis +10

Extending the operating system to support an object-oriented environment

José Alves Marques, Paulo Guedes · 1989 · 39 citations · Full text

Software Maintenance, European Strategic Programme, Engineering +19

Rows per page

1–5 of 11