Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 110



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

footer slogan

Useful Links

Get Help

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