Paulo Sérgio Almeida

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 28

Top Topics

Causal Inferences

Programming Exercises

Top Venues

Publications

Paulo Sérgio Almeida, Ehud Shapiro
The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type. CoRR (2024)
Ana Rodrigues, Ariel Shtul, Carlos Baquero, Paulo Sérgio Almeida
Time-limited Bloom Filter. SAC (2023)
Ana Rodrigues, Ariel Shtul, Carlos Baquero, Paulo Sérgio Almeida
Time-limited Bloom Filter. CoRR (2023)
Paulo Sérgio Almeida
Approaches to Conflict-free Replicated Data Types. CoRR (2023)
Paulo Sérgio Almeida
A Case for Partitioned Bloom Filters. IEEE Trans. Computers 72 (6) (2023)
Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, José Pereira, Paulo Sérgio Almeida
An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. FORTE (2023)
Matthew Weidner, Paulo Sérgio Almeida
An oblivious observed-reset embeddable replicated counter. PaPoC@EuroSys (2022)
Ziad Kassam, Paulo Sérgio Almeida, Ali Shoker
Exon: An Oblivious Exactly-Once Messaging Protocol. ICCCN (2022)
Paulo Sérgio Almeida
A Case for Partitioned Bloom Filters. CoRR (2020)
Ariel Shtul, Carlos Baquero, Paulo Sérgio Almeida
Age-Partitioned Bloom Filters. CoRR (2020)
Adriaan Leijnse, Paulo Sérgio Almeida, Carlos Baquero
Higher-Order Patterns in Replicated Data Types. PaPoC@EuroSys (2019)
Paulo Sérgio Almeida, Carlos Baquero
Scalable eventually consistent counters over unreliable networks. Distributed Comput. 32 (1) (2019)
Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão
Efficient Synchronization of State-Based CRDTs. ICDE (2019)
Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão
Efficient Synchronization of State-based CRDTs. CoRR (2018)
Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
Delta state replicated data types. J. Parallel Distributed Comput. 111 (2018)
Ziad Kassam, Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero
Aggregation protocols in light of reliable communication. NCA (2017)
Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, João Leitão
Borrowing an Identity for a Distributed Counter: Work in progress report. PaPoC@EuroSys (2017)
Paulo Sérgio Almeida, Carlos Baquero, Martin Farach-Colton, Paulo Jesus, Miguel A. Mosteiro
Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution. Distributed Comput. 30 (4) (2017)
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira
Composition in State-based Replicated Data Types. Bull. EATCS 123 (2017)
Georges Younes, Paulo Sérgio Almeida, Carlos Baquero
Compact Resettable Counters through Causal Stability. PaPoC@EuroSys (2017)
Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker
Pure Operation-Based Replicated Data Types. CoRR (2017)
Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero
The Single-Writer Principle in CRDT Composition. PMLDC@ECOOP (2017)
Ricardo Jorge Tome Goncalves, Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones. SRDS (2017)
Georges Younes, Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero
Integration Challenges of Pure Operation-based CRDTs in Redis. PMLDC@ECOOP (2016)
Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker
Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report. PMLDC@ECOOP (2016)
Carlos Baquero, Paulo Sérgio Almeida, Carl Lerche
The problem with embedded CRDT counters and a solution. PaPoC@EuroSys (2016)
Ali Shoker, Ziad Kassam, Paulo Sérgio Almeida, Carlos Baquero
Life Beyond Distributed Transactions on the Edge. MECC@Middleware (2016)
Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
Delta State Replicated Data Types. CoRR (2016)
Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
Efficient State-Based CRDTs by Delta-Mutation. NETYS (2015)
Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
Flow updating: Fault-tolerant aggregation for dynamic networks. J. Parallel Distributed Comput. 78 (2015)
Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
A Survey of Distributed Data Aggregation Algorithms. IEEE Commun. Surv. Tutorials 17 (1) (2015)
Ricardo Gonçalves, Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
Concise Server-Wide Causality Management for Eventually Consistent Data Stores. DAIS (2015)
Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero
Exactly-Once Quantity Transfer. SRDS Workshop (2015)
Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker
Making Operation-Based CRDTs Operation-Based. DAIS (2014)
Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
Efficient State-based CRDTs by Delta-Mutation. CoRR (2014)
Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker
Making operation-based CRDTs operation-based. PaPEC@EuroSys (2014)
Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
Efficient state-based CRDTs by decomposition. PaPEC@EuroSys (2014)
Paulo Sérgio Almeida, Carlos Baquero, Ricardo Gonçalves, Nuno M. Preguiça, Victor Fonte
Scalable and Accurate Causality Tracking for Eventually Consistent Stores. DAIS (2014)
Paulo Sérgio Almeida, Carlos Baquero
Scalable Eventually Consistent Counters over Unreliable Networks. CoRR (2013)
Nuno M. Preguiça, Carlos Baquero, Paulo Sérgio Almeida, Victor Fonte, Ricardo Gonçalves
Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors. PODC (2012)
Miguel Borges, Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
Spectra: Robust Estimation of Distribution Functions in Networks CoRR (2012)
Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha
Fast distributed computation of distances in networks. CDC (2012)
Carlos Baquero, Paulo Sérgio Almeida, Raquel Menezes, Paulo Jesus
Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes. IEEE Trans. Parallel Distributed Syst. 23 (4) (2012)
Miguel Borges, Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
Spectra: Robust Estimation of Distribution Functions in Networks. DAIS (2012)
Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha
Fast Distributed Computation of Distances in Networks CoRR (2011)
Paulo Sérgio Almeida, Carlos Baquero, Martin Farach-Colton, Paulo Jesus, Miguel A. Mosteiro
Fault-Tolerant Aggregation: Flow-Updating Meets Mass-Distribution. OPODIS (2011)
Paulo Sérgio Almeida, Carlos Baquero, Martin Farach-Colton, Paulo Jesus, Miguel A. Mosteiro
Fault-Tolerant Aggregation: Flow-Updating Meets Mass-Distribution CoRR (2011)
Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
A Survey of Distributed Data Aggregation Algorithms CoRR (2011)
Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
Fault-Tolerant Aggregation for Dynamic Networks. SRDS (2010)
Nuno M. Preguiça, Carlos Baquero, Paulo Sérgio Almeida, Victor Fonte, Ricardo Gonçalves
Dotted Version Vectors: Logical Clocks for Optimistic Replication CoRR (2010)
Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
Dependability in Aggregation by Averaging CoRR (2010)
Jorge C. S. Cardoso, Carlos Baquero, Paulo Sérgio Almeida
Probabilistic Estimation of Network Size and Diameter. LADC (2009)
Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
Fault-Tolerant Aggregation by Flow Updating. DAIS (2009)
Carlos Baquero, Paulo Sérgio Almeida, Raquel Menezes
Fast Estimation of Aggregates in Unstructured Networks. ICAS (2009)
Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
Interval Tree Clocks. OPODIS (2008)
Paulo Sérgio Almeida, Carlos Baquero, Nuno M. Preguiça, David Hutchison
Scalable Bloom Filters. Inf. Process. Lett. 101 (6) (2007)
Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
Improving on Version Stamps. OTM Workshops (2) (2007)
José Bacelar Almeida, Paulo Sérgio Almeida, Carlos Baquero
Bounded Version Vectors. DISC (2004)
Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
Version Stamps - Decentralized Version Vectors. ICDCS (2002)
Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
Panasync: dependency tracking among file copies. ACM SIGOPS European Workshop (2000)
Paulo Sérgio Almeida
Type-checking Balloon Types. MFPS (1999)
James Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida
Aliasing in Object Oriented Systems. ECOOP Workshops (1999)
Paulo Sérgio Almeida
Balloon Types: Controlling Sharing of State in Data Types. ECOOP (1997)