Publications in Journals
2024
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in PrologPedro Moreno, Miguel Areias, Ricardo Rocha and Vítor Santos Costa. International Journal of Parallel Programming, Springer. 2024 (First online: March 2024).
2022
On the Correctness of a Lock-Free Compression-based Elastic Mechanism for a Hash Trie DesignMiguel 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 EnvironmentsJoana 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 EvaluationMiguel 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 SystemsRicardo 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 MulticoresJoã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 ProgramsMiguel 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 EnginesJoã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 ProgramsMiguel 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 SpaceMiguel 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 ProgramsMiguel 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 UnifiedVí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 GenomesLuí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 oftenNuno 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 databaseAna 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 ProgramsRicardo 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.