Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 112



1
TITLE: A sleek lock-free hash map in an ERA of safe memory reclamation methods  Full Text
AUTHORS: Moreno, Pedro; Miguel Areias ; Rocha, Ricardo ;
PUBLISHED: 2025, SOURCE: PARALLEL COMPUTING, VOLUME: 126
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: On Exploring Safe Memory Reclamation Methods with a Simplified Lock-Free Hash Map Design
AUTHORS: Moreno, Pedro; Miguel Areias ; Rocha, Ricardo ;
PUBLISHED: 2025, SOURCE: 30th European Conference on Parallel and Distributed Processing-Euro-Par in EURO-PAR 2024: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 15386
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
3
TITLE: Performance Evaluation of Separate Chaining for Concurrent Hash Maps  Full Text
AUTHORS: Castro, Ana; Miguel Areias ; Rocha, Ricardo ;
PUBLISHED: 2025, SOURCE: MATHEMATICS, VOLUME: 13, ISSUE: 17
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog  Full Text
AUTHORS: Moreno, Pedro; Miguel Areias ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
5
TITLE: Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs
AUTHORS: Moreno, Pedro ; Rocha, Ricardo ;
PUBLISHED: 2023, SOURCE: 35th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) in PROCEEDINGS OF THE 35TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, SPAA 2023
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
6
TITLE: On the correctness of a lock-free compression-based elastic mechanism for a hash trie design  Full Text
AUTHORS: Miguel Areias ; Rocha, Ricardo ;
PUBLISHED: 2022, SOURCE: COMPUTING, VOLUME: 104, ISSUE: 10
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
7
TITLE: Parallel Logic Programming: A Sequel
AUTHORS: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
8
TITLE: On the correctness and efficiency of a novel lock-free hash trie map design
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 150
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
9
TITLE: On the implementation of memory reclamation methods in a lock-free hash trie design
AUTHORS: Moreno, P ; Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 155
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP | CIÊNCIAVITAE
10
TITLE: Pruning strategies for the efficient traversal of the search space in PILP environments  Full Text
AUTHORS: Corte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2021, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 63, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 1 of 12. Total results: 112.

footer slogan

Useful Links

Get Help

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