default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaulo Sérgio Almeida
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j10]Paulo Sérgio Almeida
:
Approaches to Conflict-free Replicated Data Types. ACM Comput. Surv. 57(2): 51:1-51:36 (2025)- 2024
- [i17]Paulo Sérgio Almeida, Ehud Shapiro:
The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type. CoRR abs/2402.08068 (2024) - [i16]Paulo Sérgio Almeida:
A Framework for Consistency Models in Distributed Systems. CoRR abs/2411.16355 (2024) - 2023
- [j9]Paulo Sérgio Almeida:
A Case for Partitioned Bloom Filters. IEEE Trans. Computers 72(6): 1681-1691 (2023) - [c38]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: 3-20 - [c37]Ana Rodrigues, Ariel Shtul, Carlos Baquero, Paulo Sérgio Almeida:
Time-limited Bloom Filter. SAC 2023: 1285-1288 - [i15]Ana Rodrigues, Ariel Shtul, Carlos Baquero, Paulo Sérgio Almeida:
Time-limited Bloom Filter. CoRR abs/2306.06742 (2023) - [i14]Paulo Sérgio Almeida:
Approaches to Conflict-free Replicated Data Types. CoRR abs/2310.18220 (2023) - 2022
- [c36]Matthew Weidner, Paulo Sérgio Almeida:
An oblivious observed-reset embeddable replicated counter. PaPoC@EuroSys 2022: 47-52 - [c35]Ziad Kassam, Paulo Sérgio Almeida, Ali Shoker:
Exon: An Oblivious Exactly-Once Messaging Protocol. ICCCN 2022: 1-10 - 2020
- [i13]Ariel Shtul, Carlos Baquero, Paulo Sérgio Almeida:
Age-Partitioned Bloom Filters. CoRR abs/2001.03147 (2020) - [i12]Paulo Sérgio Almeida:
A Case for Partitioned Bloom Filters. CoRR abs/2009.11789 (2020)
2010 – 2019
- 2019
- [j8]Paulo Sérgio Almeida, Carlos Baquero:
Scalable eventually consistent counters over unreliable networks. Distributed Comput. 32(1): 69-89 (2019) - [c34]Adriaan Leijnse, Paulo Sérgio Almeida, Carlos Baquero:
Higher-Order Patterns in Replicated Data Types. PaPoC@EuroSys 2019: 5:1-5:6 - [c33]Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão:
Efficient Synchronization of State-Based CRDTs. ICDE 2019: 148-159 - 2018
- [j7]Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero:
Delta state replicated data types. J. Parallel Distributed Comput. 111: 162-173 (2018) - [i11]Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão:
Efficient Synchronization of State-based CRDTs. CoRR abs/1803.02750 (2018) - 2017
- [j6]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): 281-291 (2017) - [j5]Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira:
Composition in State-based Replicated Data Types. Bull. EATCS 123 (2017) - [c32]Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero:
The Single-Writer Principle in CRDT Composition. PMLDC@ECOOP 2017: 4:1-4:3 - [c31]Georges Younes, Paulo Sérgio Almeida, Carlos Baquero:
Compact Resettable Counters through Causal Stability. PaPoC@EuroSys 2017: 2:1-2:3 - [c30]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: 4:1-4:3 - [c29]Ziad Kassam, Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero:
Aggregation protocols in light of reliable communication. NCA 2017: 145-148 - [c28]Ricardo Jorge Tome Goncalves, Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte:
DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones. SRDS 2017: 194-203 - [i10]Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker:
Pure Operation-Based Replicated Data Types. CoRR abs/1710.04469 (2017) - 2016
- [c27]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: 6 - [c26]Georges Younes, Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero:
Integration Challenges of Pure Operation-based CRDTs in Redis. PMLDC@ECOOP 2016: 7 - [c25]Carlos Baquero, Paulo Sérgio Almeida, Carl Lerche:
The problem with embedded CRDT counters and a solution. PaPoC@EuroSys 2016: 10:1-10:3 - [c24]Ali Shoker, Ziad Kassam, Paulo Sérgio Almeida, Carlos Baquero:
Life Beyond Distributed Transactions on the Edge. MECC@Middleware 2016: 4 - [i9]Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero:
Delta State Replicated Data Types. CoRR abs/1603.01529 (2016) - 2015
- [j4]Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida:
A Survey of Distributed Data Aggregation Algorithms. IEEE Commun. Surv. Tutorials 17(1): 381-404 (2015) - [j3]Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida:
Flow updating: Fault-tolerant aggregation for dynamic networks. J. Parallel Distributed Comput. 78: 53-64 (2015) - [c23]Ricardo Gonçalves, Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte:
Concise Server-Wide Causality Management for Eventually Consistent Data Stores. DAIS 2015: 66-79 - [c22]Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero:
Efficient State-Based CRDTs by Delta-Mutation. NETYS 2015: 62-76 - [c21]Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero:
Exactly-Once Quantity Transfer. SRDS Workshop 2015: 68-73 - 2014
- [c20]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: 67-81 - [c19]Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker:
Making Operation-Based CRDTs Operation-Based. DAIS 2014: 126-140 - [c18]Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero:
Efficient state-based CRDTs by decomposition. PaPEC@EuroSys 2014: 3:1-3:2 - [c17]Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker:
Making operation-based CRDTs operation-based. PaPEC@EuroSys 2014: 7:1-7:2 - [i8]Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero:
Efficient State-based CRDTs by Delta-Mutation. CoRR abs/1410.2803 (2014) - 2013
- [i7]Paulo Sérgio Almeida, Carlos Baquero:
Scalable Eventually Consistent Counters over Unreliable Networks. CoRR abs/1307.3207 (2013) - 2012
- [j2]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): 668-675 (2012) - [c16]Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha:
Fast distributed computation of distances in networks. CDC 2012: 5215-5220 - [c15]Miguel Borges, Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida:
Spectra: Robust Estimation of Distribution Functions in Networks. DAIS 2012: 96-103 - [c14]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: 335-336 - [i6]Miguel Borges, Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida:
Spectra: Robust Estimation of Distribution Functions in Networks. CoRR abs/1204.1373 (2012) - 2011
- [c13]Paulo Sérgio Almeida, Carlos Baquero, Martin Farach-Colton, Paulo Jesus, Miguel A. Mosteiro:
Fault-Tolerant Aggregation: Flow-Updating Meets Mass-Distribution. OPODIS 2011: 513-527 - [i5]Paulo Sérgio Almeida, Carlos Baquero, Martin Farach-Colton, Paulo Jesus, Miguel A. Mosteiro:
Fault-Tolerant Aggregation: Flow-Updating Meets Mass-Distribution. CoRR abs/1109.4373 (2011) - [i4]Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida:
A Survey of Distributed Data Aggregation Algorithms. CoRR abs/1110.0725 (2011) - [i3]Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha:
Fast Distributed Computation of Distances in Networks. CoRR abs/1111.6087 (2011) - 2010
- [c12]Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida:
Fault-Tolerant Aggregation for Dynamic Networks. SRDS 2010: 37-43 - [i2]Nuno M. Preguiça, Carlos Baquero, Paulo Sérgio Almeida, Victor Fonte, Ricardo Gonçalves:
Dotted Version Vectors: Logical Clocks for Optimistic Replication. CoRR abs/1011.5808 (2010) - [i1]Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida:
Dependability in Aggregation by Averaging. CoRR abs/1011.6596 (2010)
2000 – 2009
- 2009
- [c11]Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida:
Fault-Tolerant Aggregation by Flow Updating. DAIS 2009: 73-86 - [c10]Carlos Baquero, Paulo Sérgio Almeida, Raquel Menezes:
Fast Estimation of Aggregates in Unstructured Networks. ICAS 2009: 88-93 - [c9]Jorge C. S. Cardoso, Carlos Baquero, Paulo Sérgio Almeida:
Probabilistic Estimation of Network Size and Diameter. LADC 2009: 33-40 - 2008
- [c8]Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte:
Interval Tree Clocks. OPODIS 2008: 259-274 - 2007
- [j1]Paulo Sérgio Almeida, Carlos Baquero, Nuno M. Preguiça, David Hutchison:
Scalable Bloom Filters. Inf. Process. Lett. 101(6): 255-261 (2007) - [c7]Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte:
Improving on Version Stamps. OTM Workshops (2) 2007: 1025-1031 - 2004
- [c6]José Bacelar Almeida, Paulo Sérgio Almeida, Carlos Baquero:
Bounded Version Vectors. DISC 2004: 102-116 - 2002
- [c5]Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte:
Version Stamps - Decentralized Version Vectors. ICDCS 2002: 544-551 - 2000
- [c4]Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte:
Panasync: dependency tracking among file copies. ACM SIGOPS European Workshop 2000: 7-12
1990 – 1999
- 1999
- [c3]James Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida:
Aliasing in Object Oriented Systems. ECOOP Workshops 1999: 136-163 - [c2]Paulo Sérgio Almeida:
Type-checking Balloon Types. MFPS 1999: 1-27 - 1997
- [c1]Paulo Sérgio Almeida:
Balloon Types: Controlling Sharing of State in Data Types. ECOOP 1997: 32-59
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
