| 2024 | EuroPar | On Exploring Safe Memory Reclamation Methods with a Simplified Lock-Free Hash Map Design. | Pedro Moreno, Miguel Areias, Ricardo Rocha |
| 2023 | NOMS | Community Selection for Multivariate KPI Predictions in a 2-Tier System. | Yue Jin, Makram Bouzid, Armen Aghasaryan, Ricardo Rocha |
| 2023 | SPAA | Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs. | Pedro Moreno, Ricardo Rocha |
| 2021 | ISPDC | Towards an Elastic Lock-Free Hash Trie Design. | Miguel Areias, Ricardo Rocha |
| 2020 | EuroPar | A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map. | Pedro Moreno, Miguel Areias, Ricardo Rocha |
| 2019 | SBAC-PAD | Memory Reclamation Methods for Lock-Free Hash Tries. | Pedro Moreno, Miguel Areias, Ricardo Rocha |
| 2018 | ICLP | Improving Candidate Quality of Probabilistic Logic Models. | Joana Crte-Real, Anton Dries, Ins Dutra, Ricardo Rocha |
| 2018 | ISPA | On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys. | Miguel Areias, Ricardo Rocha |
| 2017 | ILP | On Applying Probabilistic Logic Programming to Breast Cancer Data. | Joana Crte-Real, Ins Dutra, Ricardo Rocha |
| 2017 | PADL | Using Iterative Deepening for Probabilistic Logic Inference. | Theofrastos Mantadelis, Ricardo Rocha |
| 2016 | ILP | Estimation-Based Search Space Traversal in PILP Environments. | Joana Crte-Real, Ins Dutra, Ricardo Rocha |
| 2016 | PPoPP | Declarative coordination of graph-based parallel programs. | Flvio Cruz, Ricardo Rocha, Seth Copen Goldstein |
| 2015 | ICLP | Thread-Aware Logic Programming for Data-Driven Parallel Programs. | Flvio Cruz, Ricardo Rocha, Seth Copen Goldstein |
| 2015 | ICMLA | SkILL - A Stochastic Inductive Logic Learner. | Joana Crte-Real, Theofrastos Mantadelis, Ins de Castro Dutra, Ricardo Rocha, Elizabeth S. Burnside |
| 2015 | PADL | On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. | Flvio Cruz, Ricardo Rocha |
| 2014 | PADL | On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs. | Miguel Areias, Ricardo Rocha |
| 2014 | PPDP | Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. | Flvio Cruz, Ricardo Rocha, Seth Copen Goldstein |
| 2013 | PADL | On the Efficient Implementation of Mode-Directed Tabling. | Joo Santos, Ricardo Rocha |
| 2013 | PPDP | Prolog programming with a map-reduce parallel construct. | Joana Crte-Real, Ins de Castro Dutra, Ricardo Rocha |
| 2012 | ICPADS | An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs. | Miguel Areias, Ricardo Rocha |
| 2012 | POPL | Or-parallel prolog execution on multicores based on stack splitting. | Rui Vieira, Ricardo Rocha, Fernando M. A. Silva |
| 2011 | EPIA | A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs. | Joo Raimundo, Ricardo Rocha |
| 2010 | JELIA | Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. | Flvio Cruz, Ricardo Rocha |
| 2010 | JELIA | Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. | Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens |
| 2010 | PADL | An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. | Miguel Areias, Ricardo Rocha |
| 2010 | PADL | Compact Lists for Tabled Evaluation. | Joo Raimundo, Ricardo Rocha |
| 2009 | EPIA | On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs. | Miguel Areias, Ricardo Rocha |
| 2009 | ICLP | A Term-Based Global Trie for Tabled Logic Programs. | Jorge Costa, Joo Raimundo, Ricardo Rocha |
| 2009 | PADL | One Table Fits All. | Jorge Costa, Ricardo Rocha |
| 2009 | PADL | High Level Thread-Based Competitive Or-Parallelism in Logtalk. | Paulo Moura, Ricardo Rocha, Sara C. Madeira |
| 2008 | ICLP | Global Storing Mechanisms for Tabled Evaluation. | Jorge Costa, Ricardo Rocha |
| 2008 | ICLP | On the Efficient Execution of ProbLog Programs. | Angelika Kimmig, Vtor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt |
| 2008 | ICLP | Thread-Based Competitive Or-Parallelism. | Paulo Moura, Ricardo Rocha, Sara C. Madeira |
| 2008 | PADL | An Improved Continuation Call-Based Implementation of Tabling. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo, Cludio Silva, Ricardo Rocha |
| 2007 | HPDC | Experiment Dashboard: the monitoring system for the LHC experiments. | Julia Andreeva, Benjamin Gaidioz, Juha Herrala, Gerhild G. Maier, Ricardo Rocha, Pablo Saiz |
| 2007 | ICLP | On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. | Ricardo Rocha, Cludio Silva, Ricardo Lopes |
| 2007 | ILP | ILP : - Just Trie It. | Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vtor Santos Costa |
| 2007 | PADL | On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. | Ricardo Rocha |
| 2006 | ICLP | Handling Incomplete and Complete Tables in Tabled Logic Programs. | Ricardo Rocha |
| 2006 | ICLP | An External Module for Implementing Linear Tabling in Prolog. | Cludio Silva, Ricardo Rocha, Ricardo Lopes |
| 2006 | ILP | Efficient and Scalable Induction of Logic Programs Using a Deductive Database System. | Michel Ferreira, Nuno A. Fonseca, Ricardo Rocha, Tiago Soares |
| 2006 | PADL | Generic Cut Actions for External Prolog Predicates. | Tiago Soares, Ricardo Rocha, Michel Ferreira |
| 2005 | ICLP | IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. | Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vtor Santos Costa |
| 2005 | ICLP | Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. | Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa |
| 2004 | EuroPar | Concurrent Table Accesses in Parallel Tabled Logic Programs. | Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa |
| 2004 | ICLP | Speculative Computations in Or-Parallel Tabled Logic Programs. | Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa |
| 2004 | JELIA | The MyYapDB Deductive Database System. | Michel Ferreira, Ricardo Rocha |
| 2004 | SAC | Forest trees for on-line data. | Joo Gama, Pedro Medas, Ricardo Rocha |
| 2003 | EPIA | YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters. | Ricardo Rocha, Fernando M. A. Silva, Rolando Martins |
| 2003 | ILP | Efficient Data Structures for Inductive Logic Programming. | Nuno A. Fonseca, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva |
| 2003 | KDD | Accurate decision trees for mining high-speed data streams. | Joo Gama, Ricardo Rocha, Pedro Medas |
| 2001 | ICLP | On a Tabling Engine That Can Exploit Or-Parallelism. | Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa |
| 2000 | EuroPar | Novel Models for Or-Parallel Logic Programs: A Performance Analysis. | Vtor Santos Costa, Ricardo Rocha, Fernando M. A. Silva |
| 1999 | EPIA | YapOr: an Or-Parallel Prolog System Based on Environment Copying. | Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa |
| 1999 | PADL | Or-Parallelism within Tabling. | Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa |