Paulo Ferreira
Paulo Ferreira
Verified email at ifi.uio.no - Homepage
Title
Cited by
Cited by
Year
SPL: An access control language for security policies with complex constraints
C Ribeiro, A Zuquete, P Ferreira, P Guedes
Proceedings of the Network and Distributed System Security Symposium, 2001
2322001
REVS–a robust electronic voting system
R Joaquim, A Zúquete, P Ferreira
IADIS International Journal of WWW/Internet 1 (2), 47-63, 2003
1222003
A2HA—automatic and adaptive host allocation in utility computing for bag-of-tasks
JN Silva, L Veiga, P Ferreira
Journal of Internet Services and Applications 2 (2), 171-185, 2011
85*2011
Obligation policies: An enforcement platform
P Gama, P Ferreira
Sixth IEEE International Workshop on Policies for Distributed Systems and …, 2005
812005
Vector-field consistency for ad-hoc gaming
N Santos, L Veiga, P Ferreira
Middleware 2007, 80-100, 2007
802007
Garbage collection and DSM consistency
P Ferreira, M Shapiro
Proc. of the First Symposium on Operating Systems Design and Implementation …, 1994
751994
PerDiS: design, implementation, and use of a PERsistent DIstributed Store
P Ferreira, M Shapiro, X Blondel, O Fambon, J Garcia, S Kloosterman, ...
Advances in Distributed Systems, 427-452, 2000
662000
Risco de desenvolvimento de úlceras de pressão: Implementação nacional da escala de Braden
PL Ferreira, C Miguéns, J Gouveia, K Furtado
Loures: Lusociência–Edições técnicas e científicas, 2007
512007
Larchant: Persistence by Reachability in Distributed Shared Memory through Garbage Collection= 01
P Ferreiral, M Shapiro
Proceedings of the 16th International Conference on Distributed Computing …, 1996
481996
EVIV: an End-to-end Verifiable Internet Voting system
R Joaquim, C Ribeiro, P Ferreira
Computers & Security, 2012
432012
Unifying Thread-Level Speculation and Transactional Memory
J Barreto, A Dragojevic, P Ferreira, R Filipe, R Guerraoui
Middleware 2012, 187-207, 2012
432012
Veryvote: A voter verifiable code voting system
R Joaquim, C Ribeiro, P Ferreira
E-Voting and Identity, 106-121, 2009
432009
Larchant-RDOSS: a distributed shared persistent memory and its garbage collector
M Shapiro, P Ferreira
Distributed Algorithms, 198-214, 1995
411995
Asynchronous complete distributed garbage collection
L Veiga, P Ferreira
19th IEEE International Parallel and Distributed Processing Symposium, 10 pp., 2005
382005
Internet voting: Improving resistance to malicious servers in REVS
R Lebre, R Joaquim, A Zúquete, P Ferreira
Proc. of IADIS International Conference on Applied Computing, 2004
372004
Security policy consistency
C Ribeiro, A Zúquete, P Ferreira, P Guedes
arXiv preprint cs/0006045, 2000
352000
GiGi: An Ocean of Gridlets on a" Grid-for-the-Masses"
L Veiga, R Rodrigues, P Ferreira
Seventh IEEE International Symposium on Cluster Computing and the Grid …, 2007
342007
Repweb: replicated web with referential integrity
L Veiga, P Ferreira
Proceedings of the 2003 ACM symposium on Applied computing, 1206-1211, 2003
342003
Modelling a distributed cached store for garbage collection: the algorithm and its correctness proof
P Ferreira, M Shapiro
ECOOP’98—Object-Oriented Programming, 234-259, 1998
31*1998
Leveraging parallel nesting in transactional memory
J Barreto, A Dragojevic, P Ferreira, R Guerraoui, M Kapalka
ACM Sigplan Notices 45 (5), 91, 2010
292010
The system can't perform the operation now. Try again later.
Articles 1–20