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

Fernando M. A. Silva Vis

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

*2009
46EENuno 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
45EEPedro Pereira, Fernando M. A. Silva, Nuno A. Fonseca: BIORED - A Genetic Algorithm for Pattern Detection in Biosequences. IWPACBB 2008: 156-165
2006
44EENuno A. Fonseca, Fernando M. A. Silva, Rui Camacho: April - An Inductive Logic Programming System. JELIA 2006: 481-484
2005
43EENuno A. Fonseca, Fernando M. A. Silva, Vítor Santos Costa, Rui Camacho: A pipelined data-parallel algorithm for ILP. CLUSTER 2005: 1-10
42EEMarco Danelutto, Denis Caromel, Duane Szafron, Fernando M. A. Silva: Topic 9 - Parallel Programming: Models, Methods and Languages. Euro-Par 2005: 685
41EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. ICLP 2005: 250-264
40EERicardo 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
39EENuno A. Fonseca, Fernando M. A. Silva, Rui Camacho: Strategies to Parallelize ILP Systems. ILP 2005: 136-153
38EERicardo 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
37EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Concurrent Table Accesses in Parallel Tabled Logic Programs. Euro-Par 2004: 662-670
36EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Speculative Computations in Or-Parallel Tabled Logic Programs. ICLP 2004: 254-268
35EENuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho: On Avoiding Redundancy in Inductive Logic Programming. ILP 2004: 132-146
34EERicardo 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
32EERicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: On the BEAM Implementation. EPIA 2003: 131-135
31EERicardo Rocha, Fernando M. A. Silva, Rolando Martins: YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters. EPIA 2003: 136-150
30EENuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho: Experimental Evaluation of a Caching Technique for ILP. EPIA 2003: 151-155
29EERicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: On Deterministic Computations in the Extended Andorra Model. ICLP 2003: 407-421
28EEHervé 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
27EENuno A. Fonseca, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva: Efficient Data Structures for Inductive Logic Programming. ILP 2003: 130-145
26EEHervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva: A Multi-threaded Asynchronous Language. PaCT 2003: 316-323
25EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On Applying Or-Parallelism and Tabling to Logic Programs CoRR cs.LO/0308007: (2003)
24EEÁ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
22EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Achieving Scalability in Parallel Tabled Logic Programs. IPDPS 2002
21EELicínio Oliveira, Luís M. B. Lopes, Fernando M. A. Silva: P: Parallel Peer to Peer. NETWORKING Workshops 2002: 274-288
2001
20EENuno Amado, Joao Gama, Fernando M. A. Silva: Parallel Implementation of Decision Tree Learning Algorithms. EPIA 2001: 6-13
19EERicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On a Tabling Engine That Can Exploit Or-Parallelism. ICLP 2001: 43-58
18EERicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: A Novel Implementation of the Extended Andorra Model. PADL 2001: 199-213
17EELuí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
16EELuí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-
15EEVítor Santos Costa, Ricardo Rocha, Fernando M. A. Silva: Novel Models for Or-Parallel Logic Programs: A Performance Analysis. Euro-Par 2000: 744-753
14EELuí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
11EELuí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
10EERicardo 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
8EEFernando 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
7EEVasco 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

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 [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 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)