dblp.uni-trier.dewww.uni-trier.de

Ricardo Rocha

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
35EEPaulo Moura, Ricardo Rocha, Sara C. Madeira: High Level Thread-Based Competitive Or-Parallelism in Logtalk. PADL 2009: 107-121
34EEJorge Costa, Ricardo Rocha: One Table Fits All. PADL 2009: 195-208
33EENuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha, Rui Camacho, Fernando Silva: Improving the efficiency of inductive logic programming systems. Softw., Pract. Exper. 39(2): 189-219 (2009)
2008
32EEAngelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt: On the Efficient Execution of ProbLog Programs. ICLP 2008: 175-189
31EEJorge Costa, Ricardo Rocha: Global Storing Mechanisms for Tabled Evaluation. ICLP 2008: 708-712
30EEPaulo Moura, Ricardo Rocha, Sara C. Madeira: Thread-Based Competitive Or-Parallelism. ICLP 2008: 713-717
29EEMiguel 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
28EEPablo 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
27EENuno 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)
2007
26EERicardo Rocha, Cláudio Silva, Ricardo Lopes: On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. ICLP 2007: 444-445
25EERui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa: ILP : - Just Trie It. ILP 2007: 78-87
24EERicardo Rocha: On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. PADL 2007: 155-169
2006
23EERicardo Rocha: Handling Incomplete and Complete Tables in Tabled Logic Programs. ICLP 2006: 427-428
22EECláudio Silva, Ricardo Rocha, Ricardo Lopes: An External Module for Implementing Linear Tabling in Prolog. ICLP 2006: 429-430
21EEMichel Ferreira, Nuno A. Fonseca, Ricardo Rocha, Tiago Soares: Efficient and Scalable Induction of Logic Programs Using a Deductive Database System. ILP 2006: 184-198
20EETiago Soares, Ricardo Rocha, Michel Ferreira: Generic Cut Actions for External Prolog Predicates. PADL 2006: 16-30
19EEJoão Gama, Ricardo Fernandes, Ricardo Rocha: Decision trees for mining data streams. Intell. Data Anal. 10(1): 23-45 (2006)
2005
18EERicardo Rocha, Nuno A. Fonseca, Vítor Santos Costa: On Applying Tabling to Inductive Logic Programming. ECML 2005: 707-714
17 Michel Ferreira, Ricardo Rocha: Coupling OPTYAP with a database system. IADIS AC 2005: 107-114
16EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. ICLP 2005: 250-264
15EERicardo 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
14EERicardo 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)
2004
13EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Concurrent Table Accesses in Parallel Tabled Logic Programs. Euro-Par 2004: 662-670
12EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Speculative Computations in Or-Parallel Tabled Logic Programs. ICLP 2004: 254-268
11EEMichel Ferreira, Ricardo Rocha: The MyYapDB Deductive Database System. JELIA 2004: 710-713
10EEJoão Gama, Pedro Medas, Ricardo Rocha: Forest trees for on-line data. SAC 2004: 632-636
2003
9EERicardo Rocha, Fernando M. A. Silva, Rolando Martins: YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters. EPIA 2003: 136-150
8EENuno A. Fonseca, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva: Efficient Data Structures for Inductive Logic Programming. ILP 2003: 130-145
7EEJoão Gama, Ricardo Rocha, Pedro Medas: Accurate decision trees for mining high-speed data streams. KDD 2003: 523-528
6EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On Applying Or-Parallelism and Tabling to Logic Programs CoRR cs.LO/0308007: (2003)
2002
5EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Achieving Scalability in Parallel Tabled Logic Programs. IPDPS 2002
2001
4EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On a Tabling Engine That Can Exploit Or-Parallelism. ICLP 2001: 43-58
2000
3EEVí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
2 Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: YapOr: an Or-Parallel Prolog System Based on Environment Copying. EPIA 1999: 178-192
1EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Or-Parallelism within Tabling. PADL 1999: 137-151

Coauthor Index

1Miguel Branco [29]
2Rui Camacho [8] [25] [27] [33]
3Manuel Carro [28]
4Jorge Costa [31] [34]
5Vítor Santos Costa [1] [2] [3] [4] [5] [6] [12] [13] [14] [15] [16] [18] [25] [27] [32] [33]
6Bart Demoen [32]
7Ricardo Fernandes [19]
8Michel Ferreira [11] [17] [20] [21]
9Nuno A. Fonseca [8] [18] [21] [25] [27] [33]
10João Gama (Joao Gama) [7] [10] [19]
11Vincent Garonne [29]
12Pablo Chico de Guzmán [28]
13Manuel V. Hermenegildo [28]
14Angelika Kimmig [32]
15Mario Lassnig [29]
16Ricardo Lopes [15] [22] [26]
17Sara C. Madeira [30] [35]
18Rolando Martins [9]
19Pedro Medas [7] [10]
20Paulo Moura [30] [35]
21Luc De Raedt [32]
22David De Roure [29]
23Pedro Salgado [29]
24Cláudio Silva [22] [26] [28]
25Fernando Silva [33]
26Fernando M. A. Silva [1] [2] [3] [4] [5] [6] [8] [9] [12] [13] [14] [15] [16]
27Tiago Soares [20] [21]
28Ed Zaluska [29]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)