| 2023 | FORTE | An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. | Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, Jos Pereira, Paulo Srgio Almeida |
| 2023 | SAC | Time-limited Bloom Filter. | Ana Rodrigues, Ariel Shtul, Carlos Baquero, Paulo Srgio Almeida |
| 2022 | EuroSys | An oblivious observed-reset embeddable replicated counter. | Matthew Weidner, Paulo Srgio Almeida |
| 2022 | ICCCN | Exon: An Oblivious Exactly-Once Messaging Protocol. | Ziad Kassam, Paulo Srgio Almeida, Ali Shoker |
| 2019 | EuroSys | Higher-Order Patterns in Replicated Data Types. | Adriaan Leijnse, Paulo Srgio Almeida, Carlos Baquero |
| 2019 | ICDE | Efficient Synchronization of State-Based CRDTs. | Vitor Enes, Paulo Srgio Almeida, Carlos Baquero, Joo Leito |
| 2017 | ECOOP | The Single-Writer Principle in CRDT Composition. | Vitor Enes, Paulo Srgio Almeida, Carlos Baquero |
| 2017 | EuroSys | Borrowing an Identity for a Distributed Counter: Work in progress report. | Vitor Enes, Carlos Baquero, Paulo Srgio Almeida, Joo Leito |
| 2017 | EuroSys | Compact Resettable Counters through Causal Stability. | Georges Younes, Paulo Srgio Almeida, Carlos Baquero |
| 2017 | NCA | Aggregation protocols in light of reliable communication. | Ziad Kassam, Ali Shoker, Paulo Srgio Almeida, Carlos Baquero |
| 2017 | SRDS | DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones. | Ricardo Jorge Tome Goncalves, Paulo Srgio Almeida, Carlos Baquero, Victor Fonte |
| 2016 | ECOOP | Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report. | Vitor Enes, Carlos Baquero, Paulo Srgio Almeida, Ali Shoker |
| 2016 | ECOOP | Integration Challenges of Pure Operation-based CRDTs in Redis. | Georges Younes, Ali Shoker, Paulo Srgio Almeida, Carlos Baquero |
| 2016 | EuroSys | The problem with embedded CRDT counters and a solution. | Carlos Baquero, Paulo Srgio Almeida, Carl Lerche |
| 2016 | Middleware | Life Beyond Distributed Transactions on the Edge. | Ali Shoker, Ziad Kassam, Paulo Srgio Almeida, Carlos Baquero |
| 2015 | DAIS | Concise Server-Wide Causality Management for Eventually Consistent Data Stores. | Ricardo Gonalves, Paulo Srgio Almeida, Carlos Baquero, Victor Fonte |
| 2015 | SRDS | Exactly-Once Quantity Transfer. | Ali Shoker, Paulo Srgio Almeida, Carlos Baquero |
| 2014 | DAIS | Scalable and Accurate Causality Tracking for Eventually Consistent Stores. | Paulo Srgio Almeida, Carlos Baquero, Ricardo Gonalves, Nuno M. Preguia, Victor Fonte |
| 2014 | DAIS | Making Operation-Based CRDTs Operation-Based. | Carlos Baquero, Paulo Srgio Almeida, Ali Shoker |
| 2014 | EuroSys | Efficient state-based CRDTs by decomposition. | Paulo Srgio Almeida, Ali Shoker, Carlos Baquero |
| 2014 | EuroSys | Making operation-based CRDTs operation-based. | Carlos Baquero, Paulo Srgio Almeida, Ali Shoker |
| 2012 | DAIS | Spectra: Robust Estimation of Distribution Functions in Networks. | Miguel Borges, Paulo Jesus, Carlos Baquero, Paulo Srgio Almeida |
| 2012 | PODC | Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors. | Nuno M. Preguia, Carlos Baquero, Paulo Srgio Almeida, Victor Fonte, Ricardo Gonalves |
| 2011 | OPODIS | Fault-Tolerant Aggregation: Flow-Updating Meets Mass-Distribution. | Paulo Srgio Almeida, Carlos Baquero, Martin Farach-Colton, Paulo Jesus, Miguel A. Mosteiro |
| 2010 | SRDS | Fault-Tolerant Aggregation for Dynamic Networks. | Paulo Jesus, Carlos Baquero, Paulo Srgio Almeida |
| 2009 | DAIS | Fault-Tolerant Aggregation by Flow Updating. | Paulo Jesus, Carlos Baquero, Paulo Srgio Almeida |
| 2008 | OPODIS | Interval Tree Clocks. | Paulo Srgio Almeida, Carlos Baquero, Victor Fonte |
| 2002 | ICDCS | Version Stamps - Decentralized Version Vectors. | Paulo Srgio Almeida, Carlos Baquero, Victor Fonte |
| 1997 | ECOOP | Balloon Types: Controlling Sharing of State in Data Types. | Paulo Srgio Almeida |