YapOr: an Or-Parallel Prolog System Based on Environment Copying. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (EPIA, 1999)

Or-Parallelism within Tabling. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (PADL, 1999)

Novel Models for Or-Parallel Logic Programs: A Performance Analysis. - Vítor Santos Costa; Ricardo Rocha 001; Fernando M. A. Silva (Euro-Par, 2000)

On a Tabling Engine That Can Exploit Or-Parallelism. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (ICLP, 2001)

Achieving Scalability in Parallel Tabled Logic Programs. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (IPDPS, 2002)

YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters. - Ricardo Rocha 001; Fernando M. A. Silva; Rolando Martins (EPIA, 2003)

Efficient Data Structures for Inductive Logic Programming. - Nuno A. Fonseca; Ricardo Rocha 001; Rui Camacho; Fernando M. A. Silva (ILP, 2003)

Concurrent Table Accesses in Parallel Tabled Logic Programs. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (Euro-Par, 2004)

Speculative Computations in Or-Parallel Tabled Logic Programs. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (ICLP, 2004)

The MyYapDB Deductive Database System. - Michel Ferreira; Ricardo Rocha 001 (JELIA, 2004)

On Applying Tabling to Inductive Logic Programming. - Ricardo Rocha 001; Nuno A. Fonseca; Vítor Santos Costa (ECML, 2005)

Coupling OPTYAP with a database system. - Michel Ferreira; Ricardo Rocha 001 (IADIS AC, 2005)

IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. - Ricardo Rocha 001; Ricardo Lopes; Fernando M. A. Silva; Vítor Santos Costa (ICLP, 2005)

Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (ICLP, 2005)

On Applying Or-Parallelism and Tabling to Logic Programs. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (Theory Pract. Log. Program., 2005)

Handling Incomplete and Complete Tables in Tabled Logic Programs. - Ricardo Rocha 001 (ICLP, 2006)

An External Module for Implementing Linear Tabling in Prolog. - Cláudio Silva 001; Ricardo Rocha 001; Ricardo Lopes (ICLP, 2006)

Efficient and Scalable Induction of Logic Programs Using a Deductive Database System. - Michel Ferreira; Nuno A. Fonseca; Ricardo Rocha 001; Tiago Soares (ILP, 2006)

Generic Cut Actions for External Prolog Predicates. - Tiago Soares; Ricardo Rocha 001; Michel Ferreira (PADL, 2006)

On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. - Ricardo Rocha 001; Cláudio Silva 001; Ricardo Lopes (ICLP, 2007)

ILP : - Just Trie It. - Rui Camacho; Nuno A. Fonseca; Ricardo Rocha 001; Vítor Santos Costa (ILP, 2007)

On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. - Ricardo Rocha 001 (PADL, 2007)

Relational Models for Tabling Logic Programs in a Database. - Pedro Costa 004; Ricardo Rocha 001; Michel Ferreira (INAP/WLP, 2007)

Global Storing Mechanisms for Tabled Evaluation. - Jorge Costa; Ricardo Rocha 001 (ICLP, 2008)

On the Efficient Execution of ProbLog Programs. - Angelika Kimmig; Vítor Santos Costa; Ricardo Rocha 001; Bart Demoen; Luc De Raedt (ICLP, 2008)

Thread-Based Competitive Or-Parallelism. - Paulo Moura; Ricardo Rocha 001; Sara C. Madeira (ICLP, 2008)

An Improved Continuation Call-Based Implementation of Tabling. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo; Cláudio Silva 001; Ricardo Rocha 001 (PADL, 2008)

Compile the Hypothesis Space: Do it Once, Use it Often. - Nuno A. Fonseca; Rui Camacho; Ricardo Rocha 001; Vítor Santos Costa (Fundam. Informaticae, 2008)

On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs. - Miguel Areias 001; Ricardo Rocha 001 (EPIA, 2009)

A Term-Based Global Trie for Tabled Logic Programs. - Jorge Costa; João Raimundo; Ricardo Rocha 001 (ICLP, 2009)

One Table Fits All. - Jorge Costa; Ricardo Rocha 001 (PADL, 2009)

High Level Thread-Based Competitive Or-Parallelism in Logtalk. - Paulo Moura; Ricardo Rocha 001; Sara C. Madeira (PADL, 2009)

Improving the efficiency of inductive logic programming systems. - Nuno A. Fonseca; Vítor Santos Costa; Ricardo Rocha 001; Rui Camacho; Fernando M. A. Silva (Softw. Pract. Exp., 2009)

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. - Flávio Cruz; Ricardo Rocha 001 (JELIA, 2010)

Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. - Theofrastos Mantadelis; Ricardo Rocha 001; Angelika Kimmig; Gerda Janssens (JELIA, 2010)

An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. - Miguel Areias 001; Ricardo Rocha 001 (PADL, 2010)

Compact Lists for Tabled Evaluation. - João Raimundo; Ricardo Rocha 001 (PADL, 2010)

Threads and or-parallelism unified. - Vítor Santos Costa; Inês de Castro Dutra; Ricardo Rocha 001 (Theory Pract. Log. Program., 2010)

A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs. - João Raimundo; Ricardo Rocha 001 (EPIA, 2011)

Single Time-Stamped Tries for Retroactive Call Subsumption - Flávio Cruz; Ricardo Rocha 001 (CoRR, 2011)

Global Trie for Subterms - João Raimundo; Ricardo Rocha 001 (CoRR, 2011)

On combining linear-based strategies for tabled evaluation of logic programs. - Miguel Areias 001; Ricardo Rocha 001 (Theory Pract. Log. Program., 2011)

Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs. - Flávio Cruz; Ricardo Rocha 001 (Theory Pract. Log. Program., 2011)

On the implementation of the probabilistic logic programming language ProbLog. - Angelika Kimmig; Bart Demoen; Luc De Raedt; Vítor Santos Costa; Ricardo Rocha 001 (Theory Pract. Log. Program., 2011)

An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs. - Miguel Areias 001; Ricardo Rocha 001 (ICPADS, 2012)

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)

Or-parallel prolog execution on multicores based on stack splitting. - Rui Vieira; Ricardo Rocha 001; Fernando M. A. Silva (DAMP, 2012)

On Extending a Linear Tabling Framework to Support Batched Scheduling. - Miguel Areias 001; Ricardo Rocha 001 (SLATE, 2012)

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

Towards multi-threaded local tabling using a common table space. - Miguel Areias 001; Ricardo Rocha 001 (Theory Pract. Log. Program., 2012)

The YAP Prolog system. - Vítor Santos Costa; Ricardo Rocha 001; Luís Damas (Theory Pract. Log. Program., 2012)

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

Prolog programming with a map-reduce parallel construct. - Joana Côrte-Real; Inês de Castro Dutra; Ricardo Rocha 001 (PPDP, 2013)

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

Batched evaluation of linear tabled logic programs. - Miguel Areias 001; Ricardo Rocha 001 (Comput. Sci. Inf. Syst., 2013)

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems. - Ricardo Rocha 001; Christian Theil Have (CoRR, 2013)

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

On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores - Rui Vieira; Ricardo Rocha 001; Fernando M. A. Silva (CoRR, 2013)

A hybrid mapreduce model for prolog. - Joana Côrte-Real; Inês de Castro Dutra; Ricardo Rocha 001 (ISIC, 2014)

On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs. - Miguel Areias 001; Ricardo Rocha 001 (PADL, 2014)

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. - Flávio Cruz; Ricardo Rocha 001; Seth Copen Goldstein (PPDP, 2014)

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

A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling. - Miguel Areias 001; Ricardo Rocha 001 (CoRR, 2014)

A Linear Logic Programming Language for Concurrent Programming over Graph Structures. - Flávio Cruz; Ricardo Rocha 001; Seth Copen Goldstein; Frank Pfenning (Theory Pract. Log. Program., 2014)

Tabling, Rational Terms, and Coinduction Finally Together! - Theofrastos Mantadelis; Ricardo Rocha 001; Paulo Moura (Theory Pract. Log. Program., 2014)

Thread-Aware Logic Programming for Data-Driven Parallel Programs. - Flávio Cruz; Ricardo Rocha 001; Seth Copen Goldstein (ICLP (Technical Communications), 2015)

SkILL - A Stochastic Inductive Logic Learner. - Joana Côrte-Real; Theofrastos Mantadelis; Inês de Castro Dutra; Ricardo Rocha 001; Elizabeth S. Burnside (ICMLA, 2015)

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. - Flávio Cruz; Ricardo Rocha 001 (PADL, 2015)

Batched Evaluation of Full-Sharing Multithreaded Tabling. - Miguel Areias 001; Ricardo Rocha 001 (SLATE, 2015)

SkILL - a Stochastic Inductive Logic Learner. - Joana Côrte-Real; Theofrastos Mantadelis; Inês de Castro Dutra; Ricardo Rocha 001 (CoRR, 2015)

Estimation-Based Search Space Traversal in PILP Environments. - Joana Côrte-Real; Inês Dutra; Ricardo Rocha 001 (ILP, 2016)

Declarative coordination of graph-based parallel programs. - Flávio Cruz; Ricardo Rocha 001; Seth Copen Goldstein (PPoPP, 2016)

A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs. - Miguel Areias 001; Ricardo Rocha 001 (Int. J. Parallel Program., 2016)

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)

On Applying Probabilistic Logic Programming to Breast Cancer Data. - Joana Côrte-Real; Inês Dutra; Ricardo Rocha 001 (ILP, 2017)

Using Iterative Deepening for Probabilistic Logic Inference. - Theofrastos Mantadelis; Ricardo Rocha 001 (PADL, 2017)

Towards a Lock-Free, Fixed Size and Persistent Hash Map Design. - Miguel João Gonçalves Areias; Ricardo Jorge Gomes Lopes da Rocha (SBAC-PAD, 2017)

Towards an Automated Test Bench Environment for Prolog Systems. - Ricardo Gonçalves; Miguel Areias 001; Ricardo Rocha 001 (SLATE, 2017)

On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems. - Ricardo Gonçalves; Miguel Areias 001; Ricardo Rocha 001 (Inf., 2017)

On scaling dynamic programming problems with a multithreaded tabling Prolog system. - Miguel Areias 001; Ricardo Rocha 001 (J. Syst. Softw., 2017)

Introduction to the 33rd international conference on logic programming special issue. - Ricardo Rocha 001; Tran Cao Son (Theory Pract. Log. Program., 2017)

Improving Candidate Quality of Probabilistic Logic Models. - Joana Côrte-Real; Anton Dries; Inês Dutra; Ricardo Rocha 001 (ICLP (Technical Communications), 2018)

On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys. - Miguel Areias 001; Ricardo Rocha 001 (ISPA/IUCC/BDCloud/SocialCom/SustainCom, 2018)

LRMalloc: A Modern and Competitive Lock-Free Dynamic Memory Allocator. - Ricardo Leite; Ricardo Rocha 001 (VECPAR, 2018)

Table space designs for implicit and explicit concurrent tabled evaluation. - Miguel Areias 001; Ricardo Rocha 001 (Theory Pract. Log. Program., 2018)

A lock-free coalescing-capable mechanism for memory management. - Ricardo Leite; Ricardo Rocha 001 (ISMM, 2019)

Memory Reclamation Methods for Lock-Free Hash Tries. - Pedro Moreno; Miguel Areias 001; Ricardo Rocha 001 (SBAC-PAD, 2019)

Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. - Miguel Areias 001; Ricardo Rocha 001 (Concurr. Comput. Pract. Exp., 2019)

A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map. - Pedro Moreno; Miguel Areias 001; Ricardo Rocha 001 (Euro-Par, 2020)

Towards an Elastic Lock-Free Hash Trie Design. - Miguel Areias 001; Ricardo Rocha 001 (ISPDC, 2021)

On the correctness and efficiency of a novel lock-free hash trie map design. - Miguel Areias 001; Ricardo Rocha 001 (J. Parallel Distributed Comput., 2021)

On the implementation of memory reclamation methods in a lock-free hash trie design. - Pedro Moreno; Miguel Areias 001; Ricardo Rocha 001 (J. Parallel Distributed Comput., 2021)

Pruning strategies for the efficient traversal of the search space in PILP environments. - Joana Côrte-Real; Inês Dutra; Ricardo Rocha 001 (Knowl. Inf. Syst., 2021)

On the correctness of a lock-free compression-based elastic mechanism for a hash trie design. - Miguel Areias 001; Ricardo Rocha 001 (Computing, 2022)

Parallel Logic Programming: A Sequel. - Agostino Dovier; Andrea Formisano 001; Gopal Gupta 001; Manuel V. Hermenegildo; Enrico Pontelli; Ricardo Rocha 001 (Theory Pract. Log. Program., 2022)

Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs. - Pedro Moreno; Ricardo Rocha 001 (SPAA, 2023)

On Exploring Safe Memory Reclamation Methods with a Simplified Lock-Free Hash Map Design. - Pedro Moreno; Miguel Areias 001; Ricardo Rocha 001 (Euro-Par Workshops (2), 2024)

Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog. - Pedro Moreno; Miguel Areias 001; Ricardo Rocha 001; Vítor Santos Costa (Int. J. Parallel Program., 2024)