Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 110



51
TÍTULO: Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems
AUTORES: Ricardo Rocha ; Christian Theil Have;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1307.8389
INDEXADO EM: DBLP
NO MEU: ORCID
52
TÍTULO: Prolog programming with a map-reduce parallel construct  Full Text
AUTORES: Joana Côrte Real ; Inês de Castro Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: PPDP
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
53
TÍTULO: An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs  Full Text
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2012, FONTE: IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS) in PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID
54
TÍTULO: Mode-Directed Tabling and Applications in the YapTab System
AUTORES: João Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2012, FONTE: SLATE
INDEXADO EM: DBLP
NO MEU: ORCID
55
TÍTULO: On Extending a Linear Tabling Framework to Support Batched Scheduling
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2012, FONTE: SLATE, VOLUME: 21
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
56
TÍTULO: Or-parallel prolog execution on multicores based on stack splitting
AUTORES: Rui Vieira; Ricardo Rocha ; Fernando M A Silva ;
PUBLICAÇÃO: 2012, FONTE: DAMP
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
57
TÍTULO: Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines
AUTORES: Dutra, I ; Rocha, R ; Costa, VS ; Silva, F ; Santos, J ;
PUBLICAÇÃO: 2012, FONTE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
58
TÍTULO: The YAP Prolog system
AUTORES: Costa, VS ; Rocha, R ; Damas, L ;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 71
NO MEU: ORCID
59
TÍTULO: Towards multi-threaded local tabling using a common table space
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID
60
TÍTULO: A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs
AUTORES: Raimundo, J; Rocha, R ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE-BOOK, VOLUME: 7026
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
Página 6 de 11. Total de resultados: 110.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service