Balloon Types: Controlling Sharing of State in Data Types. - Paulo Sérgio Almeida (ECOOP, 1997)

Aliasing in Object Oriented Systems. - James Noble 001; Jan Vitek; Doug Lea; Paulo Sérgio Almeida (ECOOP Workshops, 1999)

Type-checking Balloon Types. - Paulo Sérgio Almeida (MFPS, 1999)

Panasync: dependency tracking among file copies. - Paulo Sérgio Almeida; Carlos Baquero; Victor Fonte (ACM SIGOPS European Workshop, 2000)

Version Stamps - Decentralized Version Vectors. - Paulo Sérgio Almeida; Carlos Baquero; Victor Fonte (ICDCS, 2002)

Bounded Version Vectors. - José Bacelar Almeida; Paulo Sérgio Almeida; Carlos Baquero (DISC, 2004)

Improving on Version Stamps. - Paulo Sérgio Almeida; Carlos Baquero; Victor Fonte (OTM Workshops (2), 2007)

Scalable Bloom Filters. - Paulo Sérgio Almeida; Carlos Baquero; Nuno M. Preguiça; David Hutchison 001 (Inf. Process. Lett., 2007)

Interval Tree Clocks. - Paulo Sérgio Almeida; Carlos Baquero; Victor Fonte (OPODIS, 2008)

Fault-Tolerant Aggregation by Flow Updating. - Paulo Jesus; Carlos Baquero; Paulo Sérgio Almeida (DAIS, 2009)

Fast Estimation of Aggregates in Unstructured Networks. - Carlos Baquero; Paulo Sérgio Almeida; Raquel Menezes (ICAS, 2009)

Probabilistic Estimation of Network Size and Diameter. - Jorge C. S. Cardoso; Carlos Baquero; Paulo Sérgio Almeida (LADC, 2009)

Fault-Tolerant Aggregation for Dynamic Networks. - Paulo Jesus; Carlos Baquero; Paulo Sérgio Almeida (SRDS, 2010)

Dotted Version Vectors: Logical Clocks for Optimistic Replication - Nuno M. Preguiça; Carlos Baquero; Paulo Sérgio Almeida; Victor Fonte; Ricardo Gonçalves 002 (CoRR, 2010)

Dependability in Aggregation by Averaging - Paulo Jesus; Carlos Baquero; Paulo Sérgio Almeida (CoRR, 2010)

Fast distributed computation of distances in networks. - Paulo Sérgio Almeida; Carlos Baquero; Alcino Cunha (CDC, 2012)

Spectra: Robust Estimation of Distribution Functions in Networks. - Miguel Borges; Paulo Jesus; Carlos Baquero; Paulo Sérgio Almeida (DAIS, 2012)

Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors. - Nuno M. Preguiça; Carlos Baquero; Paulo Sérgio Almeida; Victor Fonte; Ricardo Gonçalves 002 (PODC, 2012)

Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes. - Carlos Baquero; Paulo Sérgio Almeida; Raquel Menezes; Paulo Jesus (IEEE Trans. Parallel Distributed Syst., 2012)

Scalable and Accurate Causality Tracking for Eventually Consistent Stores. - Paulo Sérgio Almeida; Carlos Baquero; Ricardo Gonçalves 002; Nuno M. Preguiça; Victor Fonte (DAIS, 2014)

Making Operation-Based CRDTs Operation-Based. - Carlos Baquero; Paulo Sérgio Almeida; Ali Shoker (DAIS, 2014)

Efficient state-based CRDTs by decomposition. - Paulo Sérgio Almeida; Ali Shoker; Carlos Baquero (PaPEC@EuroSys, 2014)

Concise Server-Wide Causality Management for Eventually Consistent Data Stores. - Ricardo Gonçalves 002; Paulo Sérgio Almeida; Carlos Baquero; Victor Fonte (DAIS, 2015)

Efficient State-Based CRDTs by Delta-Mutation. - Paulo Sérgio Almeida; Ali Shoker; Carlos Baquero (NETYS, 2015)

Exactly-Once Quantity Transfer. - Ali Shoker; Paulo Sérgio Almeida; Carlos Baquero (SRDS Workshop, 2015)

A Survey of Distributed Data Aggregation Algorithms. - Paulo Jesus; Carlos Baquero; Paulo Sérgio Almeida (IEEE Commun. Surv. Tutorials, 2015)

Flow updating: Fault-tolerant aggregation for dynamic networks. - Paulo Jesus; Carlos Baquero; Paulo Sérgio Almeida (J. Parallel Distributed Comput., 2015)

Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report. - Vitor Enes; Carlos Baquero; Paulo Sérgio Almeida; Ali Shoker (PMLDC@ECOOP, 2016)

Integration Challenges of Pure Operation-based CRDTs in Redis. - Georges Younes 002; Ali Shoker; Paulo Sérgio Almeida; Carlos Baquero (PMLDC@ECOOP, 2016)

The problem with embedded CRDT counters and a solution. - Carlos Baquero; Paulo Sérgio Almeida; Carl Lerche (PaPoC@EuroSys, 2016)

Life Beyond Distributed Transactions on the Edge. - Ali Shoker; Ziad Kassam; Paulo Sérgio Almeida; Carlos Baquero (MECC@Middleware, 2016)

The Single-Writer Principle in CRDT Composition. - Vitor Enes; Paulo Sérgio Almeida; Carlos Baquero (PMLDC@ECOOP, 2017)

Borrowing an Identity for a Distributed Counter: Work in progress report. - Vitor Enes; Carlos Baquero; Paulo Sérgio Almeida; João Leitão 001 (PaPoC@EuroSys, 2017)

Compact Resettable Counters through Causal Stability. - Georges Younes 002; Paulo Sérgio Almeida; Carlos Baquero (PaPoC@EuroSys, 2017)

Aggregation protocols in light of reliable communication. - Ziad Kassam; Ali Shoker; Paulo Sérgio Almeida; Carlos Baquero (NCA, 2017)

DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones. - Ricardo Jorge Tome Goncalves; Paulo Sérgio Almeida; Carlos Baquero; Victor Fonte (SRDS, 2017)

Pure Operation-Based Replicated Data Types. - Carlos Baquero; Paulo Sérgio Almeida; Ali Shoker (CoRR, 2017)

Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution. - Paulo Sérgio Almeida; Carlos Baquero; Martin Farach-Colton; Paulo Jesus; Miguel A. Mosteiro (Distributed Comput., 2017)

Composition in State-based Replicated Data Types. - Carlos Baquero; Paulo Sérgio Almeida; Alcino Cunha; Carla Ferreira 001 (Bull. EATCS, 2017)

Delta state replicated data types. - Paulo Sérgio Almeida; Ali Shoker; Carlos Baquero (J. Parallel Distributed Comput., 2018)

Higher-Order Patterns in Replicated Data Types. - Adriaan Leijnse; Paulo Sérgio Almeida; Carlos Baquero (PaPoC@EuroSys, 2019)

Efficient Synchronization of State-Based CRDTs. - Vitor Enes; Paulo Sérgio Almeida; Carlos Baquero; João Leitão 001 (ICDE, 2019)

Scalable eventually consistent counters over unreliable networks. - Paulo Sérgio Almeida; Carlos Baquero (Distributed Comput., 2019)

Age-Partitioned Bloom Filters. - Ariel Shtul; Carlos Baquero; Paulo Sérgio Almeida (CoRR, 2020)

An oblivious observed-reset embeddable replicated counter. - Matthew Weidner; Paulo Sérgio Almeida (PaPoC@EuroSys, 2022)

Exon: An Oblivious Exactly-Once Messaging Protocol. - Ziad Kassam; Paulo Sérgio Almeida; Ali Shoker (ICCCN, 2022)

An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. - Manuel Barros; Maria Ramos; Alexandre Gomes; Alcino Cunha; José Pereira 001; Paulo Sérgio Almeida (FORTE, 2023)

Time-limited Bloom Filter. - Ana Rodrigues; Ariel Shtul; Carlos Baquero; Paulo Sérgio Almeida (SAC, 2023)

A Case for Partitioned Bloom Filters. - Paulo Sérgio Almeida (IEEE Trans. Computers, 2023)

The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type. - Paulo Sérgio Almeida; Ehud Shapiro (CoRR, 2024)

A Framework for Consistency Models in Distributed Systems. - Paulo Sérgio Almeida (CoRR, 2024)

Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation. - Ziad Kassam; Paulo Sérgio Almeida; Ali Shoker (IEEE Access, 2025)

Approaches to Conflict-free Replicated Data Types. - Paulo Sérgio Almeida (ACM Comput. Surv., 2025)