Publications in Journals

2024

Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog
Pedro Moreno, Miguel Areias, Ricardo Rocha and Vítor Santos Costa. International Journal of Parallel Programming, Springer. 2024.

2022

On the Correctness of a Lock-Free Compression-based Elastic Mechanism for a Hash Trie Design
Miguel Areias and Ricardo Rocha. Computing, Springer, pages 1-27. 2022.

Parallel Logic Programming: A Sequel
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli and Ricardo Rocha. Journal of Theory and Practice of Logic Programming, Cambridge University Press, volume 22 (6), pages 905 - 973. November 2022 (First online: March 2022).

2021

Pruning Strategies for the Efficient Traversal of the Search Space in PILP Environments
Joana Côrte-Real, Inês Dutra and Ricardo Rocha. Journal of Knowledge and Information Systems, Springer, volume 63, pages 3183-3215. November 2021.

On the Implementation of Memory Reclamation Methods in a Lock-Free Hash Trie Design
Pedro Moreno, Miguel Areias and Ricardo Rocha. Journal of Parallel and Distributed Computing, Elsevier, volume 155, pages 1-13. September 2021 (First online: May 2021).

On the Correctness and Efficiency of a Novel Lock-Free Hash Trie Map Design
Miguel Areias and Ricardo Rocha. Journal of Parallel and Distributed Computing, Elsevier, volume 150, pages 184-195. April 2021 (First online: January 2021).

2018

Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation
Miguel Areias and Ricardo Rocha. Journal of Theory and Practice of Logic Programming, Cambridge University Press, volume 18 (5&6), pages 950-992. September 2018 (First online: July 2018).

Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog
Miguel Areias and Ricardo Rocha. Concurrency and Computation: Practice and Experience, Special Issue: High-level parallel programming in a heterogeneous world, Wiley, volume 31(5), pages 1-14. March 2018.

2017

On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems
Ricardo Gonçalves, Miguel Areias and Ricardo Rocha. Information, MDPI, volume 8 (4), 129, pages 1-17. October 2017.

2016

On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
João Santos and Ricardo Rocha. Journal of Theory and Practice of Logic Programming, 32nd International Conference on Logic Programming (ICLP 2016), Special Issue, Cambridge University Press, volume 16 (5&6), pages 899-915. New York City, New York, USA, October 2016.

On Scaling Dynamic Programming Problems with a Multithreaded Tabling Prolog System
Miguel Areias and Ricardo Rocha. Journal of Systems and Software, Elsevier, volume 125, pages 417-426. 2017 (First online: June 2016).

2015

A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
Miguel Areias and Ricardo Rocha. International Journal of Parallel Programming, Springer, volume 44 (3), pages 386-406. June 2016 (First online: January 2015).

2014

A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines
João Santos and Ricardo Rocha. Journal of Computer Science and Information Systems, volume 11 (4), pages 1435–1454. October 2014.

Tabling, Rational Terms, and Coinduction Finally Together!
Theofrastos Mantadelis, Ricardo Rocha and Paulo Moura. Journal of Theory and Practice of Logic Programming, 30th International Conference on Logic Programming (ICLP 2014), Special Issue, Cambridge University Press, volume 14 (4&5), pages 429-443. Vienna, Austria, July 2014.

A Linear Logic Programming Language for Concurrent Programming over Graph Structures
Best Paper Award. Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein and Frank Pfenning. Journal of Theory and Practice of Logic Programming, 30th International Conference on Logic Programming (ICLP 2014), Special Issue, Cambridge University Press, volume 14 (4&5), pages 493-507. Vienna, Austria, July 2014.

2013

Batched Evaluation of Linear Tabled Logic Programs
Miguel Areias and Ricardo Rocha. Journal of Computer Science and Information Systems, Special Issue on Advances in Model Driven Engineering, Languages and Agents, volume 10 (4), pages 1775-1797. October 2013.

2012

Towards Multi-Threaded Local Tabling Using a Common Table Space
Miguel Areias and Ricardo Rocha. Journal of Theory and Practice of Logic Programming, 28th International Conference on Logic Programming (ICLP 2012), Special Issue, Cambridge University Press, volume 12 (4&5), pages 427-443. Budapest, Hungary, September 2012.

The YAP Prolog System
Vítor Santos Costa, Ricardo Rocha and Luís Damas. Journal of Theory and Practice of Logic Programming, Cambridge University Press, volume 12 (1&2), pages 5-34. 2012.

2011

On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs
Miguel Areias and Ricardo Rocha. Journal of Theory and Practice of Logic Programming, 27th International Conference on Logic Programming (ICLP 2011), Special Issue, Cambridge University Press, volume 11 (4&5), pages 681-696. Lexington, Kentucky, USA, July 2011.

Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs
Flávio Cruz and Ricardo Rocha. Journal of Theory and Practice of Logic Programming, 27th International Conference on Logic Programming (ICLP 2011), Special Issue, Cambridge University Press, volume 11 (4&5), pages 697-712. Lexington, Kentucky, USA, July 2011.

On the Implementation of the Probabilistic Logic Programming Language ProbLog
Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa and Ricardo Rocha. Journal of Theory and Practice of Logic Programming, Cambridge University Press, volume 11 (2&3), pages 235-262. 2011.

2010

Threads and Or-Parallelism Unified
Vítor Santos Costa, Inês Dutra and Ricardo Rocha. Journal of Theory and Practice of Logic Programming, 26th International Conference on Logic Programming (ICLP 2010), Special Issue, Cambridge University Press, volume 10 (4&6), pages 417-432. Edinburgh, Scotland, July 2010.

2009

The Diversity Present in 5140 Human Mitochondrial Genomes
Luísa Pereira, Fernando Freitas, Verónica Fernandes, Joana B. Pereira, Marta D. Costa, Stephanie Costa, Valdemar Máximo, Vincent Macaulay, Ricardo Rocha and David C. Samuels. The American Journal of Human Genetics, Cell Press, volume 84 (5), pages 628-640. 2009.

mtDNA GeneExtractor: A computer tool for mtDNA gene/region information extraction
Fernando Freitas, Sandra Oliveira, Ricardo Rocha and Luísa Pereira. Mitochondrion Journal, Elsevier, volume 9 (1), pages 36-40. 2009.

Improving the Efficiency of Inductive Logic Programming Systems
Nuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha, Rui Camacho and Fernando Silva. Software: Practice and Experience, Wiley, volume 39 (2), pages 189-219. 2009.

2008

Compile the hypothesis space: do it once, use it often
Nuno A. Fonseca, Rui Camacho, Ricardo Rocha and Vítor Santos Costa. Fundamenta Informaticae, IOS Press, volume 89 (1), pages 45-67. 2008.

2006

RepeatAround: A software tool for finding and visualizing repeats in circular genomes and its application to a human mtDNA database
Ana Goios, José Meirinhos, Ricardo Rocha, Ricardo Lopes, António Amorim and Luísa Pereira. Mitochondrion Journal, Elsevier, volume 6 (4), pages 218-224. 2006.

2005

On Applying Or-Parallelism and Tabling to Logic Programs
Ricardo Rocha, Fernando Silva and Vítor Santos Costa. Journal of Theory and Practice of Logic Programming, Cambridge University Press, volume 5 (1&2), pages 161-205. 2005.