List of publications
(by theme of publication)

Notice: The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright.

 The publications are listed in groups of themes; obviously, each article is related to more than one single theme but for simplicity that is not indicated. The themes are the following: replication,  consistency, garbage collection, security policies, electronic voting, grid  / cloud / P2P, mobile computing, software transactional memory, operating systems.

replication
Leveraging Web prefetching systems with data deduplication.
 Pedro Neves, Paulo Ferreira, João Barreto.
 12th IEEE International Symposium on Network Computing and Applications (NCA13), Hotel Marlow, Cambridge, MA, USA, 22-24 August 2013.
na
Radiator - Context propagation based on delayed aggregation.
Pedro Alves, Paulo Ferreira.
6th ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW 2013), February 23-27 , San Antonio, Texas, USA.
na
Hash Challenges: stretching the limits of compare-by-hash in distributed data deduplication. João Barreto, Luis Veiga, Paulo Ferreira. Information Processing Letters, Elsevier, 2012. na
Data Replication Support for Collaboration in Mobile and Ubiquitous Computing Environments.
João Barreto, Paulo Ferreira.
Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts.  IGI Global (publisher of Information Science Reference, Medical Information Science Reference, and IGI Publishing imprints), 2010. (to be published)
na
An extensible framework for middleware design based on concurrent event-based AOP.
Edgar Marques, Luis Veiga, Paulo Ferreira.
9th International Workshop on Adaptive and Reflective Middleware (ARM 2010), Bangalore, India. In conjuntion with Middleware 2010., Bangalore (India), Dez. 2010.
na
Transferência de Ficheiros Baseada em Chunks com Eliminação de Redundância.
Diogo Paulo,  João Barreto,  Paulo Ferreira,
9º Conferência sobre Redes de Computadores, 15 e 16 de Outubro, no campus do IST no Tagus Park, Porto Salvo, Oeiras.
pdf
Efficient In-Band Deduplication in Replicated Systems. 
João Barreto,  Paulo Ferreira,.
ACM/IFIP/USENIX 10th International Middleware Conference Urbana Champaign, Illinois, USA. November 30 - December 4, 2009.
pdf
Vector-Field Consistency for Ad-hoc Gaming. - Best Paper Award
Nuno Santos and Luis Veiga and Paulo Ferreira. 
ACM/IFIP/Usenix International Middleware Conference (Middleware 2007), Sep. 2007 , Springer. 
pdf
Object-Swapping for Resource-Constrained Devices.
Luis Veiga and Paulo Ferreira.
27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007) - International Workshop on Mobile Distributed Computing, Jun. 2007 , IEEE Press.
pdf
Exploiting our computational surroundings for better mobile collaboration.
 João Barreto and Paulo Ferreira and Marc Shapiro.
8th International Conference on Mobile Data Management (MDM 2007), May. 2007 , pp. 110-117 , IEEE.
pdf
Context Awareness: an Experiment with Hoarding.
 João Garcia, Luís Veiga, Paulo Ferreira.
Proceedings of the European Conference on Parallel Processing (EuroPar 2006), Dresden, Germany. August 2006. 
pdf
Seamless Service Access via Resource Replication.
Paulo Ferreira, Luís Veiga.
Cap. do Livro: Mobile Middleware by Paolo Bellavista & Antonio Corradi, Auerbach Publishers Inc., Hardcover - June 23, 2006, ISBN: 0849338336. 
pdf
Semantic-Chunks A Middleware for Ubiquitous Cooperative Work. 
Luis Manuel Antunes Veiga and Paulo Jorge Pires Ferreira.
4th Workshop on Adaptive and Reflective Middleware (6th ACM/IFIP/Usenix Middleware Conference), Nov. 2005 , ACM. 
pdf
Efficient File Storage Using Content-based Indexing.
João Barreto and Paulo Ferreira.
20th ACM Symposium on Operating Systems Principles (Poster Session), Oct. 2005 , ACM.
pdf
A Highly Available Replicated File System for Resource-Constrained Windows CE .Net Devices.
João Barreto, Paulo Ferreira
Proceedings of the 3rd International Conference on .NET Technologies, Pilsen (Czech Republic), May 30 - June 1, 2005.
pdf
Loosely-Coupled, Mobile Replication of Objects with Transactions.
Luis Veiga and Nuno Santos and Ricardo Lebre and Paulo  Ferreira.
International Conference on Parallel and Distributed Systems (Workshop on QoS and Dynamic Systems), Jul. 2004 , IEEE. 
pdf
A Replicated File System for Resource Constrained Mobile Devices.
João Barreto, Paulo Ferreira.
International Conference on Applied Computing (IADIS’2004), Mar. 2004. 
pdf
OBIWAN: Design and Implementation of a Middleware Platform.
Paulo Ferreira, Luis Veiga, Carlos Ribeiro.
IEEE Transactions on Parallel and Distributed Systems, 14(11), pp. 1086--1099, Nov. 2003, IEEE. 
pdf
RepWeb: Replicated Web with Referential Integrity.
Luís Veiga, Paulo Ferreira.
Proceedings of the18th ACM Symposium on Applied Computing, Melbourne, Florida, USA, Mar. 2-5, 2003.
pdf
Incremental Replication for Mobility Support in OBIWAN.
Luís Veiga, Paulo Ferreira.
Proceedings of the Internetaional Conference on Distributed Computing Systems (ICDCS'2002), Viena (Austria), July 2002. 
pdf
OBIWAN - Object Broker Infrastructure for Wide Area Networks.
Luís Veiga, João Garcia, João Silva, and Paulo Ferreira.
Ninth ACM SIGOPS European Workshop, Kolding (Denmark), September 2000.
postscript
Distribution and Persistence in Multiple and Heterogeneous Address Spaces.
Paulo Ferreira and Marc Shapiro.
Int. Workshop on on Object-Orientation in Operating Systems, Asheville, USA, December;1994. 
postscript
consistency
Adaptive Semantcs-Aware Management of Web Caches and Wikis.
Carlos Roque, Paulo Ferreira, Luis Veiga.
Comunicação no INFORUM (Simpósio de Informática), 5 e 6 de Setembro 2013, Évora (Portugal).
na
Adaptive Consistency and Awareness Support for Distributed Software Development.
André Negrão,  Manuel Mateus,  Paulo Ferreira,  Luís Veiga.
21st International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS 2013), Springer Verlag, 11-13 Sept 2013, Graz, Austria.
na
Context-aware Efficient Message Propagation.
Pedro Alves, Paulo Ferreira.
11th International Workshop on Adaptive and Reflective Middleware (ARM 2012), in conjuntion with Middleware 2012, Sep. 2012 , ACM.
na
Adaptive Consistency for Replicated State in Real-Time-Strategy Multiplayer Games.
Manuel Cajada, Paulo Ferreira, Luís Veiga.
11th International Workshop on Adaptive and Reflective Middleware (ARM 2012), in conjuntion with Middleware 2012, Sep. 2012 , ACM.
na
Locality-Awareness and Continuous Consistency for Collaborative Software Development.
Miguel Mateus, Paulo Ferreira and Luís Veiga.
INFORUM - Simpósio de Informática (track on Software Science and Engineering), 6-7 September. 2012, Univ. Nova de Lisboa, Portugal.
na
VFC-RTS: Vector-Field Consistency for Real-Time-Strategy Multiplayer Games.
Manuel Cajada, Paulo Ferreira and Luís Veiga.
INFORUM - Simpósio de Informática (track on Parallel, Distributed and Large-Scale Computing Systems), 6-7 September. 2012, Univ. Nova de Lisboa, Portugal.
na
Idroid - interest aware augmented reality.
Ricardo Brilhante, Luis Veiga and Paulo Ferreira.
INFORUM - Simpósio de Informática (track on Mobile and Ubiquitous Computing), 6-7 September. 2012, Univ. Nova de Lisboa, Portugal.
na
Semantic and Locality Aware Consistency for Mobile Cooperative Editing.
André Negrão, João Costa, Paulo Ferreira, Luís Veiga
20th International Conference on Cooperative Information Systems (CoopIS 2012), 10-14 Sept 2012, Roma, Italy, Springer.
na
VFC-reckon for Android Mobile Devices.
Mário Santos, Luis Veiga, Paulo Ferreira.
CETC 2011 - Conference on Electronics, Telecommunications and Computers. November 24-25, 2011, ISEL, Lisboa, Portugal.
na
MultiRep - Asynchronous Multi-Device Consistency.
João Ribeiro, João Barreto, Paulo Ferreira.
Third International Workshop on Pervasive Mobile and Embedded Computing (M-MPAC 2011).
In conjunction with ACM/IFIP/USENIX 12th International Middleware Conference 2011, Lisbon, Portugal. December 12, 2011.
na
VFC4FPS - Vector-Field Consistency for a First Person Shooter Game.
Bruno Loureiro, Luís Veiga, Paulo Ferreira. INFORUM Simpósio de Informática, 8-9 Setembro, Coimbra (Portugal), 2011.
na
ReConMUC - Adaptable consistency requirements for efficient large-scale multi-user chat.
Pedro Alves, Paulo Ferreira.
The 2011 ACM Conference on Computer Supported Cooperative Work, Hangzhou (China), March 19–23, 2011.
na
Unifying Divergence Bounding and Locality Awareness in Replicated  Systems with Vector-Field Consistency.
Luis Veiga, André Negrão, Nuno Santos, Paulo Ferreira
JISA-Journal of Internet Services and Applications,  Volume 1, Number 2, 95-115, DOI: 10.1007/s13174-010-0011-x,  2010. 
pdf
Meaningful Metrics for Evaluating Eventual Consistency.
João Barreto, Paulo Ferreira.
Euro-Par 2010 Conference, August 31 - September 3, 2010, Naples, Italy.
pdf
The Obscure Nature of Epidemic Quorum Systems.
João Barreto, Paulo Ferreira.
Ninth Workshop on Mobile Computing Systems and Applications (HotMobile 2008), ACM, Silverado Resort, Napa Valley, CA, USA, 25-26 Feb. 2008.
pdf
An Efficient and Fault-Tolerant Update Commitment Protocol for Weakly Connected Replica.
João Barreto, Paulo Ferreira.
Special issue of the Journal on Concurrency and Computation, Practice and Experience, Wiley.
pdf
Understanding Epidemic Quorum Systems.
João Barreto and Paulo Ferreira.
EuroSys 2007 (Poster Session), Mar. 2007.
pdf
An Efficient and Fault-Tolerant Update Commitment Protocol for Weakly Connected Replica.
João Barreto, Paulo Ferreira.
Special issue of the Journal on Concurrency and Computation, Practice and Experience, Wiley. 
na
An Efficient and Fault-Tolerant Update Commitment Protocol for Weakly Connected Replicas.
João Pedro Faria Mendonça Barreto and Paulo Jorge Pires Ferreira.
Euro-Par 2005, Aug. 2005 , pp. 1059-1068 , Springer Verlag. 
pdf
Concurrency Control for Distributed Co-operative Engineering Applications.
João Garcia, Paulo Ferreira .
Proceedings of the Symposium on Applied Computing 2002 (SAC'2002), pp. 958-963, Madrid (Spain), March 2002.
pdf
garbage collection
Complete Distributed Garbage Collection using Consistent Cuts and .Net AOP-Support.
Luís Veiga, Paulo Pererira, , Paulo Ferreira.
IET Software Journal,  The Instituition of Engineering and Technology (formerly IEE Software), Vol 1(6), (doi:10.1049/iet-sen:20070015), Dec. 2007.
pdf
Extending .NET Remoting with Distributed Garbage Collection.
Paulo Pereira, Luis Veiga, Paulo Ferreira.
Second Edition of the International Conference on Innovative Views of .NET Technologies (IVNET'06), Florianópolis (Brasil), October 2006. 
pdf
Asynchronous Complete Distributed Garbage Collection.
Luis Manuel Antunes Veiga and Paulo Jorge Pires Ferreira.
19th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2005), Apr. 2005 , IEEE. 
pdf
Garbage Collection Curriculum (MSDN Academic Alliance Curriculum Repository 6812).
Paulo Ferreira and Luis Veiga. 
pdf
Complete Distributed Garbage Collection, An Experience With Rotor.
Luis Veiga, Paulo Ferreira.
IEE Software Journal, 150(5), pp. 283--290, Nov. 2003, IEE Software.
  
na
Distributed Garbage Collection for Wide Area Replicated Memory.
Alfonso Sánchez, Luís Veiga and Paulo Ferreira.
Sixth USENIX Conference on Object-Oriented Technologies and Systems (COOTS'01), San Antonio (USA), January 2001.
postscript
Recent Advances in Distributed Garbage Collection.
Marc Shapiro, Fabrice le Fessant, and Paulo Ferreira.
Book chapter in Recent Advances in Distributed Systems, eds. S. Krakowiak and S.K. Shrivastava, Springer Verlag LNCS vol. 1752, February 2000. 
postscript
Implementing Garbage Collection in the PerDiS System.
Xavier Blondel, Paulo Ferreira and Marc Shapiro.
Eigth International Workshop on Persistent Object Systems: Design, Implementation and Use, Tiburon, California, USA, August 1998.
postscript
Modelling a Distributed Cached Store for Garbage Collection: the algorithm and its correctness proof.
Paulo Ferreira and Marc Shapiro.
ECOOP'98, Brussels, Belgium, July 1998.
postscript
PPF Case Study:Fitting a Distributed Garbage Collection Algorithm to a Persistent Distributed Store Architecture.
Xavier Blondel, Paulo Ferreira and Marc Shapiro.
OOPSLA'97 Workshop on Garbage Colletion, October 1997.
(postscript) 
postscript
Larchant: Persistence by Reachability in Distributed Shared Memory through Garbage Collection.
Paulo Ferreira.
Ph.D. Thesis, University Pierre et Marie Curie - Paris VI, May 1996. 
postscript
Larchant: Persistence by Reachability in Distributed Shared Memory through Garbage Collection.
Paulo Ferreira and Marc Shapiro.
16th ICDCS, Hong Kong, May 1996. 
postscript
Evaluating Garbage Collectors for Large Persistence Stores.
Laurent Amsaleg, Paulo Ferreira, Michael Franklin and Marc Shapiro.
Workshop on Object Database Behavior, Benchmarks, and Performance, at OOPSLA'95, Austin (TX-USA), October 1995.
postscript
Garbage Collection in Distributed Object Systems.
Ian Piumarta, Marc Shapiro and Paulo Ferreira.
Workshop on Reliability and Scalability in Distributed Object Systems, at OOPSLA'95, Austin (TX-USA), October 1995.
(postscript) 
postscript
Larchant-RDOSS: a Distributed Shared Persistent Memory and its Garbage Collector.
Marc Shapiro, Paulo Ferreira.
WDAG 95, Le Mont Saint Michel, France, Sept. 1995. 
postscript
Garbage Collection in the Larchant Persistent Distributed Shared Store.
Paulo Ferreira and Marc Shapiro.
FTDCS'95, Cheju Island, Korea, Aug. 1995.
postscript
Garbage Collection and DSM Consistency.
Paulo Ferreira and Marc Shapiro.
Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation  (OSDI'94),  USENIX Association, Berkeley, November 14-17, 1994, Monterey, California (USA).
postscript
Distributed Shared Memory Consistency and Garbage Collection.
Paulo Ferreira and Marc Shapiro.
Workshop Inter-PRS, Paris (France), December 1994.
na
Garbage Collection of Persistent Objects in Distributed Shared Memory.
Paulo Ferreira and Marc Shapiro.
Int. Workshop on Persistent Object Systems, Tarascon, France, Sept. 1994.
postscript
Some Key Issues in the Design of Distributed Garbage Collection and References.
Marc Shapiro, David Plainfossé, Paulo Ferreira and Laurent Amsaleg.
Workshop on Unifying Theory and Practice in Distributed Systems, Dagstuhl (Germany), September 1994. 
postscript
Garbage Collection of Persistent Objects in Distributed Shared Memory.
Paulo Ferreira and Marc Shapiro.
Workshop Franco-Isralienne, St. Malo (France), September 1994. 
na
Reciclagem Automática de Memória num Sistema Orientado a Objectos.
Paulo Ferreira.
Ms.C. Thesis, Technical University of Lisbon (IST), June 1992. 
postscript
Reclaiming Storage in an Object Oriented Platform Supporting Extended C++ and Objective-C Applications.
Paulo Ferreira.
Int. Workshop on Object-Orientation in Operating Systems, Palo Alto, CA (USA), October 1991.
postscript
Garbage Collection in C++.
Paulo Ferreira.
Workshop on Garbage Collection, at OOPSLA'91, Phoenix (AZ-USA), October de 1991. 
na
Garbage Collection in C++.
Paulo Ferreira.
Workshop on Extensions to C++, Lisbon (Portugal), June 1991. 
na
Storage Reclamation.
Paulo Ferreira.
Workshop on Garbage Collection in Object Oriented Systems at OOPSLA/ECOOP'90, Ottawa (Canada), October 1990.
na
security policies
A policy-oriented language for expressing security specifications.
Carlos Ribeiro, Paulo Ferreira.
IJNS - International Journal of Network Security.
pdf
Heimdhal: A History-based Policy Engine for Grids.
Pedro Gama, Carlos Ribeiro, Paulo Ferreira.
6th IEEE International Symposium on Cluster Computing and the GRID Singapura, 16-19 May, 2006. 
pdf
A Scalable History-based Policy Engine.
Pedro Gama, Carlos Ribeiro, Paulo Ferreira.
2006 IEEE Workshop on Policies for Distributed Systems and Networks, 5-7 June 2006, The University of Western Ontario, London , Ontario, (CANADA).
pdf
A policy-oriented language for expressing security specifications.
Carlos Ribeiro, Paulo Ferreira.
IJNS - International Journal of Network Security. 
na
Obligation Policies: An Enforcement Platform.
Pedro Gama and Paulo Ferreira.
Sixth IEEE International Workshop on Policies for Distributed Systems and Networks. Stockholm, Sweden. 06-08 June 2005.
pdf
Enforcing History-Based Security Policies in Mobile Agent Systems.
Pedro Dias, Carlos Ribeiro, Paulo Ferreira.
Proceedings of the IEEE 4th International Workshop on Policies for Distributed Systems and Networks, Lake Como (Italy), June 4-6, 2003. 
pdf
Enforcing Obligation with Security Monitors.
Carlos Ribeiro, André Zúquete, Paulo Ferreira.
Third International Conference on Information and Communication Security (ICICS'2001), Xian (China), November 2001, Springer Verlag.
pdf
SPL: An acess control language for security policies with complex constraints.
Carlos Ribeiro, André Zúquete, Paulo Ferreira and Paulo Guedes
Network and Distributed System Security Symposium (NDSS´01), San Diego (USA), February 2001.
pdf
SEFS: Security Module for Extensible File System Architectures.
Luís Ferreira, André Zúquete and Paulo Ferreira.
European Conference on Information Security Solutions (ISSE), Barcelona, September 2000. 
pdf
Security Policy Consistency.
Carlos Ribeiro, André Zúquete, Paulo Ferreira and Paulo Guedes.
First Workshop on Rule-Based Constraint Reasoning and Programming, Imperial College, London (UK), July 2000.
pdf
electronic voting
AnonyFacebook - Liking Facebook Posts Anonymously.
Pedro Alves, Paulo Ferreira.
21st International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS 2013), Springer Verlag, 11-13 Sept 2013, Graz, Austria.
na
EVIV: an End-to-end Verifiable Internet Voting System.
Rui Joaquim, Carlos Ribeiro, Paulo Ferreira.
Computer & Security, 32 (2013), 1-22, Elsevier.
na
Improving Remote Voting Security with CodeVoting.
Rui Joaquim, Carlos Ribeiro, and Paulo Ferreira. D. Chaum et al. (Eds.): Towards Trustworthy Elections, LNCS 6000, pp. 310--329. 1st Edition., 2010, VIII, 403 p., Softcover, ISBN:  978-3-642-12979-7. IAVOSS/Springer, Heidelberg (2010)  (http://www.springer.com/computer/security+and+cryptology/book/978-3-642-12979-7).
pdf
VeryVote: a voter verifiable code voting system.
Rui Joaquim, Carlos Robeiro, Paulo Ferreira.
Second international conference on E-voting and Identity (VOTE-ID 2009) 7-8 September 2009, Luxembourg. 
na
Internet Voting: Improving resistance to malicious servers in REVS.
Ricardo Lebre, Rui Joaquim, André Zúquete, Paulo Ferreira.
International Conference on Applied Computing (IADIS'2004), Mar. 2004 .
pdf
REVS – A Robust Electronic Voting System. 
Rui Joaquim, André Zúquete, Paulo Ferreira.
IADIS - International Journal of WWW/Internet, (), pp. , Dec. 2003, IADIS Press (ISSN 1645-7641). 
pdf
REVS - A Robust Electronic Voting System.
Rui Joaquim, André Zúquete, Paulo Ferreira. 
IADIS International Conference e-Society 2003, Lisboa (Portugal), June 3-6,  2003.
pdf
grid / cloud / P2P
VMR: Volunteer MapReduce over the Large Scale Internet.
Fernando Costa, Luís Veiga, Paulo Ferreira.
10th International Workshop on Middleware for Grids, Clouds and e-Science (MGC 2012), in conjunction with ACM/IFIP/USENIX 13th International Middleware Conference 2012, Sep. 2012 , ACM.
na
Large-scale volunteer computing over the Internet.
Fernando Costa, João Nuno de Oliveira e Silva, Luis Veiga, Paulo Ferreira.
Journal of Internet Services and Applications (JISA), December 2012, Volume 3, Issue 3, pp 329-346. Springer.
na
BOINC-MR: MapReduce in a Volunteer Environment
Fernando Costa, Luís Veiga, Paulo Ferreira
20th International Conference on Cooperative Information Systems (CoopIS 2012), 10-14 Sept 2012, Roma, Italy, Springer LNCS.
na
Trans-Social Networks for Distributed Processing. IFIP International Networking Conference 2012 (Lecture Notes in Computer Science), Feb. 2012 , Springer. Nuno Apolónia, Paulo Ferreira, Luís Veiga. na
vfcBOX: Multi-User Consistent File Sharing.
Jean-Pierre Ramos, Luis Veiga, Paulo Ferreira.
9th International Workshop on Middleware for Grids, Clouds and e-Science  (MGC 2011).
In conjunction with ACM/IFIP/USENIX 12th International Middleware Conference 2011, Lisbon, Portugal. December 12, 2011.
na
A2HA—automatic and adaptive host allocation in utility computing for bag-of-tasks. João Nuno Silva, Luis Veiga, Paulo Ferreira. Journal of Internet Services and Applications: Volume 2, Issue 2 (2011), Page 171-185. na
Transparent Adaptation of e-Science Applications for Parallel and Cycle-Sharing Infrastructures.
João Morais, João Nuno Silva, Paulo Ferreira and Luís Veiga. 11th International IFIP Conference on Distributed Applications and Interoperable Systems, DAIS 2011, LNCS, Springer,  June 6th - 9th, 2011, Reykjavik, Iceland.
na
O3: From  poor-man s persistence  to Transparent Clustering and Scalability for Java e-Science Applications. Pedro Sampaio, Paulo Ferreira and Luís Veiga. 11th International IFIP Conference on Distributed Applications and Interoperable Systems,  DAIS 2011, LNCS Springer, June 6th - 9th, 2011, in Reykjavik, Iceland . na
Gridlet Economics: Resource Management Models and Policies for Cycle-Sharing Systems. Pedro Oliveira, Paulo Ferreira and Luís Veiga. 6th International Conference on Grid and Prevasive Computing. Oulu (Finland), 11-13 May, 2011. na
Ozone-Squared : From "poor-man’s persistence" to Transparent Clustering for Java Applications.
Pedro Sampaio, Paulo Ferreira, Luis Veiga.
Poster in Middleware 2010, Bangalore (India), Dez. 2010.
na
Exploring Fault-tolerance and Reliability in a Peer-to-Peer Cycle-sharing Infrastructure.
Joao Paulino, Paulo Ferreira and Luis Veiga.
InForum 2010, Simposio de Informática, Track de Computação Distribuída de Larga Escala, Braga, Setembro de 2010.
pdf
Scalable and Efficient Discovery of Resources, Services, and Applications in P2P Grids.
Raoul Felix, Paulo Ferreira and Luís Veiga.
InForum 2010, Simposio de Informática, Track de Computação Distribuída de Larga Escala, Braga, Setembro de 2010.
pdf
GridP2P: Resource Usage in Grids and Peer-to-Peer.
Sérgio Esteves, Luís Veiga, Paulo Ferreira.
Seventh High-Performance Grid Computing Workshop, April 19, 2010,   Atlanta, USA (in conjunction with International Parallel and Distributed Processing Symposium - IPDPS 2010 April 19-23,   2010, Atlanta, USA).
pdf
Service and Resource Discovery in Cycle Sharing Environments with an Utility Algebra.
João Nuno, Luis Veiga, Paulo Ferreira
 24th  IEEE International Parallel & Distributed Processing  Symposium, April 19-23, 2010, Downtown Sheraton, ATLANTA (Georgia) USA.
pdf
 Mercury: A reflective middleware for automatic parallelization of Bags-of-Tasks.
João Nuno Silva, Luis Veiga, Paulo Ferreira.
The 8th Workshop on Adaptive and Reflective Middleware (ARM'09) December 1st 2009, Urbana Champaign, Illinois, USA collocated with Middleware 2009.
pdf
Heuristic for Resources Allocation on Utility Computing Infrastrcutures.
 João Nuno Silva, Luís Veiga, Paulo Ferreira.
6th International Workshop on Middleware for Grid Computing - MGC 2008, (ACM/IFIP/USENIX 9th International Middleware Conference 2008), Leuven (Belgium).  December 2008.
pdf
Verme:  Worm  Containment  in  Overlay  Networks.
Filipe Freitas, Edgar Marques, Rodrigo Rodrigues, Carlos Ribeiro, Paulo Ferreira, Luís  Rodrigues.  Dependable Computing  and  Communications  Symposium  (DCCS),  IEEE,  Estoril  (Portugal).Junho de 2009. 
pdf
SPADE - Scheduler for Parallel and Distributed Execution from mobile devices.
João Nuno Silva, Luís Veiga, Paulo Ferreira. 6th International Workshop on Middleware for Pervasive and Ad-Hoc Computing (ACM/IFIP/USENIX 9th International Middleware Conference 2008), Leuven (Belgium).  December 2008. 
pdf
nuBOINC: BOINC Extensions for Community Cycle Sharing.
João Nuno Silva, Luís Veiga, Paulo Ferreira.
Workshop on Decentralized Self Management for Grids, P2P, and User Communities - SELFMAN (in in conjunction with SASo 2008), Venice, Italy, October 20-24, 2008.
pdf
Pastel: Bridging the Gap Between Structured and Large-State Overlays.
Nuno Cruces, Rodrigo Rodriges, Paulo Ferreira.  8th IEEE International Symposium on Cluster Computing and the Grid, May 19-22, 2008, Ecole Normale Superieure de Lyon, Lyon, France.
pdf
GiGi: An Ocean of Gridlets on a `Grid-for-the-Masses´.
Luis Veiga and Rodrigo Rodrigues and Paulo Ferreira.
IEEE International Symposium on Cluster Computing and the Grid — CCGrid 2007 (PMGC-Workshop on Programming Models for the Grid), May. 2007 , IEEE Press.
pdf
Verme: Worm Containment in Peer-to-Peer Overlays.
Filipe Bastos de Freitas and Rodrigo Rodrigues and Carlos Nuno da Cruz Ribeiro and Paulo Ferreira and Luís Rodrigues.
Proc. of the 6th International Workshop on Peer-to-Peer Systems (IPTPS'07), Jan. 2007.
pdf
mobile computing
First Person Shooter for Tablets - FpsTab.
Oleksandr Bodashko, Luis Veiga, Paulo Ferreira.
INFORUM (Simpósio de Informática),  5 e 6 de Setembro 2013, Évora (Portugal).
na
Locality and Interest Awareness for Wireless Sensor Networks (LIASensor).
Bruno Andrade, Luis Veiga,  Paulo Ferreira.
Comunicação no INFORUM (Simpósio de Informática),  5 e 6 de Setembro 2013, Évora (Portugal).
na
OpenCOPI: Middleware Integration for Ubiquitous Computing.
Frederico Lopes,  Thiago Pereira,  Everton Cavalcante,  Flavia C. Delicato,  Thais Batista,  Paulo F. Pires,  Paulo Ferreira.
International Journal of Parallel, Emergent and Distributed Systems (IJPEDS), Taylor & Francis, 2013.
na
Composição Semântica e Dinâmica de Serviços Web para Aplicações Ubíquas.
Frederico Lopes, Everton Cavalcante, Thiago Pereira, Tahis Batista, Flavia Delicato, Paulo Pires, Paulo Ferreira.
18th Brazilian Symposium on Multimedia and the Web (Webmedia 2012), 15-18 October 2012, São Paulo, Brasil.
na
Jano: Location-Privacy Enforcement in Mobile and Pervasive Environments through Declarative Policies. (accepted for publication)
José Simão, Carlos Ribeiro, Paulo Ferreira, Luís Veiga.
Journal of Internet Services and Applications, 2012, Springer.
na
AdaptUbiFlow: Selection and Adaptation in Workflows for Ubiquitous Computing.
Frederico Lopes,  Thiago Pereira,  Everton Cavalcante,  Flavia C. Delicato,  Thais Batista,  Paulo F. Pires,  Paulo Ferreira. 9th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-2011), Melbourne, Australia, Oct 24-26, 2011.
na
ePaga - Sistema de Pagamento Electrónico.
João Almeida, Paulo Ferreira, Carlos Ribeiro. INFORUM Simpósio de Informática, 8-9 Setembro, Coimbra (Portugal), 2011.
na
RFID and NFC in the future of mobile computing.
Diogo Simões, Luis Veiga, Paulo Ferreira.
Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts.  IGI Global (publisher of Information Science Reference, Medical Information Science Reference, and IGI Publishing imprints), 2010. (to be published).
na
Jano - Specification and Enforcement of Location Privacy in Mobile and Pervasive Environments.
José Simão, Paulo Ferreira, Carlos Ribeiro and Luis Veiga.
Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2010), Middleware 2010, Bangalore (India), Dez. 2010.
na
Mobile Users are not Static Users on the Move.
João Garcia, João Leitão, Paulo Ferreira.
28º Simpósio Brasileiro de Redes de Computadores e de Sistemas Distribuídos, 24 to 28th of May, 2010, in Gramado, Brazil.
pdf
Data-aware connectivity in mobile replicated systems.
João Barreto, Joao Garcia, Paulo Ferreira.
Eighth International ACM Workshop on Data Engineering for Wireless and Mobile Access 10 Year Anniversary June 29th, 2009, Providence, Rhode Island, USA (in conjunction with SIGMOD/PODS 2009).
pdf
Mobile Middleware Integration for Java and .Net Development Environments.
Edgar Marques, Luís Veiga, Paulo Ferreira.
EuroPar 2008- Parallel Processing of Lectures Notes in Computer Science (http://dx.doi.org/10.1007/978-3-540-85451-7 6), LNCS, Springer Berlin / Heidelberg, Volume 5168/2008, ISBN 978-3-540-85450-0. August 26-29, Las Palmas, Spain.
pdf
Making Distributed Transactions Resilient to Intermittent Network Connections.
Nuno Santos, Paulo Ferreira.
4th IEEE International Workshop on Mobile Distributed Computing (MDC'06), Niagara-Falls/Buffalo, NY, USA, June 26, 2006.
pdf
Introduction to the Special Issue on "Pervasive Computing and Ambient Intelligence".
Paulo Ferreira and H. Raffler (guest editors).
Computers & Graphics, Volume 28, Issue 5, October 2004, Pages 623-624.
pdf
Remote Code Execution on Ubiquitous Mobile Applications.
João Nuno Silva and Paulo Ferreira.
Second European Symposium (EUSAI 2004), Oct. 2004 , pp. 172--183 , Springer-Verlag Heidelberg.
pdf
PoliPer: Policies for Mobile and Pervasive Environments.
Luis Veiga and Paulo Ferreira.
International Middleware Conference (3rd Workshop on Adaptive and Reflective Middleware), Sep. 2004 , ACM. 
pdf
Transactions Policies for Mobile Networks.
Nuno Santos and Luis Veiga and Paulo  Ferreira,
International Workshop on Policies for Distributed Systems and Networks, Jun. 2004 , IEEE. 
pdf
PUC – Sistema de Comunicações Pessoais para as Redes de Próxima Geração.
Alberto Silva, João Patriarca, João Clemente, Paulo Chainho, Paulo Ferreira.
3º Congreso Iberoamericano de Telemática (CITA’2003),, Oct. 2003 . 
na
Mobility and Wireless Support in OBIWAN.
Luís Veiga, Paulo Ferreira.
In Advanced Topic Workshop on Middleware for Mobile Computing,  3rd IFIP/ACM Middleware Conference, Heidelberg, Germany, Nov. 16, 2001.
na
An Authentication Protocol for Mobile Devices.
Paulo Simões, Pedro Alves, José Rogado, and Paulo Ferreira.
International Workshop on Internet 2000 (integrated in the Internatioanl Conference on Distributed Computing Systems-ICDCS'2000), Taipei, Taiwan (Republic of China), April 10-13, 2000.
Note: a previous version of this article appears in the First Portuguese Workshop on Mobile Computing,  Tomar (Portugal) November 1999.
pdf
software transactional memory
Unifying Thread-Level Speculation and Transactional Memory. (Best Paper)
João Barreto, Aleksandar Dragojevic, Paulo Ferreira, Ricardo Filipe and Rachid Guerraoui.
ACM/IFIP/USENIX 13th International Middleware Conference 2012, Sep. 2012 , ACM.
na
Leveraging Parallel Nesting in Transactional Memory.
João Barreto, Aleksandar Dragojevic, Paulo Ferreira, Rachid Guerraoui, Michal Kapalka.
15th ACM SIGPLAN Symposium on Principles and Practice of Parallel  Programming.Bangalore (India), Jan 9, 2010 - Jan 14, 2010. 
pdf
operating systems
SISTEMAS OPERACIONAIS.
José Alves Marques and Paulo Ferreira and Carlos Nuno da Cruz Ribeiro and Luís Veiga and Rodrigo Rodrigues
Jan 2011, LTC Livros Técnicos e Científicos.
na
Sistemas Operativos.
José Alves Marques, Paulo Ferreira, Carlos Ribeiro, Luís Veiga, Rodrigo Rodrigues.
FCA. ISBN 978-972-722-575-0. 
link
OSMOSIS - Semantic Work-Spaces for Smart Environments.
Luis Veiga and Paulo Ferreira. 
27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007) - International Workshop on Smart Applications and Wearable Computing, Jun. 2007 , IEEE Press.
na
Operating System Support for Task-Aware Applications.
João Garcia, Paulo Ferreira.
Conference on Mobile and Ubiquitous Systems.
Guimarães, Portugal. June 2006. 
pdf
Turning The Web Into An Effective Knowledge Repository.
Luis  Veiga, Paulo Ferreira.
International Conference on Enterprise Information Systems, Apr. 2004 , IEEE. 
pdf
Casa do Futuro Interactiva.
Paulo Ferreira.
Chapter Middleware in "Casa do Futuro", Dec 2003, Fundação Portuguesa das Comunicações. 
na
CORBA Persistence Object Service using PerDiS. 
Edi Ray Zavaleta Olea, João Garcia, Paulo Ferreira. 
Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2002). Orlando, USA. June 2002
na
Experience with the PerDiS Large Scale Data Sharing Middleware.
Marc Shapiro, Paulo Ferreira and Nicolas Richer.
Ninth International Workshop on Persistent Object Systems: Design, Implementation and Use, Lillehammer (Norway), September 2000. 
postscript
Distributed Shared Memory Infrastructure for Virtual Enterprises in Building and Construction.
Fadi Sandakly, João Garcia, Paulo Ferreira, Patrice Poyet,Journal of Intelligent Manufacturing,Vol.12, n.2, pp.199-212. Eds. U. Rembold & H.Yamashina, Kluwer Academic Publishers (NY), Abril 2001. 
pdf
World Wide Gathering Automatic Management.
Luís Veiga and Paulo Ferreira.
Second International Conference on Enterprise Information Systems,Stafford (UK), July 2000. 
pdf
PerDiS: design, implementation, and use of a PERsistent DIstributed Store.
Paulo Ferreira, Marc Shapiro, Xavier Blondel, Olivier Fambon, João Garcia, Sytse Kloosterman, Nicolas Richer, Marcus Roberts, Fadi Sandakly, George Coulouris, Jean Dollimore, Paulo Guedes, Daniel Hagimont, and Sacha Krakowiak
Book chapter in Recent Advances in Distributed Systems, eds. S. Krakowiak and S.K. Shrivastava, Springer Verlag LNCS vol. 1752, February 2000.
(postscript)
postscript
Parallel Operating Systems.
João Garcia, Paulo Ferreira, and Paulo Guedes.
Book chapter in Handbook on Parallel and Distributed Processing.
postscript
PerDiS: design, implementation, and use of a PERsistent DIstributed Store.
Paulo Ferreira, Marc Shapiro, Xavier Blondel, Olivier Fambon, João Garcia, Sytse Kloosterman, Nicolas Richer, Marcus Roberts, Fadi Sandakly, George Coulouris, Jean Dollimore, Paulo Guedes, Daniel Hagimont, and Sacha Krakowiak
Broadcast Workshop on Recent Advances in Distributed Systems, Cambridge (UK), July 1999.
Note: a previous version of this paper can be found as a technical report (QMW TR 752, CSTB ILC/98-1392, INRIA RR 3525, INESC RT/5/98).
(postscript) 
postscript
PerDiS: An Infrastructure for Cooperative Engineering in Virtual Entrepises in a Virtual Enterprise.
Fadi Sandakly, Joao Garcia,  Paulo Ferreira, and Patrice Poyet.
PROVE'99, IFIP/PRODNET Working Conference on Infrastructures for Industrial Virtual Enterprises, Porto (Portugal), October 1999.
postscript
The PerDiS FS: A Transactional File System for a Distributed Persistent Store.
João Garcia, Paulo Ferreira and Paulo Guedes.
Eigth  ACM Sigops Workshop, Sintra, Portugal, September 1998
(postscript) 
postscript
PerDiS: Peristent Distributed Store for Virtual Enterprise Concurrent Engineering.
Fadi Sandakly, Sytse Kloosterman, Paulo Ferreira and Patrice Poyet.
CI W78, Stockholm, Sweden, May 1998.
postscript
Fault Tolerance: Design and Exploratory Ideas.
Paulo Ferreira and João Garcia.
PerDiS Deliverable PDS-R-97-009, August 1997. 
postscript
Distribution and Persistence in the IK Platform.
Pedro Sousa, Manuel Sequeira, André Zúquete, Paulo Ferreira, Cristina Lopes, José Pereira, Paulo Guedes, and José Marques.
Computing Systems Journal, Vol. 6(4), November 1993.
postscript
Supporting Distributed and Persistent Applications in Multiple Address Spaces.
Paulo Ferreira and Marc Shapiro.
Workshop on Object-Based Distributed Programming, at ECOOP'93, July 1993.
na
A Unix Implementation of the Comandos Virtual Machine.
J. Alves Marques, P. Guedes, P. Sousa, M. Sequeira, N. Guimarães,
J. Monge, A. Zúquete and P. Ferreira
Esprit Technical Week, November 1990. 
na