Fernando M. A. Silva Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Pereira, Fernando M. A. Silva, Nuno A. Fonseca: BIORED - A Genetic Algorithm for Pattern Detection in Biosequences. IWPACBB 2008: 156-165
2006
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Fernando M. A. Silva, Rui Camacho: April - An Inductive Logic Programming System. JELIA 2006: 481-484
2005
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Fernando M. A. Silva, Vítor Santos Costa, Rui Camacho: A pipelined data-parallel algorithm for ILP. CLUSTER 2005: 1-10
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Danelutto, Denis Caromel, Duane Szafron, Fernando M. A. Silva: Topic 9 - Parallel Programming: Models, Methods and Languages. Euro-Par 2005: 685
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. ICLP 2005: 250-264
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Fernando M. A. Silva, Rui Camacho: Strategies to Parallelize ILP Systems. ILP 2005: 136-153
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Concurrent Table Accesses in Parallel Tabled Logic Programs. Euro-Par 2004: 662-670
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Speculative Computations in Or-Parallel Tabled Logic Programs. ICLP 2004: 254-268
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho: On Avoiding Redundancy in Inductive Logic Programming. ILP 2004: 132-146
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: Pruning in the Extended Andorra Model. PADL 2004: 120-134
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: On the BEAM Implementation. EPIA 2003: 131-135
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Rolando Martins: YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters. EPIA 2003: 136-150
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho: Experimental Evaluation of a Caching Technique for ILP. EPIA 2003: 151-155
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: On Deterministic Computations in the Extended Andorra Model. ICLP 2003: 407-421
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva: Efficient Data Structures for Inductive Logic Programming. ILP 2003: 130-145
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva: A Multi-threaded Asynchronous Language. PaCT 2003: 316-323
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On Applying Or-Parallelism and Tabling to Logic Programs CoRR cs.LO/0308007: (2003)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁ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)
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Paulo Leal, Fernando M. A. Silva: Mooshak: a Web-based multi-site programming contest system. Softw., Pract. Exper. 33(6): 567-581 (2003)
2002
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Achieving Scalability in Parallel Tabled Logic Programs. IPDPS 2002
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLicínio Oliveira, Luís M. B. Lopes, Fernando M. A. Silva: P: Parallel Peer to Peer. NETWORKING Workshops 2002: 274-288
2001
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno Amado, Joao Gama, Fernando M. A. Silva: Parallel Implementation of Decision Tree Learning Algorithms. EPIA 2001: 6-13
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On a Tabling Engine That Can Exploit Or-Parallelism. ICLP 2001: 43-58
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: A Novel Implementation of the Extended Andorra Model. PADL 2001: 199-213
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuí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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuí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-
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Ricardo Rocha, Fernando M. A. Silva: Novel Models for Or-Parallel Logic Programs: A Performance Analysis. Euro-Par 2000: 744-753
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos: Fine Grained Multithreading with Process Calculi. IEEE PACT 2000: 217-226
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando M. A. Silva, Paul Watson: Or-Parallel Prolog on a Distributed Memory Architecture. J. Log. Program. 43(2): 173-186 (2000)
1999
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: YapOr: an Or-Parallel Prolog System Based on Environment Copying. EPIA 1999: 178-192
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuí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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Or-Parallelism within Tabling. PADL 1999: 137-151
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos: A Virtual Machine for a Process Calculus. PPDP 1999: 244-260
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasco 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa: The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. ILPS 1997: 117-131
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuí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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís M. B. Lopes, Fernando M. A. Silva: Scheduling Algorithms Performance with the pSystem Parallel Programming Environment. PARLE 1994: 827-830
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVí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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando M. A. Silva: An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine. EPIA 1993: 170-182
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando M. A. Silva: Or-Parallel Prolog on Distributed Shared-Memory Architectures. ICLP-Workshops on Implementation of Logic Programming Systems 1993: 203-215

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 24 16:13:34 2009 by Michael Ley (ley@uni-trier.de)