Ricardo Jorge Gomes Lopes da Rocha
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i11 |      | João Santos, Ricardo Rocha: Efficient Support for Mode-Directed Tabling in the YapTab Tabling System. CoRR abs/1301.7680 (2013) |
| i10 | | Rui Vieira, Ricardo Rocha, Fernando M. A. Silva: On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores. CoRR abs/1301.7690 (2013) |
| 2012 | ||
| j11 | | |
| j10 | | Miguel Areias, Ricardo Rocha: Towards multi-threaded local tabling using a common table space. TPLP 12(4-5): 427-443 (2012) |
| c43 | | Miguel Areias, Ricardo Rocha: An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs. ICPADS 2012: 636-643 |
| c42 | | Inês de Castro Dutra, Ricardo Rocha, Vítor Santos Costa, Fernando M. A. Silva, João Santos: Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines. IPDPS Workshops 2012: 1581-1590 |
| c41 | | Rui Vieira, Ricardo Rocha, Fernando M. A. Silva: Or-parallel prolog execution on multicores based on stack splitting. DAMP 2012: 1-10 |
| c40 | | Miguel Areias, Ricardo Rocha: On Extending a Linear Tabling Framework to Support Batched Scheduling. SLATE 2012: 9-24 |
| c39 | | 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 | ||
| j9 | | Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha: On the implementation of the probabilistic logic programming language ProbLog. TPLP 11(2-3): 235-262 (2011) |
| j8 | | Miguel Areias, Ricardo Rocha: On combining linear-based strategies for tabled evaluation of logic programs. TPLP 11(4-5): 681-696 (2011) |
| j7 | | Flávio Cruz, Ricardo Rocha: Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs. TPLP 11(4-5): 697-712 (2011) |
| c38 | | João Raimundo, Ricardo Rocha: A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs. EPIA 2011: 239-253 |
| e1 | | Ricardo Rocha, John Launchbury (Eds.): 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 |
| i8 | | |
| 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 | | |
| 2010 | ||
| j6 | | Julia Andreeva, Max Boehm, Benjamin Gaidioz, Edward Karavakis, Lukasz Kokoszkiewicz, Elisa Lanciotti, Gerhild Maier, William Ollivier, Ricardo Rocha, Pablo Saiz, Irina Sidorova: Experiment Dashboard for Monitoring Computing Activities of the LHC Virtual Organizations. J. Grid Comput. 8(2): 323-339 (2010) |
| j5 | | Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha: Threads and or-parallelism unified. TPLP 10(4-6): 417-432 (2010) |
| c37 | | Flávio Cruz, Ricardo Rocha: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. JELIA 2010: 130-142 |
| c36 | | Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. JELIA 2010: 260-272 |
| c35 | | |
| c34 | | Miguel Areias, Ricardo Rocha: 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) |
| 2009 | ||
| j4 | | Nuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva: Improving the efficiency of inductive logic programming systems. Softw., Pract. Exper. 39(2): 189-219 (2009) |
| c33 | | Miguel Areias, Ricardo Rocha: On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs. EPIA 2009: 113-125 |
| c32 | | Jorge Costa, João Raimundo, Ricardo Rocha: A Term-Based Global Trie for Tabled Logic Programs. ICLP 2009: 205-219 |
| c31 | | Paulo Moura, Ricardo Rocha, Sara C. Madeira: High Level Thread-Based Competitive Or-Parallelism in Logtalk. PADL 2009: 107-121 |
| c30 | | |
| 2008 | ||
| j3 | | Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, Vítor Santos Costa: Compile the Hypothesis Space: Do it Once, Use it Often. Fundam. Inform. 89(1): 45-67 (2008) |
| c29 | | Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt: On the Efficient Execution of ProbLog Programs. ICLP 2008: 175-189 |
| c28 | | |
| c27 | | Paulo Moura, Ricardo Rocha, Sara C. Madeira: Thread-Based Competitive Or-Parallelism. ICLP 2008: 713-717 |
| c26 | | Miguel Branco, Ed Zaluska, David De Roure, Pedro Salgado, Vincent Garonne, Mario Lassnig, Ricardo Rocha: Managing Very-Large Distributed Datasets. OTM Conferences (1) 2008: 775-792 |
| c25 | | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha: An Improved Continuation Call-Based Implementation of Tabling. PADL 2008: 197-213 |
| 2007 | ||
| c24 | | Ricardo Rocha, Cláudio Silva, Ricardo Lopes: On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. ICLP 2007: 444-445 |
| c23 | | Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa: ILP : - Just Trie It. ILP 2007: 78-87 |
| c22 | | Ricardo Rocha: On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. PADL 2007: 155-169 |
| c21 | | Pedro Costa, Ricardo Rocha, Michel Ferreira: Relational Models for Tabling Logic Programs in a Database. INAP/WLP 2007: 99-116 |
| 2006 | ||
| j2 | | João Gama, Ricardo Fernandes, Ricardo Rocha: Decision trees for mining data streams. Intell. Data Anal. 10(1): 23-45 (2006) |
| c20 | | |
| c19 | | Cláudio Silva, Ricardo Rocha, Ricardo Lopes: An External Module for Implementing Linear Tabling in Prolog. ICLP 2006: 429-430 |
| c18 | | Michel Ferreira, Nuno A. Fonseca, Ricardo Rocha, Tiago Soares: Efficient and Scalable Induction of Logic Programs Using a Deductive Database System. ILP 2006: 184-198 |
| c17 | | Tiago Soares, Ricardo Rocha, Michel Ferreira: Generic Cut Actions for External Prolog Predicates. PADL 2006: 16-30 |
| 2005 | ||
| j1 | | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On Applying Or-Parallelism and Tabling to Logic Programs. TPLP 5(1-2): 161-205 (2005) |
| c16 | | Ricardo Rocha, Nuno A. Fonseca, Vítor Santos Costa: On Applying Tabling to Inductive Logic Programming. ECML 2005: 707-714 |
| c15 |  | |
| c14 | | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. ICLP 2005: 250-264 |
| c13 | | Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa: IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. ICLP 2005: 416-417 |
| 2004 | ||
| c12 | | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Concurrent Table Accesses in Parallel Tabled Logic Programs. Euro-Par 2004: 662-670 |
| c11 | | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Speculative Computations in Or-Parallel Tabled Logic Programs. ICLP 2004: 254-268 |
| c10 | | |
| c9 | | |
| 2003 | ||
| c8 | | Ricardo Rocha, Fernando M. A. Silva, Rolando Martins: YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters. EPIA 2003: 136-150 |
| c7 | | Nuno A. Fonseca, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva: Efficient Data Structures for Inductive Logic Programming. ILP 2003: 130-145 |
| c6 | | João Gama, Ricardo Rocha, Pedro Medas: Accurate decision trees for mining high-speed data streams. KDD 2003: 523-528 |
| 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, Fernando M. A. Silva, Vítor Santos Costa: Achieving Scalability in Parallel Tabled Logic Programs. IPDPS 2002 |
| 2001 | ||
| c4 | | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On a Tabling Engine That Can Exploit Or-Parallelism. ICLP 2001: 43-58 |
| 2000 | ||
| c3 | | Vítor Santos Costa, Ricardo Rocha, Fernando M. A. Silva: Novel Models for Or-Parallel Logic Programs: A Performance Analysis. Euro-Par 2000: 744-753 |
| 1999 | ||
| c2 | | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: YapOr: an Or-Parallel Prolog System Based on Environment Copying. EPIA 1999: 178-192 |
| c1 | | Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Or-Parallelism within Tabling. PADL 1999: 137-151 |
Colors in the list of coauthors
Last update Thu May 23 04:25:54 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page