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

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

On combining linear-based strategies for tabled evaluation of logic programs. - Miguel Areias 001; 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)

On Extending a Linear Tabling Framework to Support Batched Scheduling. - Miguel Areias 001; 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)

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

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

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

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

Multithreaded Tabling for Logic Programming - Miguel Areias 001 (2015)

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

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)

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)

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

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)

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

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)

On Bridging Prolog and Python to Enhance an Inductive Logic Programming System. - Vítor Manuel de Morais Santos Costa; Miguel Areias 001 (PADL, 2025)