Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines. - Inês de Castro Dutra; Ricardo Rocha 001; Vítor Santos Costa; Fernando M. A. Silva; João Santos 004 (IPDPS Workshops, 2012)

Mode-Directed Tabling and Applications in the YapTab System. - João Santos 004; Ricardo Rocha 001 (SLATE, 2012)

On the Efficient Implementation of Mode-Directed Tabling. - João Santos 004; Ricardo Rocha 001 (PADL, 2013)

Or-Parallel Prolog Execution on Clusters of Multicores. - João Santos 004; Ricardo Rocha 001 (SLATE, 2013)

Efficient Support for Mode-Directed Tabling in the YapTab Tabling System - João Santos 004; Ricardo Rocha 001 (CoRR, 2013)

A team-based scheduling model for interfacing or-parallel prolog engines. - João Santos 004; Ricardo Rocha 001 (Comput. Sci. Inf. Syst., 2014)

On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores. - João Santos 004; Ricardo Rocha 001 (Theory Pract. Log. Program., 2016)

Logic Programming Environments with Advanced Parallelism - João Santos 004 (2016)