Paulo Ferreira
Paulo Ferreira
University of Oslo (UiO)
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
2182001
REVS–a robust electronic voting system
R Joaquim, A Zúquete, P Ferreira
IADIS International Journal of WWW/Internet 1 (2), 47-63, 2003
1182003
Vector-field consistency for ad-hoc gaming
N Santos, L Veiga, P Ferreira
Middleware 2007, 80-100, 2007
782007
Obligation policies: An enforcement platform
P Gama, P Ferreira
Sixth IEEE International Workshop on Policies for Distributed Systems and …, 2005
782005
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
77*2011
Garbage collection and DSM consistency
P Ferreira, M Shapiro
Proc. of the First Symposium on Operating Systems Design and Implementation …, 1994
761994
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: Lusodidacta, 2007
492007
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
411996
Larchant-RDOSS: a distributed shared persistent memory and its garbage collector
M Shapiro, P Ferreira
Distributed Algorithms, 198-214, 1995
411995
Unifying Thread-Level Speculation and Transactional Memory
J Barreto, A Dragojevic, P Ferreira, R Filipe, R Guerraoui
Middleware 2012, 187-207, 2012
402012
EVIV: an End-to-end Verifiable Internet Voting system
R Joaquim, C Ribeiro, P Ferreira
Computers & Security, 2012
392012
Veryvote: A voter verifiable code voting system
R Joaquim, C Ribeiro, P Ferreira
E-Voting and Identity, 106-121, 2009
392009
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
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
Asynchronous complete distributed garbage collection
L Veiga, P Ferreira
19th IEEE International Parallel and Distributed Processing Symposium, 10 pp., 2005
332005
Security policy consistency
C Ribeiro, A Zúquete, P Ferreira, P Guedes
arXiv preprint cs/0006045, 2000
322000
Repweb: replicated web with referential integrity
L Veiga, P Ferreira
Proceedings of the 2003 ACM symposium on Applied computing, 1206-1211, 2003
302003
Unifying divergence bounding and locality awareness in replicated systems with vector-field consistency
L Veiga, A Negrão, N Santos, P Ferreira
Journal of Internet Services and Applications 1 (2), 95-115, 2010
282010
Leveraging parallel nesting in transactional memory
J Barreto, A Dragojevic, P Ferreira, R Guerraoui, M Kapalka
ACM Sigplan Notices 45 (5), 91, 2010
262010
The system can't perform the operation now. Try again later.
Articles 1–20