Paulo Sérgio Soares de Almeida


AuthID: R-000-EM4

Confirmed Publications: 54



1
TITLE: The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type
AUTHORS: Paulo Sérgio Almeida ; Ehud Shapiro;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.08068
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: A Case for Partitioned Bloom Filters
AUTHORS: Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 72, ISSUE: 6
INDEXED IN: WOS DBLP
IN MY: DBLP
3
TITLE: An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises
AUTHORS: Barros, Manuel ; Ramos, Maria ; Gomes, Alexandre; Cunha, Alcino ; Pereira, Jose ; Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: 43rd International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023, VOLUME: 13910
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
4
TITLE: Approaches to Conflict-free Replicated Data Types  Full Text
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2310.18220
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
5
TITLE: Time-limited Bloom Filter
AUTHORS: Rodrigues, Ana; Shtul, Ariel; Baquero, Carlos ; Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: An Oblivious Observed-Reset Embeddable Replicated Counter
AUTHORS: Weidner, Matthew; Almeida, Paulo Sergio ;
PUBLISHED: 2022, SOURCE: Proceedings of the 9th Principles and Practice of Consistency for Distributed Data (PaPoC) in PAPOC'22: PROCEEDINGS OF THE 9TH PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Exon: An Oblivious Exactly-Once Messaging Protocol  Full Text
AUTHORS: Kassam, Ziad ; Almeida, Paulo Sergio ; Shoker, Ali;
PUBLISHED: 2022, SOURCE: 31st International Conference on Computer Communications and Networks (ICCCN) in 2022 31ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN 2022), VOLUME: 2022-July
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
8
TITLE: A Case for Partitioned Bloom Filters
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2009.11789, ISSUE: 6
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP
9
TITLE: Age-Partitioned Bloom Filters PDF
AUTHORS: Ariel Shtul; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2001.03147
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
10
TITLE: Efficient Synchronization of State-based CRDTs
AUTHORS: Enes, V ; Almeida, PS ; Baquero, C ; Leitao, J;
PUBLISHED: 2019, SOURCE: IEEE 35th International Conference on Data Engineering (ICDE) in 2019 IEEE 35TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2019), VOLUME: 2019-April
INDEXED IN: Scopus WOS DBLP CrossRef: 17
IN MY: ORCID | DBLP
Page 1 of 6. Total results: 54.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service