Ricardo Rocha

Available identifiers

zbMath Open rocha.ricardoWikidataQ56876139 ScholiaQ56876139MaRDI QIDQ291262

List of research outcomes

Publication	Date of Publication	Type
A new cure rate model with flexible competing causes with applications to melanoma and transplantation data	2024-10-29	Paper
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
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context	2010-10-01	Paper
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs	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

This page was built for person: Ricardo Rocha