Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 109



1
2
TITLE: Parallel Logic Programming: A Sequel
AUTHORS: AGOSTINO DOVIER; ANDREA FORMISANO; GOPAL GUPTA; MANUEL V HERMENEGILDO; ENRICO PONTELLI; RICARDO ROCHA ;
PUBLISHED: 2022, SOURCE: Theory and Practice of Logic Programming
INDEXED IN: CrossRef
IN MY: ORCID
3
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
INDEXED IN: Scopus WOS
4
TITLE: On the correctness and efficiency of a novel lock-free hash trie map design
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 150
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
5
TITLE: On the implementation of memory reclamation methods in a lock-free hash trie design
AUTHORS: Moreno, P ; Areias, M ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 155
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: Parallel Logic Programming: A Sequel
AUTHORS: Agostino Dovier; Andrea Formisano; Gopal Gupta; Manuel V Hermenegildo; Enrico Pontelli; Ricardo Rocha ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2111.11218
INDEXED IN: DBLP
IN MY: ORCID | DBLP
7
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
IN MY: ORCID | DBLP
8
TITLE: Towards an Elastic Lock-Free Hash Trie Design
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2021, SOURCE: 20th International Symposium on Parallel and Distributed Computing (ISPDC) in 2021 20TH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING (ISPDC)
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map
AUTHORS: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2020, SOURCE: 26th International European Conference on Parallel and Distributed Computing, Euro-Par 2020 in Euro-Par 2020: Parallel Processing - 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedings, VOLUME: 12247
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: A Lock-Free Coalescing-Capable Mechanism for Memory Management
AUTHORS: Ricardo Leite ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 18th ACM SIGPLAN International Symposium on Memory Management (ISMM) in PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT (ISMM '19)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 11. Total results: 109.

footer slogan

Useful Links

Get Help

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