BibSLEIGH — Ricardo

Travelled to:

1 × Ireland
1 × Portugal
1 × United Kingdom
2 × Cyprus
2 × France
2 × Italy
3 × Spain
9 × USA

Collaborated with:

V.S.Costa M.Areias F.Cruz F.M.A.Silva J.Costa P.Moura ∅ R.Lopes S.C.Goldstein C.Silva J.Raimundo I.d.C.Dutra S.C.Madeira J.Gama P.Medas J.Santos T.Mantadelis J.Côrte-Real T.Soares M.Ferreira F.Pfenning A.Kimmig B.Demoen L.D.Raedt P.C.d.Guzmán M.Carro M.V.Hermenegildo

Talks about:

tabl (24) program (16) logic (11) parallel (8) base (7) implement (6) linear (6) effici (6) evalu (6) thread (5)

Person: Ricardo Rocha

DBLP: Rocha:Ricardo

Facilitated 1 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2001

1999

Wrote 33 papers:

ICLP-2015-CruzRG #data-driven #logic programming #parallel #source code #thread: Thread-Aware Logic Programming for Data-Driven Parallel Programs (FC, RR, SCG), pp. 191–203.
PADL-2015-CruzR #compilation #linear #logic programming #on the #source code: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities (FC, RR), pp. 34–49.
ICLP-J-2014-CruzRGP #concurrent #graph #linear #logic programming #programming language: A Linear Logic Programming Language for Concurrent Programming over Graph Structures (FC, RR, SCG, FP), pp. 493–507.
ICLP-J-2014-MantadelisRM #exclamation #induction: Tabling, Rational Terms, and Coinduction Finally Together! (TM, RR, PM), pp. 429–443.
PADL-2014-AreiasR #correctness #logic programming #on the #performance #source code: On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs (MA, RR), pp. 168–183.
PPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #thread #virtual machine: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.
PADL-2013-0004R #implementation #on the #performance: On the Efficient Implementation of Mode-Directed Tabling (JS, RR), pp. 141–156.
PPDP-2013-Corte-RealDR #parallel #programming #prolog: Prolog programming with a map-reduce parallel construct (JCR, IdCD, RR), pp. 285–296.
ICLP-J-2012-AreiasR #concurrent #multi #thread #towards #using: Towards multi-threaded local tabling using a common table space (MA, RR), pp. 427–443.
ICLP-J-2011-AreiasR #evaluation #logic programming #on the #source code: On combining linear-based strategies for tabled evaluation of logic programs (MA, RR), pp. 681–696.
ICLP-J-2011-CruzR #evaluation #logic programming #performance #retrieval #source code: Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (FC, RR), pp. 697–712.
ICLP-J-2010-CostaDR #thread: Threads and or-parallelism unified (VSC, IdCD, RR), pp. 417–432.
PADL-2010-AreiasR #implementation #linear #order #performance: An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives (MA, RR), pp. 279–293.
PADL-2010-RaimundoR #evaluation: Compact Lists for Tabled Evaluation (JR, RR), pp. 249–263.
ICLP-2009-CostaRR #logic programming #source code: A Term-Based Global Trie for Tabled Logic Programs (JC, JR, RR), pp. 205–219.
PADL-2009-CostaR: One Table Fits All (JC, RR), pp. 195–208.
PADL-2009-MouraRM #thread: High Level Thread-Based Competitive Or-Parallelism in Logtalk (PM, RR, SCM), pp. 107–121.
ICLP-2008-CostaR #evaluation: Global Storing Mechanisms for Tabled Evaluation (JC, RR), pp. 708–712.
ICLP-2008-KimmigCRDR #execution #on the #performance #source code: On the Efficient Execution of ProbLog Programs (AK, VSC, RR, BD, LDR), pp. 175–189.
ICLP-2008-MouraRM #thread: Thread-Based Competitive Or-Parallelism (PM, RR, SCM), pp. 713–717.
PADL-2008-GuzmanCHSR #continuation #implementation: An Improved Continuation Call-Based Implementation of Tabling (PCdG, MC, MVH, CS, RR), pp. 197–213.
ICLP-2007-RochaSL #on the #program transformation #prolog: On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog (RR, CS, RL), pp. 444–445.
PADL-2007-Rocha #evaluation #on the #performance #robust: On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation (RR), pp. 155–169.
ICLP-2006-Rocha #logic programming #source code: Handling Incomplete and Complete Tables in Tabled Logic Programs (RR), pp. 427–428.
ICLP-2006-SilvaRL #implementation #linear #prolog: An External Module for Implementing Linear Tabling in Prolog (CS, RR, RL), pp. 429–430.
PADL-2006-SoaresRF #prolog: Generic Cut Actions for External Prolog Predicates (TS, RR, MF), pp. 16–30.
ICLP-2005-RochaLSC #modelling #named #prolog: IMPACT: Innovative Models for Prolog with Advanced Control and Tabling (RR, RL, FMAS, VSC), pp. 416–417.
ICLP-2005-RochaSC #evaluation #logic programming #source code: Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs (RR, FMAS, VSC), pp. 250–264.
ICLP-2004-RochaSC #logic programming #source code: Speculative Computations in Or-Parallel Tabled Logic Programs (RR, FMAS, VSC), pp. 254–268.
SAC-2004-GamaMR #online: Forest trees for on-line data (JG, PM, RR), pp. 632–636.
KDD-2003-GamaRM #data type #mining #performance: Accurate decision trees for mining high-speed data streams (JG, RR, PM), pp. 523–528.
ICLP-2001-RochaSC #on the: On a Tabling Engine That Can Exploit Or-Parallelism (RR, FMAS, VSC), pp. 43–58.
PADL-1999-RochaSC: Or-Parallelism within Tabling (RR, FMAS, VSC), pp. 137–151.