Ricardo Rocha

Ricardo Jorge Gomes Lopes da Rocha

	2009
38		Miguel Areias, Ricardo Rocha: On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs. EPIA 2009: 113-125
37		Jorge Costa, João Raimundo, Ricardo Rocha: A Term-Based Global Trie for Tabled Logic Programs. ICLP 2009: 205-219
36		Paulo Moura, Ricardo Rocha, Sara C. Madeira: High Level Thread-Based Competitive Or-Parallelism in Logtalk. PADL 2009: 107-121
35		Jorge Costa, Ricardo Rocha: One Table Fits All. PADL 2009: 195-208
34		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)
	2008
33		Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt: On the Efficient Execution of ProbLog Programs. ICLP 2008: 175-189
32		Jorge Costa, Ricardo Rocha: Global Storing Mechanisms for Tabled Evaluation. ICLP 2008: 708-712
31		Paulo Moura, Ricardo Rocha, Sara C. Madeira: Thread-Based Competitive Or-Parallelism. ICLP 2008: 713-717
30		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
29		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
28		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)
	2007
27		Ricardo Rocha, Cláudio Silva, Ricardo Lopes: On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. ICLP 2007: 444-445
26		Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa: ILP : - Just Trie It. ILP 2007: 78-87
25		Pedro Costa, Ricardo Rocha, Michel Ferreira: Relational Models for Tabling Logic Programs in a Database. INAP/WLP 2007: 99-116
24		Ricardo Rocha: On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. PADL 2007: 155-169
	2006
23		Ricardo Rocha: Handling Incomplete and Complete Tables in Tabled Logic Programs. ICLP 2006: 427-428
22		Cláudio Silva, Ricardo Rocha, Ricardo Lopes: An External Module for Implementing Linear Tabling in Prolog. ICLP 2006: 429-430
21		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
20		Tiago Soares, Ricardo Rocha, Michel Ferreira: Generic Cut Actions for External Prolog Predicates. PADL 2006: 16-30
19		João Gama, Ricardo Fernandes, Ricardo Rocha: Decision trees for mining data streams. Intell. Data Anal. 10(1): 23-45 (2006)
	2005
18		Ricardo 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
16		Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. ICLP 2005: 250-264
15		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
14		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)
	2004
13		Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Concurrent Table Accesses in Parallel Tabled Logic Programs. Euro-Par 2004: 662-670
12		Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Speculative Computations in Or-Parallel Tabled Logic Programs. ICLP 2004: 254-268
11		Michel Ferreira, Ricardo Rocha: The MyYapDB Deductive Database System. JELIA 2004: 710-713
10		João Gama, Pedro Medas, Ricardo Rocha: Forest trees for on-line data. SAC 2004: 632-636
	2003
9		Ricardo Rocha, Fernando M. A. Silva, Rolando Martins: YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters. EPIA 2003: 136-150
8		Nuno A. Fonseca, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva: Efficient Data Structures for Inductive Logic Programming. ILP 2003: 130-145
7		João Gama, Ricardo Rocha, Pedro Medas: Accurate decision trees for mining high-speed data streams. KDD 2003: 523-528
6		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
5		Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Achieving Scalability in Parallel Tabled Logic Programs. IPDPS 2002
	2001
4		Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On a Tabling Engine That Can Exploit Or-Parallelism. ICLP 2001: 43-58
	2000
3		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
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
1		Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Or-Parallelism within Tabling. PADL 1999: 137-151

Coauthor Index

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

Colors in the list of coauthors