Paulo Sérgio Almeida

67 papers A* 2A 3B 7C 6Misc 1Journal 29Unranked 19

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