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
52
TÍTULO: Prolog programming with a map-reduce parallel construct
AUTORES: Joana Côrte Real ; Inês de Castro Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: PPDP
INDEXADO EM: Scopus DBLP CrossRef: 5
53
TÍTULO: An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs
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
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
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
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
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
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
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
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
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