default search action
Ricardo Rocha 0001
Ricardo Jorge Gomes Lopes da Rocha
Person information
- affiliation: University of Porto, Portugal
Other persons with the same name
- Ricardo Rocha — disambiguation page
- Ricardo Rocha 0002 (aka: Ricardo Brito Da Rocha) — CERN, Geneva, Switzerland
- Ricardo Rocha 0003 — University of Aveiro, Department of Mathematics, Aveiro, Portugal
- Ricardo Rocha 0004
— University of Lisbon, Centre for Ecology, Evolution and Environmental Changes, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j26]Pedro Moreno, Miguel Areias, Ricardo Rocha, Vítor Santos Costa:
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog. Int. J. Parallel Program. 52(3): 187-206 (2024) - 2023
- [c64]Pedro Moreno
Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs. SPAA 2023: 177-186 - [i20]Pedro Moreno, Ricardo Rocha:
Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs. CoRR abs/2302.06520 (2023) - 2022
- [j25]Miguel Areias
On the correctness of a lock-free compression-based elastic mechanism for a hash trie design. Computing 104(10): 2279-2305 (2022) - [j24]Agostino Dovier
Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. 22(6): 905-973 (2022) - 2021
- [j23]Miguel Areias
On the correctness and efficiency of a novel lock-free hash trie map design. J. Parallel Distributed Comput. 150: 184-195 (2021) - [j22]Pedro Moreno
On the implementation of memory reclamation methods in a lock-free hash trie design. J. Parallel Distributed Comput. 155: 1-13 (2021) - [j21]Joana Côrte-Real, Inês Dutra
Pruning strategies for the efficient traversal of the search space in PILP environments. Knowl. Inf. Syst. 63(12): 3183-3215 (2021) - [c63]Miguel Areias
Towards an Elastic Lock-Free Hash Trie Design. ISPDC 2021: 9-16 - [i19]Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha:
Parallel Logic Programming: A Sequel. CoRR abs/2111.11218 (2021) - 2020
- [c62]Pedro Moreno
A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map. Euro-Par 2020: 458-473
2010 – 2019
- 2019
- [j20]Miguel Areias
Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. Concurr. Comput. Pract. Exp. 31(5) (2019) - [c61]Ricardo Leite, Ricardo Rocha
A lock-free coalescing-capable mechanism for memory management. ISMM 2019: 79-88 - [c60]Pedro Moreno, Miguel Areias
Memory Reclamation Methods for Lock-Free Hash Tries. SBAC-PAD 2019: 188-195 - 2018
- [j19]Miguel Areias
Table space designs for implicit and explicit concurrent tabled evaluation. Theory Pract. Log. Program. 18(5-6): 950-992 (2018) - [c59]Joana Côrte-Real, Anton Dries, Inês Dutra
Improving Candidate Quality of Probabilistic Logic Models. ICLP (Technical Communications) 2018: 6:1-6:14 - [c58]Miguel Areias
On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys. ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018: 415-422 - [c57]Ricardo Leite, Ricardo Rocha
LRMalloc: A Modern and Competitive Lock-Free Dynamic Memory Allocator. VECPAR 2018: 230-243 - [e4]Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei:
Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia. OASIcs 58, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-058-3 [contents] - [i18]Miguel Areias
Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation. CoRR abs/1806.00441 (2018) - 2017
- [j18]Ricardo Gonçalves, Miguel Areias
On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems. Inf. 8(4): 129 (2017) - [j17]Miguel Areias
On scaling dynamic programming problems with a multithreaded tabling Prolog system. J. Syst. Softw. 125: 417-426 (2017) - [j16]Ricardo Rocha
Introduction to the 33rd international conference on logic programming special issue. Theory Pract. Log. Program. 17(5-6): 684-688 (2017) - [c56]Joana Côrte-Real, Inês Dutra
On Applying Probabilistic Logic Programming to Breast Cancer Data. ILP 2017: 31-45 - [c55]Theofrastos Mantadelis
Using Iterative Deepening for Probabilistic Logic Inference. PADL 2017: 198-213 - [c54]Miguel João Gonçalves Areias
Towards a Lock-Free, Fixed Size and Persistent Hash Map Design. SBAC-PAD 2017: 145-152 - [c53]Ricardo Gonçalves, Miguel Areias
Towards an Automated Test Bench Environment for Prolog Systems. SLATE 2017: 2:1-2:13 - 2016
- [j15]Miguel Areias
A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs. Int. J. Parallel Program. 44(3): 386-406 (2016) - [j14]João Santos, Ricardo Rocha
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores. Theory Pract. Log. Program. 16(5-6): 899-915 (2016) - [c52]Joana Côrte-Real, Inês Dutra
Estimation-Based Search Space Traversal in PILP Environments. ILP 2016: 1-13 - [c51]Flávio Cruz, Ricardo Rocha
Declarative coordination of graph-based parallel programs. PPoPP 2016: 4:1-4:12 - [i17]João Santos, Ricardo Rocha:
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores. CoRR abs/1608.01499 (2016) - 2015
- [c50]Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein:
Thread-Aware Logic Programming for Data-Driven Parallel Programs. ICLP (Technical Communications) 2015 - [c49]Joana Côrte-Real, Theofrastos Mantadelis
SkILL - A Stochastic Inductive Logic Learner. ICMLA 2015: 555-558 - [c48]Flávio Cruz, Ricardo Rocha
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. PADL 2015: 34-49 - [c47]Miguel Areias
Batched Evaluation of Full-Sharing Multithreaded Tabling. SLATE 2015: 113-124 - [i16]Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha:
SkILL - a Stochastic Inductive Logic Learner. CoRR abs/1506.00893 (2015) - 2014
- [j13]João Santos, Ricardo Rocha
A team-based scheduling model for interfacing or-parallel prolog engines. Comput. Sci. Inf. Syst. 11(4): 1435-1454 (2014) - [j12]Theofrastos Mantadelis
Tabling, Rational Terms, and Coinduction Finally Together! Theory Pract. Log. Program. 14(4-5): 429-443 (2014) - [j11]Flávio Cruz, Ricardo Rocha
A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Theory Pract. Log. Program. 14(4-5): 493-507 (2014) - [c46]Joana Côrte-Real, Inês de Castro Dutra
A hybrid mapreduce model for prolog. ISIC 2014: 340-343 - [c45]Miguel Areias
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs. PADL 2014: 168-183 - [c44]Flávio Cruz, Ricardo Rocha
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. PPDP 2014: 43-54 - [e3]Michael Hanus
Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8439, Springer 2014, ISBN 978-3-319-08908-9 [contents] - [i15]Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura:
Tabling, Rational Terms, and Coinduction Finally Together! CoRR abs/1405.2794 (2014) - [i14]Miguel Areias
A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling. CoRR abs/1405.2850 (2014) - [i13]Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning:
A Linear Logic Programming Language for Concurrent Programming over Graph Structures. CoRR abs/1405.3556 (2014) - 2013
- [j10]Miguel Areias
Batched evaluation of linear tabled logic programs. Comput. Sci. Inf. Syst. 10(4): 1775-1797 (2013) - [c43]João Santos, Ricardo Rocha
On the Efficient Implementation of Mode-Directed Tabling. PADL 2013: 141-156 - [c42]Joana Côrte-Real, Inês de Castro Dutra
Prolog programming with a map-reduce parallel construct. PPDP 2013: 285-296 - [c41]João Santos, Ricardo Rocha
Or-Parallel Prolog Execution on Clusters of Multicores. SLATE 2013: 9-20 - [e2]José Paulo Leal, Ricardo Rocha, Alberto Simões:
2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal. OASIcs 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-52-1 [contents] - [i12]João Santos, Ricardo Rocha
Efficient Support for Mode-Directed Tabling in the YapTab Tabling System. CoRR abs/1301.7680 (2013) - [i11]Rui Vieira, Ricardo Rocha
On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores. CoRR abs/1301.7690 (2013) - [i10]Ricardo Rocha
Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems. CoRR abs/1307.8389 (2013) - 2012
- [j9]Vítor Santos Costa
The YAP Prolog system. Theory Pract. Log. Program. 12(1-2): 5-34 (2012) - [j8]Miguel Areias
Towards multi-threaded local tabling using a common table space. Theory Pract. Log. Program. 12(4-5): 427-443 (2012) - [c40]Miguel Areias
An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs. ICPADS 2012: 636-643 - [c39]Inês de Castro Dutra
Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines. IPDPS Workshops 2012: 1581-1590 - [c38]Rui Vieira, Ricardo Rocha
Or-parallel prolog execution on multicores based on stack splitting. DAMP 2012: 1-10 - [c37]Miguel Areias
On Extending a Linear Tabling Framework to Support Batched Scheduling. SLATE 2012: 9-24 - [c36]João Santos, Ricardo Rocha
Mode-Directed Tabling and Applications in the YapTab System. SLATE 2012: 25-40 - [i9]Miguel Areias, Ricardo Rocha:
Towards Multi-Threaded Local Tabling Using a Common Table Space. CoRR abs/1210.2282 (2012) - 2011
- [j7]Angelika Kimmig, Bart Demoen, Luc De Raedt
On the implementation of the probabilistic logic programming language ProbLog. Theory Pract. Log. Program. 11(2-3): 235-262 (2011) - [j6]Miguel Areias
On combining linear-based strategies for tabled evaluation of logic programs. Theory Pract. Log. Program. 11(4-5): 681-696 (2011) - [j5]Flávio Cruz, Ricardo Rocha
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs. Theory Pract. Log. Program. 11(4-5): 697-712 (2011) - [c35]João Raimundo, Ricardo Rocha
A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs. EPIA 2011: 239-253 - [e1]Ricardo Rocha
Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings. Lecture Notes in Computer Science 6539, Springer 2011, ISBN 978-3-642-18377-5 [contents] - [i8]Vítor Santos Costa, Luís Damas, Ricardo Rocha:
The YAP Prolog System. CoRR abs/1102.3896 (2011) - [i7]Miguel Areias, Ricardo Rocha:
On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs. CoRR abs/1107.5030 (2011) - [i6]Flávio Cruz, Ricardo Rocha:
Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs. CoRR abs/1107.5556 (2011) - [i5]Flávio Cruz, Ricardo Rocha
Single Time-Stamped Tries for Retroactive Call Subsumption. CoRR abs/1112.3779 (2011) - [i4]João Raimundo, Ricardo Rocha
Global Trie for Subterms. CoRR abs/1112.3780 (2011) - 2010
- [j4]Vítor Santos Costa
Threads and or-parallelism unified. Theory Pract. Log. Program. 10(4-6): 417-432 (2010) - [c34]Flávio Cruz, Ricardo Rocha
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. JELIA 2010: 130-142 - [c33]Theofrastos Mantadelis
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. JELIA 2010: 260-272 - [c32]João Raimundo, Ricardo Rocha
Compact Lists for Tabled Evaluation. PADL 2010: 249-263 - [c31]Miguel Areias
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. PADL 2010: 279-293 - [i3]Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha:
On the Implementation of the Probabilistic Logic Programming Language ProbLog. CoRR abs/1006.4442 (2010) - [i2]Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha:
Threads and Or-Parallelism Unified. CoRR abs/1007.4438 (2010)
2000 – 2009
- 2009
- [j3]Nuno A. Fonseca
Improving the efficiency of inductive logic programming systems. Softw. Pract. Exp. 39(2): 189-219 (2009) - [c30]Miguel Areias
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs. EPIA 2009: 113-125 - [c29]Jorge Costa, João Raimundo, Ricardo Rocha
A Term-Based Global Trie for Tabled Logic Programs. ICLP 2009: 205-219 - [c28]Paulo Moura
High Level Thread-Based Competitive Or-Parallelism in Logtalk. PADL 2009: 107-121 - [c27]Jorge Costa, Ricardo Rocha
One Table Fits All. PADL 2009: 195-208 - 2008
- [j2]Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, Vítor Santos Costa:
Compile the Hypothesis Space: Do it Once, Use it Often. Fundam. Informaticae 89(1): 45-67 (2008) - [c26]Angelika Kimmig, Vítor Santos Costa
On the Efficient Execution of ProbLog Programs. ICLP 2008: 175-189 - [c25]Jorge Costa, Ricardo Rocha
Global Storing Mechanisms for Tabled Evaluation. ICLP 2008: 708-712 - [c24]Paulo Moura
Thread-Based Competitive Or-Parallelism. ICLP 2008: 713-717 - [c23]Pablo Chico de Guzmán, Manuel Carro
An Improved Continuation Call-Based Implementation of Tabling. PADL 2008: 197-213 - 2007
- [c22]Ricardo Rocha
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. ICLP 2007: 444-445 - [c21]Rui Camacho
ILP : - Just Trie It. ILP 2007: 78-87 - [c20]Ricardo Rocha:
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. PADL 2007: 155-169 - [c19]Pedro Costa
Relational Models for Tabling Logic Programs in a Database. INAP/WLP 2007: 99-116 - 2006
- [c18]Ricardo Rocha
Handling Incomplete and Complete Tables in Tabled Logic Programs. ICLP 2006: 427-428 - [c17]Cláudio Silva, Ricardo Rocha
An External Module for Implementing Linear Tabling in Prolog. ICLP 2006: 429-430 - [c16]Michel Ferreira, Nuno A. Fonseca
Efficient and Scalable Induction of Logic Programs Using a Deductive Database System. ILP 2006: 184-198 - [c15]Tiago Soares, Ricardo Rocha
Generic Cut Actions for External Prolog Predicates. PADL 2006: 16-30 - 2005
- [j1]Ricardo Rocha
On Applying Or-Parallelism and Tabling to Logic Programs. Theory Pract. Log. Program. 5(1-2): 161-205 (2005) - [c14]Ricardo Rocha
On Applying Tabling to Inductive Logic Programming. ECML 2005: 707-714 - [c13]Michel Ferreira, Ricardo Rocha:
Coupling OPTYAP with a database system. IADIS AC 2005: 107-114 - [c12]Ricardo Rocha
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. ICLP 2005: 250-264 - [c11]Ricardo Rocha
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. ICLP 2005: 416-417 - 2004
- [c10]Ricardo Rocha
Concurrent Table Accesses in Parallel Tabled Logic Programs. Euro-Par 2004: 662-670 - [c9]Ricardo Rocha
Speculative Computations in Or-Parallel Tabled Logic Programs. ICLP 2004: 254-268 - [c8]Michel Ferreira, Ricardo Rocha
The MyYapDB Deductive Database System. JELIA 2004: 710-713 - 2003
- [c7]Ricardo Rocha
YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters. EPIA 2003: 136-150 - [c6]Nuno A. Fonseca
Efficient Data Structures for Inductive Logic Programming. ILP 2003: 130-145 - [i1]Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
On Applying Or-Parallelism and Tabling to Logic Programs. CoRR cs.LO/0308007 (2003) - 2002
- [c5]Ricardo Rocha
Achieving Scalability in Parallel Tabled Logic Programs. IPDPS 2002 - 2001
- [c4]Ricardo Rocha
On a Tabling Engine That Can Exploit Or-Parallelism. ICLP 2001: 43-58 - 2000
- [c3]Vítor Santos Costa
Novel Models for Or-Parallel Logic Programs: A Performance Analysis. Euro-Par 2000: 744-753
1990 – 1999
- 1999
- [c2]Ricardo Rocha
YapOr: an Or-Parallel Prolog System Based on Environment Copying. EPIA 1999: 178-192 - [c1]Ricardo Rocha
Or-Parallelism within Tabling. PADL 1999: 137-151
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 19:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: