Ricardo Rocha

Available identifiers

zbMath Open rocha.ricardoWikidataQ56876139 ScholiaQ56876139MaRDI QIDQ291262

List of research outcomes

Publication	Date of Publication	Type
Parallel Logic Programming: A Sequel	2023-12-12	Paper
On the correctness of a lock-free compression-based elastic mechanism for a hash trie design	2022-09-27	Paper
Zero-adjusted defective regression models for modeling lifetime data	2022-02-24	Paper
Defective models induced by gamma frailty term for survival data with cured fraction	2022-02-23	Paper
Defective regression models for cure rate modeling with interval‐censored data	2020-01-15	Paper
Table space designs for implicit and explicit concurrent tabled evaluation	2018-12-04	Paper
A new class of defective models based on the Marshall-Olkin family of distributions for cure rate modeling	2018-08-14	Paper
Two new defective distributions based on the Marshall-Olkin extension	2016-06-07	Paper
Tabling, Rational Terms, and Coinduction Finally Together!	2014-11-25	Paper
A Linear Logic Programming Language for Concurrent Programming over Graph Structures	2014-11-25	Paper
Towards multi-threaded local tabling using a common table space	2013-03-13	Paper
The YAP Prolog system	2012-06-25	Paper
On combining linear-based strategies for tabled evaluation of logic programs	2011-08-16	Paper
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs	2011-08-16	Paper
On the implementation of the probabilistic logic programming language ProbLog	2011-06-15	Paper
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs	2010-10-01	Paper
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context	2010-10-01	Paper
Threads and or-parallelism unified	2010-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q3602741	2009-02-12	Paper
On the Efficient Execution of ProbLog Programs	2009-01-22	Paper
ILP :- Just Trie It	2008-03-28	Paper
Handling Incomplete and Complete Tables in Tabled Logic Programs	2008-03-11	Paper
An External Module for Implementing Linear Tabling in Prolog	2008-03-11	Paper
Efficient and Scalable Induction of Logic Programs Using a Deductive Database System	2007-11-15	Paper
Logic Programming	2006-06-27	Paper
Logic Programming	2006-06-27	Paper
Logic Programming	2005-08-26	Paper
Euro-Par 2004 Parallel Processing	2005-08-23	Paper
On applying or-parallelism and tabling to logic programs	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4736502	2004-08-09	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ricardo Rocha