Fernando M. A. Silva

2006
44	EE	Nuno A. Fonseca, Fernando M. A. Silva, Rui Camacho: April - An Inductive Logic Programming System. JELIA 2006: 481-484
2005
43	EE	Nuno A. Fonseca, Fernando M. A. Silva, Vítor Santos Costa, Rui Camacho: A pipelined data-parallel algorithm for ILP. CLUSTER 2005: 1-10
42	EE	Marco Danelutto, Denis Caromel, Duane Szafron, Fernando M. A. Silva: Topic 9 - Parallel Programming: Models, Methods and Languages. Euro-Par 2005: 685
41	EE	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. ICLP 2005: 250-264
40	EE	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
39	EE	Nuno A. Fonseca, Fernando M. A. Silva, Rui Camacho: Strategies to Parallelize ILP Systems. ILP 2005: 136-153
38	EE	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
37	EE	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Concurrent Table Accesses in Parallel Tabled Logic Programs. Euro-Par 2004: 662-670
36	EE	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Speculative Computations in Or-Parallel Tabled Logic Programs. ICLP 2004: 254-268
35	EE	Nuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho: On Avoiding Redundancy in Inductive Logic Programming. ILP 2004: 132-146
34	EE	Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: Pruning in the Extended Andorra Model. PADL 2004: 120-134
33		Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: Exploiting parallelism in the extended andorra model. Parallel and Distributed Computing and Networks 2004: 483-489
2003
32	EE	Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: On the BEAM Implementation. EPIA 2003: 131-135
31	EE	Ricardo Rocha, Fernando M. A. Silva, Rolando Martins: YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters. EPIA 2003: 136-150
30	EE	Nuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho: Experimental Evaluation of a Caching Technique for ILP. EPIA 2003: 151-155
29	EE	Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: On Deterministic Computations in the Extended Andorra Model. ICLP 2003: 407-421
28	EE	Hervé Paulino, Luís M. B. Lopes, Fernando M. A. Silva: Mob: A Scripting Language for Mobile Agents Based on a Process Calculus. ICWE 2003: 40-43
27	EE	Nuno A. Fonseca, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva: Efficient Data Structures for Inductive Logic Programming. ILP 2003: 130-145
26	EE	Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva: A Multi-threaded Asynchronous Language. PaCT 2003: 316-323
25	EE	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On Applying Or-Parallelism and Tabling to Logic Programs CoRR cs.LO/0308007: (2003)
24	EE	Álvaro Reis Figueira, Hervé Paulino, Luís M. B. Lopes, Fernando M. A. Silva: Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources. J. UCS 9(8): 745-760 (2003)
23		José Paulo Leal, Fernando M. A. Silva: Mooshak: a Web-based multi-site programming contest system. Softw., Pract. Exper. 33(6): 567-581 (2003)
2002
22	EE	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Achieving Scalability in Parallel Tabled Logic Programs. IPDPS 2002
21	EE	Licínio Oliveira, Luís M. B. Lopes, Fernando M. A. Silva: P: Parallel Peer to Peer. NETWORKING Workshops 2002: 274-288
2001
20	EE	Nuno Amado, Joao Gama, Fernando M. A. Silva: Parallel Implementation of Decision Tree Learning Algorithms. EPIA 2001: 6-13
19	EE	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On a Tabling Engine That Can Exploit Or-Parallelism. ICLP 2001: 43-58
18	EE	Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: A Novel Implementation of the Extended Andorra Model. PADL 2001: 199-213
17	EE	Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva: Fine-Grained Multithreading with Process Calculi. IEEE Trans. Computers 50(8): 852-862 (2001)
2000
16	EE	Luís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos: A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. CLUSTER 2000: 297-
15	EE	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
14	EE	Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos: Fine Grained Multithreading with Process Calculi. IEEE PACT 2000: 217-226
13		Fernando M. A. Silva, Paul Watson: Or-Parallel Prolog on a Distributed Memory Architecture. J. Log. Program. 43(2): 173-186 (2000)
1999
12		Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: YapOr: an Or-Parallel Prolog System Based on Environment Copying. EPIA 1999: 178-192
11	EE	Luís Fernando Castro, Vítor Santos Costa, Cláudio F. R. Geyer, Fernando M. A. Silva, Patrícia Kayser Vargas, Manuel Eduardo Correia: DAOS - Scalable And-Or Parallelism. Euro-Par 1999: 899-908
10	EE	Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Or-Parallelism within Tabling. PADL 1999: 137-151
9		Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos: A Virtual Machine for a Process Calculus. PPDP 1999: 244-260
8	EE	Fernando M. A. Silva, Hervé Paulino, Luís M. B. Lopes: Di_pSystem: A Parallel Programming System for Distributed Memory Architectures. PVM/MPI 1999: 525-532
1998
7	EE	Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva: Distribution and Mobility with Lexical Scoping in Process Calculi. Electr. Notes Theor. Comput. Sci. 16(3): (1998)
1997
6		Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa: The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. ILPS 1997: 117-131
5		Luís M. B. Lopes, Fernando M. A. Silva: Thread- and Process-Based Implementations of the pSystem Parallel Programming Environment. Softw., Pract. Exper. 27(3): 329-351 (1997)
1994
4		Luís M. B. Lopes, Fernando M. A. Silva: Scheduling Algorithms Performance with the pSystem Parallel Programming Environment. PARLE 1994: 827-830
3		Vítor Santos Costa, Manuel Eduardo Correia, Fernando M. A. Silva: Aurora, Andorra-I and Friends on the Sun. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 32-41
1993
2		Fernando M. A. Silva: An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine. EPIA 1993: 170-182
1		Fernando M. A. Silva: Or-Parallel Prolog on Distributed Shared-Memory Architectures. ICLP-Workshops on Implementation of Logic Programming Systems 1993: 203-215

Coauthor Index

1	Nuno Amado	[20]
2	Rui Camacho	[27] [30] [35] [39] [43] [44]
3	Denis Caromel	[42]
4	Luís Fernando Castro	[11]
5	Manuel Eduardo Correia	[3] [6] [11]
6	Vítor Santos Costa	[3] [6] [10] [11] [12] [15] [18] [19] [22] [25] [29] [30] [32] [33] [34] [35] [36] [37] [38] [40] [41] [43]
7	Marco Danelutto	[42]
8	Álvaro Reis Figueira	[16] [24]
9	Nuno A. Fonseca	[27] [30] [35] [39] [43] [44]
10	João Gama (Joao Gama)	[20]
11	Cláudio Fernando Resin Geyer (Cláudio F. R. Geyer)	[11]
12	José Paulo Leal	[23]
13	Luís M. B. Lopes	[4] [5] [7] [8] [9] [14] [16] [17] [21] [24] [26] [28]
14	Ricardo Lopes	[18] [29] [32] [33] [34] [40]
15	Pedro Marques	[26]
16	Rolando Martins	[31]
17	Licínio Oliveira	[21]
18	Hervé Paulino	[8] [24] [26] [28]
19	Ricardo Rocha	[10] [12] [15] [19] [22] [25] [27] [31] [36] [37] [38] [40] [41]
20	Duane Szafron	[42]
21	Patrícia Kayser Vargas	[11]
22	Vasco Thudichum Vasconcelos	[7] [9] [14] [16] [17] [26]
23	Paul Watson	[13]

Colors in the list of coauthors