publications.bib


@article{IJPP17,
  author = {Jorge Silva and Ana Aguiar and Fernando Silva},
  title = {{Parallel Asynchronous Strategies for the Execution of Feature Selection Algorithms}},
  journal = {International Journal of Parallel Programming, Springer},
  volume = {42},
  number = {6},
  pages = {252-283},
  month = {February},
  year = {2018},
  doi = {10.1007/s10766-017-0493-2},
  note = {(published online since 9 Feb. 2017)},
  optnote = {\\{\bf ISI}; {\bf IF}=1.250},
  pubtype = {journal}
}
@article{TCBB16,
  author = {David Aparicio and Pedro Ribeiro and Fernando Silva},
  title = {{Extending the Applicability of Graphlets to Directed Networks}},
  journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
  volume = {14},
  number = {6},
  pages = {1302 - 1315},
  month = {November},
  year = {2017},
  doi = {10.1109/TCBB.2016.2586046},
  url = {https://doi.org/10.1109/TCBB.2016.2586046},
  note = {(to appear; published online since 28 June 2016.)},
  optnote = {\\{\bf ISI}; {\bf IF}=1.250},
  pubtype = {journal}
}
@article{DAMI15,
  author = {Sarvenaz Choobdar and Pedro Ribeiro and Srinivasan Parthasarathy and Fernando Silva},
  title = {{Dynamic Inference of Social Roles in Information Cascades}},
  journal = {Journal of Data Mining and Knowledge Discovery, Special issue ECMLPKDD 2015 journal track, Springer},
  volume = {29},
  number = {5},
  pages = {1152-1157},
  month = {August},
  year = {2015},
  url = {http://link.springer.com/article/10.1007/s10618-015-0402-5},
  doi = {10.1007/s10618-015-0402-5},
  note = {(published online Feb. 2015)},
  optnote = {\\{\bf ISI}; {\bf IF}=1.250},
  pubtype = {journal}
}
@article{GTRIES14,
  author = {Pedro Ribeiro and Fernando Silva},
  title = {{G-Tries: a data structure for storing and finding subgraphs}},
  journal = {Journal of Data Mining and Knowledge Discovery, Springer},
  volume = {29},
  number = {2},
  pages = {337-377},
  month = {February},
  year = {2014},
  url = {http://link.springer.com/article/10.1007/s10618-013-0303-4},
  doi = {10.1007/s10618-013-0303-4},
  note = {(published online Feb. 2013)},
  optnote = {\\{\bf ISI}; {\bf IF}=1.250},
  pdf = {FdsPapers/j2014_DMKD_gtries.pdf},
  pubtype = {journal}
}
@article{BEAM11,
  author = {Ricardo Lopes and V\'{\i}tor Santos Costa and Fernando Silva},
  title = {{A Design and Implementation of the Extended Andorra Model}},
  journal = {Journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (available online since May 2011)},
  volume = {12},
  number = {3},
  pages = {319--360},
  month = {May},
  year = {2012},
  url = {http://arxiv.org/abs/1101.6029v2},
  doi = {10.1017/S1471068411000068},
  optnote = {\\{\bf ISI}; {\bf IF}=1.250},
  pdf = {FdsPapers/j2011_TPLP_online.pdf},
  pubtype = {journal}
}
@article{JPDC11,
  author = {Pedro Ribeiro and Fernando Silva and Lu\'{\i}s Lopes},
  title = {{Parallel Discovery of Network Motifs}},
  journal = {Journal of Parallel and Distributed Computing, Elsevier},
  volume = {72},
  number = {2},
  pages = {144-154},
  month = {February},
  year = {2012},
  doi = {10.1016/j.jpdc.2011.08.007},
  optnote = {Available online since September 2011. \\{\bf ISI}; {\bf IF}=1.078},
  pdf = {FdsPapers/j2012_JPDC_pargtries.pdf},
  optissn = {0743-7315},
  pubtype = {journal}
}
@article{NSM09,
  author = {Pedro Ribeiro and Jennifer Simonotto and Marcus Kaiser and Fernando Silva},
  title = {{Parallel calculation of multi-electrode array correlation networks}},
  journal = {Journal of Neuroscience Methods, Elsevier},
  volume = {184},
  number = {2},
  pages = {357-364},
  month = {November},
  year = {2009},
  doi = {10.1016/j.jneumeth.2009.08.001},
  optnote = {},
  pubtype = {journal}
}
@article{MLJ09,
  author = {Nuno A. Fonseca  and Ashwin Srinivasan and Fernando Silva and Rui Camacho},
  title = {{Parallel ILP for Distributed Memory Architectures}},
  journal = {Machine Learning Journal},
  volume = {74},
  number = {3},
  pages = {257-279},
  month = {March},
  year = {2009},
  doi = {10.1007/s10994-008-5094-2},
  pdf = {FdsPapers/j2009_MLJ_parilp.pdf},
  pubtype = {journal}
}
@article{SPE09,
  author = {Nuno A. Fonseca and V\'{\i}tor Santos Costa and Ricardo Rocha and Rui Camacho and Fernando Silva},
  title = {{Improving the Efficiency of Inductive Logic Programming Systems}},
  journal = {Software - Practice and Experience, Wiley},
  volume = {39},
  number = {2},
  pages = {189--219},
  month = {February},
  year = {2009},
  note = {(Published online since Aug 19 2008)},
  doi = {10.1002/spe.v39:2},
  pubtype = {journal}
}
@article{TPLP05,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{On Applying Or-Parallelism and Tabling to Logic Programs}},
  journal = {Journal of Theory and Practice of Logic Programming},
  volume = {5},
  number = {1\&2},
  pages = {161-205},
  month = {January},
  year = {2005},
  pdf = {FdsPapers/j2005_tplp.pdf},
  optnote = {\\ \textbf{ISI} 13/6; \textbf{SC} 46/21; \textbf{IF}=1.250},
  doi = {10.1017/S1471068404002030},
  pubtype = {journal}
}
@article{JUCS03,
  author = {\'Alvaro Reis Figueira and Herv\'e Paulino and Lu\'{\i}s Lopes and Fernando Silva},
  title = {{Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources}},
  journal = {Journal of Universal Computer Science},
  volume = {9},
  number = {8},
  pages = {745-760},
  year = {2003},
  pdf = {FdsPapers/j2003_jucs.pdf},
  optnote = {\\ \textbf{ISI} 0; \textbf{SC} 2; \textbf{IF}=0.788},
  doi = {10.3217/jucs-009-08-0745},
  pubtype = {journal}
}
@article{SPE03,
  author = {Jos\'e Paulo Leal and Fernando Silva},
  title = {{Mooshak: a Web-based multi-site programming contest system}},
  journal = {Software Practice \& Experience},
  volume = {33},
  number = {6},
  pages = {567-581},
  year = {2003},
  pdf = {FdsPapers/j2003_spe.pdf},
  optnote = {\\ \textbf{ISI} 10/8; \textbf{SC} 36/24; \textbf{IF}=0.573},
  doi = {10.1002/spe.522},
  pubtype = {journal}
}
@article{IEEE-TC01,
  author = {Lu\'{\i}s Lopes and Vasco T. Vasconcelos and Fernando Silva},
  title = {{Fine-Grained Multithreading with Process Calculi}},
  journal = {IEEE Transactions on Computers, Special Issue on the Parallel Architectures and Compilation Techniques Conference},
  volume = {50},
  number = {8},
  pages = {852-862},
  year = {2001},
  pdf = {FdsPapers/j2001_ieeeTPC.pdf},
  note = {%\\ \textbf{ISI} 0; \textbf{SC} 6/2; \textbf{IF}=1.604 
                 (Invited submission subject to further reviewing; 
                  revised and extended version of paper in PACT'00)},
  doi = {10.1109/12.947014},
  pubtype = {journal}
}
@article{JLP00,
  author = {Fernando Silva and Paul Watson},
  title = {{Or-Parallel Prolog on a Distributed Memory Architecture}},
  journal = {Journal of Logic Programming},
  volume = {43},
  number = {2},
  pages = {173-186},
  month = {May},
  year = {2000},
  pdf = {FdsPapers/j2000_JLP.pdf},
  optnote = {\\ \textbf{ISI} 5/4; \textbf{SC} 11/9; \textbf{IF}=1.319; Extended version available as Technical Report DCC-97-6.},
  doi = {10.1016/S0743-1066(99)00064-3},
  pubtype = {journal}
}
@article{ENTCS98,
  author = {Vasco Vasconcelos and Lu\'{\i}s Lopes and Fernando Silva},
  title = {{Distribution and Mobility with Lexical Scoping in Process Calculi}},
  journal = {Electronic Notes in Theoretical Computer Science, Elsevier Science, 16, No. 3,
                  (Proceedings of the 3rd International Workshop on High-Level Concurrent 
                  Languages, Uwe Nestmann and Benjamin Pierce (Eds.), 
                  Nice, France, September)},
  year = {1998},
  pdf = {FdsPapers/j1998_ENTCS.pdf},
  doi = {10.1016/S1571-0661(04)00142-2},
  optnote = {(16 p\'aginas, http://www.elsevier.nl/locate/entcs/volume16.3.html)},
  pubtype = {journal}
}
@article{SPE97,
  author = {Lu\'{\i}s Lopes and Fernando Silva},
  title = {{Thread- and Process-Based Implementations of the
                 pSystem Parallel Programming Environment}},
  journal = {Software  Practice and Experience},
  volume = {27},
  number = {3},
  pages = {329--351},
  month = {March},
  year = {1997},
  pdf = {FdsPapers/j1997_spe.pdf},
  doi = {10.1002/(SICI)1097-024X(199703)27:3<329::AID-SPE90>3.0.CO;2-9},
  optnote = {\\ \textbf{ISI} 0; \textbf{SC} 7/4; \textbf{IF}=0.573},
  pubtype = {journal}
}
@article{JCSE95,
  author = {Manuel Eduardo Correia and Fernando Silva and
                 V\'{\i}tor Santos Costa},
  title = {{Aurora vs. Muse: A Performance Study of Two Or-Parallel
             Prolog Systems}},
  journal = {Computing Systems Engineering Journal, Pergamon},
  year = {1995},
  volume = {6},
  number = {4/5},
  pages = {345--349},
  pdf = {FdsPapers/j1995_jcse.pdf},
  optnote = {ISIP:A1995TM9510008},
  pubtype = {journal}
}
@book{EuroPar2014,
  editor = {Fernando Silva and In\^es Dutra and V\'{\i}tor Santos Costa},
  title = {{Euro-Par 2014, Proceedings of the 20th International Conference on Parallel Processing, Porto, Portugal}},
  publisher = {Springer, LNCS 8632},
  month = {August},
  year = {2014},
  url = {http://link.springer.com/978-3-319-09872-2},
  doi = {10.1007/978-3-319-09873-9},
  pubtype = {book}
}
@book{IberGrid08,
  editor = {Fernando Silva and Gaspar Barreira and L\'{\i}gia Ribeiro},
  title = {IBERGRID'2008, Proceedings of the 2nd Iberian Grid Infrastructure Conference, Porto, Portugal},
  publisher = {University of Porto},
  month = {May},
  year = {2008},
  pubtype = {book}
}
@techreport{CICLOPS05,
  author = {Christian Schulte and Fernando Silva and Ricardo Rocha (Eds.)},
  title = {{Proceedings of the 5th Colloquium on the Implementation of Constraint and LOgic Programming Systems (CICLOPS)}},
  institution = {TR DCC-2005-08, DCC-FC \& LIACC, Universidade do Porto},
  month = {October},
  year = {2005},
  pubtype = {book},
  pdf = {FdsPapers/dcc-2005-08.pdf}
}
@book{InesEtAll99,
  author = {In\^es Dutra and M. Carro and V. Santos Costa and G. Gupta and E. Pontelli and F. Silva (eds.)},
  title = {{Parallelism and Implementation of (Constraint) Logic Programming}},
  publisher = {Nova Science},
  year = {1999},
  pubtype = {book}
}
@techreport{WorkshopILPS97,
  author = {{In\^es Dutra, V\'{\i}tor Santos Costa, Fernando Silva, Enrico
Pontelli and Gopal Gupta}},
  title = {{Proceedings of The Workshop on
Parallelism and Implementation Technology for (Constraint) Logic
Programming Systems}},
  number = {DCC-97-11},
  institution = {DCC-FC \& LIACC, Universidade do Porto},
  month = {October},
  year = {1997},
  pubtype = {book},
  pdf = {FdsPapers/dcc-1997-11.pdf}
}
@proceedings{VscFdsInes95,
  title = {{Parallel Logic Programming Systems}},
  editor = {V\'{\i}tor Santos Costa and Fernando Silva and In\^es
                 de Castro Dutra},
  publisher = {Proceedings of the Post-ILPS'95 Workshop on Parallel
                 Logic Programming Systems, Portland, Oregon, USA},
  organization = {Technical Report, LIACC \& Universidade do Porto},
  month = {December},
  year = {1995},
  pdf = {FdsPapers/w1995_wilps.pdf},
  pubtype = {book},
  optnote = {}
}
@incollection{Encyclopedia14,
  author = {Sarvenaz Choobdar and Pedro Ribeiro and Fernando Silva},
  title = {Querying Volatile and Dynamic Networks},
  booktitle = {Encyclopedia of Social Network Analysis and Mining},
  editor = {R. Alhajj, J. Rokne (eds.)},
  publisher = {Springer Science + Business Media},
  address = {New-York},
  pages = {},
  month = {January},
  year = {2014},
  note = {(to appear)},
  doi = {10.1007/978-1-4614-6169-2},
  pubtype = {bchapter},
  optnote = {}
}
@incollection{ZpFds10,
  author = {Jos\'e Paulo Leal and Fernando M. A. Silva},
  title = {Using Mooshak as a Competitive Learning Tool},
  booktitle = {A New Learning Paradigm: Competition Supported by Technology},
  editor = {E. Verd\'u and R. M. Lorenzo and M. A. Revilla and L. M. Regueras},
  publisher = {Sello Editorial},
  address = {Madrid},
  pages = {91-105},
  year = {2010},
  pubtype = {bchapter},
  optisbn = {978-84-937580-3-5}
}
@incollection{Silva94b,
  author = {Fernando M. A. Silva},
  title = {{Or-Parallelism on Distributed Shared Memory Architectures}},
  booktitle = {{Implementations of Logic Programming Systems}},
  publisher = {Kluwer Academic Pub.},
  pages = {203--215},
  year = {1994},
  editor = {Evan Tick and Giancarlo Succi},
  pubtype = {bchapter},
  optnote = {}
}
@inproceedings{DAIS18,
  author = {João Rodrigues and Eduardo R. B. Marques and Joaquim Silva and Luís Lopes and Fernando Silva},
  title = {{Video Dissemination in Untethered Edge-Clouds: a Case Study}},
  booktitle = {{18th {IFIP} {WG} 6.1 International Conference on Distributed Applications and Interoperable Systems, (DAIS'2018), Madrid, Spain}},
  publisher = {Springer, LNCS},
  pages = {},
  optnumpages = {6},
  opturl = {https://doi.acm.org/10.1145/3152360.3152361},
  optdoi = {10.1145/3152360.3152361},
  monh = {June},
  year = {2018},
  pubtype = {conference}
}
@inproceedings{MECC17,
  author = {João Rodrigues and Eduardo R. B. Marques and Luís Lopes and Fernando Silva},
  title = {{Towards a Middleware for Mobile Edge-Cloud Applications}},
  booktitle = {{2nd Workshop on Middleware for Edge Clouds \& Cloudlets , (MECC'17), Las Vegas, USA}},
  publisher = {ACM},
  pages = {1:1--1:6},
  articleno = {1},
  numpages = {6},
  url = {https://doi.acm.org/10.1145/3152360.3152361},
  doi = {10.1145/3152360.3152361},
  monh = {December},
  year = {2017},
  pubtype = {conference}
}
@inproceedings{P3Mobile17,
  author = {Joaquim Silva and Daniel Silva and Eduardo Marques and Luís Lopes and Fernando Silva},
  title = {{P$^3$ Mobile: Parallel Computing for Mobile Edge-Clouds}},
  booktitle = {{The 4th Workshop on CrossCloud Infrastructures & Platforms, (CrossCloud'17)}},
  publisher = {ACM},
  pages = {5:1--5:7},
  articleno = {5},
  numpages = {7},
  url = {http://doi.acm.org/10.1145/3069383.3069388},
  doi = {10.1145/3069383.3069388},
  monh = {April},
  year = {2017},
  pubtype = {conference}
}
@inproceedings{ICFEC17,
  author = {Pedro M. P. Silva and João Rodrigues and Rolando Martins and Luís Lopes and Fernando Silva},
  title = {{Using Edge-Clouds to Reduce Load on Traditional WiFi Infrastructure and Improve Quality of Experience}},
  booktitle = {{1st IEEE International Conference on Fog and Edge Computing (ICFEC'2017), Madrid, Spain}},
  publisher = {IEEE},
  url = {https://doi.org/10.1109/ICFEC.2017.14},
  doi = {10.1109/ICFEC.2017.14},
  month = {May},
  year = {2017},
  pubtype = {conference},
  pdf = {FdsPapers/p2017_ICFEC.pdf}
}
@inproceedings{ACMSAC17a,
  author = {Jorge Silva and Fernando Silva},
  title = {{Feature Extraction for the Author Name Disambiguation Problem in a Bibliographic Database}},
  booktitle = {{32nd ACM/SIGAPP Symposium On Applied Computing (ACM-SAC), Data Mining Track, Marrakech, Morocco}},
  publisher = {ACM},
  pages = {{783-789}},
  doi = {10.1145/3019612.3019663},
  url = {{https://doi.org/10.1145/3019612.3019663}},
  month = {April},
  year = {2017},
  pubtype = {conference}
}
@inproceedings{ACMSAC17b,
  author = {Sarvenaz Choobdar and Pedro Ribeiro and Fernando Silva},
  title = {{Evolutionary Role Mining in Complex Networks by Ensemble Clustering}},
  booktitle = {{32nd ACM/SIGAPP Symposium On Applied Computing (ACM-SAC), Social Network and Media Analysis Track, Marrakech, Morocco}},
  publisher = {ACM},
  pages = {{1053-1060 }},
  doi = {10.1145/3019612.3019815},
  url = {{https://doi.org/10.1145/3019612.3019815}},
  month = {April},
  year = {2017},
  pubtype = {conference}
}
@inproceedings{COMPLENET16,
  author = {David Apar\'{\i}cio and Pedro Ribeiro and Fernando Silva},
  title = {{A Subgraph-Based Ranking System for Professional Tennis Players}},
  booktitle = {{Studies in Computational Intelligence, Proceedings of the 7th Workshop on Complex Networks (Complenet 2016)}},
  publisher = {Springer},
  volume = {{644}},
  pages = {{159-171}},
  doi = {{10.1007/978-3-319-30569-1_12}},
  year = {2016},
  pubtype = {conference}
}
@inproceedings{DAIS16,
  author = {João Rodrigues and Joaquim Silva and Rolando Martins and Luís Lopes and Utsav Drolia and Priya Narasimhan and Fernando Silva},
  title = {{Benchmarking Wireless Protocols for Feasibility in Supporting Crowdsourced Mobile Computing}},
  year = {2016},
  booktitle = {{16th {IFIP} {WG} 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2016), Crete, Greece}},
  publisher = {Springer},
  series = {{LNCS}},
  volume = {9687},
  pages = {96-108},
  doi = {10.1007/978-3-319-39577-7_8},
  pubtype = {conference}
}
@inproceedings{CSE15,
  author = {Jorge Silva and Ana Aguiar and Fernando Silva},
  title = {{A Parallel Computing Hybrid Approach for Feature Selection}},
  booktitle = {The 18th International Conference on Computational Science and Engineering, Porto, Portugal},
  publisher = {IEEE},
  optpages = {97-104},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  month = {October},
  year = {2015},
  pubtype = {conference},
  optannote = {}
}
@inproceedings{ASONAM15,
  author = {Sarvenaz Choobdar and Pedro Ribeiro and Fernando Silva},
  title = {{Pairwise Structural Role Mining for User Categorization in Information Cascades}},
  booktitle = {The 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
(ASONAM 2015), Paris, France},
  publisher = {ACM},
  optpages = {},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  month = {August},
  year = {2015},
  pubtype = {conference},
  note = {},
  optannote = {}
}
@inproceedings{ACMSAC15,
  author = {Sarvenaz Choobdar and Pedro Ribeiro and Fernando Silva},
  title = {{Discovering Weighted Motifs in Gene co-expression Networks}},
  booktitle = {30th ACM/SIGAPP Symposium On Applied Computing (ACM-SAC), Computational Biology and Bioinformatics Track, Salamanca, Spain},
  publisher = {ACM},
  pages = {10--17},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  month = {April},
  year = {2015},
  pubtype = {conference},
  url = {http://dx.doi.org/10.1145/2695664.2695773},
  doi = {10.1145/2695664.2695773},
  note = {},
  optannote = {}
}
@inproceedings{ISPA14,
  author = {David Apar\'{\i}cio and Pedro Ribeiro and Fernando Silva},
  title = {{Parallel Subgraph Counting for Multicore Architectures}},
  booktitle = {12th IEEE International Symposium on Parallel and Distributed Processing and Applications (ISPA), Milan, Italy},
  publisher = {IEEE},
  pages = {34-41},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  month = {August},
  year = {2014},
  pubtype = {conference},
  url = {http://dx.doi.org/10.1109/ISPA.2014.14},
  doi = {10.1109/ISPA.2014.14},
  optannote = {}
}
@inproceedings{COMPLENET14,
  author = {Pedro Ribeiro and Fernando Silva},
  title = {{Discovering Colored Network Motifs}},
  booktitle = {Complex Networks V, 5th International Workshop on Complex Networks (CompleNet), Bologna, Italy},
  publisher = {Springer},
  volume = {549},
  series = {Studies in Computational Intelligence},
  pages = {107-118},
  opteditor = {},
  optnumber = {},
  optaddress = {},
  month = {March},
  year = {2014},
  pubtype = {conference},
  doi = {10.1007/978-3-319-05401-8_11},
  optannote = {}
}
@inproceedings{ACMSAC13,
  author = {Rolando Martins and Lu\'{\i}s Lopes and Fernando Silva and Priya Narasimhan},
  title = {{Stheno, a Real-Time Fault-Tolerant P2P Middleware Platform for
Light-Train Systems}},
  optcrossref = {},
  optkey = {},
  booktitle = {28th ACM Symposium On Applied Computing (ACM-SAC), Technical track on Dependable and Adaptive Distributed Systems (DADS), Coimbra, Portugal},
  publisher = {ACM},
  pages = {431-438},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  month = {March},
  year = {2013},
  pubtype = {conference},
  optnote = {},
  optannote = {}
}
@inproceedings{DAMNET12,
  author = {Sarvenaz Choobdar and Pedro Ribeiro and Fernando Silva},
  title = {{Motif Mining in Weighted Networks}},
  optcrossref = {},
  optkey = {},
  booktitle = {IEEE ICDM 2012 Workshop on Data Mining in Networks (DaMNet 2012), Brussels, Belgium},
  publisher = {IEEE Xplorer},
  optpages = {},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  month = {December},
  year = {2012},
  pubtype = {conference},
  optnote = {},
  optannote = {}
}
@inproceedings{CASON12,
  author = {Sarvenaz Choobdar and Pedro Ribeiro and Fernando Silva},
  title = {{Event Detection in Evolving Networks}},
  optcrossref = {},
  optkey = {},
  booktitle = {4th International Conference on Computational Aspects of Social Networks (CASoN 2012), S\~ao Carlos, Brazil},
  publisher = {IEEE Xplorer},
  optpages = {},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  month = {November},
  year = {2012},
  pubtype = {conference},
  optnote = {},
  optannote = {}
}
@inproceedings{ASONAM12,
  author = {Sarvenaz Choobdar and Pedro Ribeiro and Sylwia Bugla and Fernando Silva},
  title = {{Co-authorship network comparison across research fields using motifs}},
  optcrossref = {},
  optkey = {},
  booktitle = {The 2012 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012)},
  publisher = {IEEE Xplorer},
  optpages = {},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  month = {August},
  year = {2012},
  pubtype = {conference},
  optnote = {},
  optannote = {}
}
@inproceedings{DBSocial12,
  author = {Pedro Ribeiro and Fernando Silva},
  title = {{Querying Subgraph Sets with G-Tries}},
  optcrossref = {},
  optkey = {},
  booktitle = {2nd ACM SIGMOD Workshop on Databases and Social Networks (DBSocial 2012), Scottsdale, Arizona},
  publisher = {ACM Digital Library},
  pages = {25-30},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  month = {May},
  year = {2012},
  note = {(The DBSocial 2012 Best Paper Award.)},
  doi = {10.1145/2304536.2304541},
  pubtype = {conference},
  optannote = {}
}
@inproceedings{MTAAP12,
  author = {In\^es Dutra and Ricardo Rocha and V\'{\i}tor Santos Costa and Fernando Silva and Jo\~ao Santos},
  title = {{Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines}},
  booktitle = {Workshop on Multithreaded Architectures and Applications, MTAAP'2012, Shanghai, China},
  editor = {L. DeRose},
  publisher = {IEEE Xplorer},
  month = {May},
  year = {2012},
  pubtype = {conference}
}
@inproceedings{DAMP12,
  author = {Rui Vieira and Ricardo Rocha and Fernando Silva},
  title = {{Or-Parallel Prolog Execution on Multicores Based on Stack Splitting}},
  booktitle = {7th International Workshop on Declarative Aspects and Applications of Multicore Programming, DAMP 2012, Philadelphia, USA},
  opteditor = {V{\'\i}tor Santos Costa},
  publisher = {ACM Digital Library},
  pages = {1-10},
  month = {January},
  year = {2012},
  doi = {10.1145/2103736.2103738},
  opturl = {http://dx.doi.org/10.1145/2103736.2103738},
  pubtype = {conference},
  optnote = {}
}
@inproceedings{EPIA11,
  author = {Sarvenaz Choobdar and Fernando Silva and Pedro Ribeiro},
  title = {{Network Node Label Acquisition and Tracking}},
  booktitle = {15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Lisbon, Portugal},
  publisher = {Springer Verlag, LNAI 7026},
  pages = {418-430},
  month = {October},
  year = {2011},
  doi = {10.1007/978-3-642-24769-9_31},
  pubtype = {conference},
  optnote = {\\ \textbf{ISI}}
}
@incollection{BIOSTEC11,
  author = {Pedro Ribeiro and Fernando Silva and Lu\'{\i}s Lopes},
  title = {A Parallel Algorithm for Counting Subgraphs in Complex Networks},
  booktitle = {Biomedical Engineering Systems and Technologies},
  optseries = {Communications in Computer and Information Science},
  publisher = {Springer, CCIS},
  isbn = {978-3-642-18472-7},
  pages = {380-393},
  volume = {127},
  doi = {10.1007/978-3-642-18472-7_30},
  year = {2011},
  pubtype = {conference}
}
@inproceedings{SRDS10,
  author = {Rolando Martins and Priya Narasimhan and Lu\'{\i}s Lopes and  Fernando Silva},
  title = {{Lightweight Fault-Tolerance for Peer-to-Peer Middleware}},
  booktitle = {29th IEEE Symposium on Reliable Distributed Systems (SRDS '10), New Delhi, India},
  publisher = {IEEE Computer Society},
  pages = {313-317},
  month = {November},
  year = {2010},
  doi = {10.1109/SRDS.2010.43},
  optnote = {\\ \textbf{ISI}},
  pubtype = {conference}
}
@inproceedings{ClusterComputing10,
  author = {Pedro Ribeiro and Fernando Silva and Lu\'{\i}s Lopes},
  title = {{Efficient Parallel Subgraph Counting using G-Tries}},
  booktitle = {2010 IEEE International Conference on Cluster Computing (Cluster 2010), Crete, Greece},
  publisher = {IEEE CS Press},
  pages = {217-226},
  month = {September},
  year = {2010},
  doi = {10.1109/CLUSTER.2010.27},
  pubtype = {conference},
  optannote = {30.8\% accept rate}
}
@inproceedings{WABI10,
  author = {Pedro Ribeiro and Fernando Silva},
  title = {{Efficient Subgraph Frequency Estimation with G-Tries}},
  booktitle = {10th International Workshop on Algorithms in Bioinformatics (WABI'2010), Liverpool, UK},
  publisher = {Springer Verlag, LNBI 6293},
  pages = {238-249},
  month = {September},
  year = {2010},
  url = {http://www.springerlink.com/content/r53l19312155314q/},
  pubtype = {conference},
  optannote = {36.1\% accept rate}
}
@inproceedings{ACMSACBIO10,
  author = {Pedro Ribeiro and Fernando Silva},
  title = {{G-Tries: an efficient data structure for discovering network motifs}},
  booktitle = {25th ACM Symposium on Applied Computing - Bioinformatics and Computational Systems Biology Track, Sierre, Switzerland},
  publisher = {ACM Digital Library},
  pages = {1559 - 1566},
  month = {March},
  year = {2010},
  doi = {10.1145/1774088.1774422},
  pubtype = {conference},
  optannote = {26\% accept rate}
}
@inproceedings{ESCIENCE09,
  author = {Pedro Ribeiro and Fernando Silva and Marcus Kaiser},
  title = {{Strategies for Network Motifs Discovery}},
  booktitle = {5th IEEE International Conference on e-Science (e-Science 2009), Oxford, UK},
  publisher = {IEEE Press},
  pages = {80-87},
  month = {December},
  year = {2009},
  doi = {10.1109/e-Science.2009.20},
  pubtype = {conference},
  optannote = {}
}
@inproceedings{IWPACBB08,
  author = {Pedro Pereira and Fernando Silva and Nuno A. Fonseca},
  title = {{BIORED - A Genetic Algorithm for Pattern Detection in Biosequences}},
  booktitle = {2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics (IWPACBB 2008)},
  publisher = {Springer-Verlag},
  series = {Advances in Soft Computing},
  volume = {49},
  pages = {156--165},
  month = {October},
  year = {2008},
  doi = {10.1007/978-3-540-85861-4_19},
  pubtype = {conference},
  optisbn = {978-3-540-85860-7},
  optannote = {}
}
@inproceedings{MAI08,
  author = {Rolando Martins and Lu\'{\i}s Lopes and Fernando Silva},
  title = {A peer-to-peer middleware platform for fault-tolerant, QoS, real-time computing},
  booktitle = {2nd workshop on Middleware-application interaction: affiliated with the DisCoTec federated conferences 2008 (MAI '08). Oslo, Norway},
  publisher = {ACM Digital Library},
  pages = {1--6},
  year = {2008},
  doi = {10.1145/1394272.1394274},
  pubtype = {conference},
  optisbn = {978-1-60558-204-7},
  optaddress = {New York, NY, USA}
}
@inproceedings{JELIA06,
  author = {Nuno Fonseca and Fernando Silva and Rui Camacho},
  title = {{April} - {An Inductive Logic Programming System}},
  booktitle = {10th European Conference on Logics in Artificial Intelligence (JELIA06), Liverpool, England},
  publisher = {Springer-Verlag, LNCS 4160},
  pages = {481-484},
  month = {September},
  year = 2006,
  pubtype = {conference},
  doi = {10.1007/11853886_42},
  optisi = {ISI:000241024200042},
  pdf = {FdsPapers/p2006_JELIA.pdf}
}
@inproceedings{ICLP05a,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs}},
  booktitle = {21st International Conference on Logic Programming (ICLP'2005), Sitges, Spain},
  publisher = {Springer-Verlag, LNCS 3668},
  pages = {250-264},
  month = {October},
  year = {2005},
  doi = {10.1007/11562931_20},
  pubtype = {conference}
}
@inproceedings{ICLP05b,
  author = {Ricardo Rocha and Ricardo Lopes and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{IMPACT: Innovative Models for Prolog with Advanced Control
               and Tabling.}},
  booktitle = {21st International Conference on Logic Programming (ICLP'2005), Sitges, Spain},
  publisher = {Springer-Verlag, LNCS 3668},
  pages = {416-417},
  month = {October},
  year = {2005},
  pubtype = {conference},
  doi = {10.1007/11562931_36}
}
@inproceedings{CLUSTER05,
  author = {Nuno Fonseca and Fernando Silva and V\'{\i}tor Santos Costa and Rui Camacho},
  title = {{A Pipelined Data-Parallel Algorithm for {ILP}}},
  booktitle = {{IEEE} International Conference on Cluster Computing (Cluster 2005), Boston, USA},
  publisher = {{IEEE} CS Press},
  month = {September},
  year = 2005,
  doi = {10.1109/CLUSTR.2005.347059},
  pubtype = {conference},
  pdf = {FdsPapers/p2005_ClusterComputing.pdf}
}
@inproceedings{ILP05,
  author = {Nuno Fonseca and Fernando Silva and Rui Camacho},
  title = {{Strategies to Parallelize ILP Systems}},
  booktitle = {15th International Conference on Inductive Logic Programming (ILP 2005), Bonn, Germany},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {3625},
  opteditor = {Stefan Kramer and Bernhard Pfahringer},
  optisbn = {3-540-28177-0},
  pages = {136--153},
  month = {August},
  year = 2005,
  optaddress = {Bonn, Germany},
  optabstract = {},
  note = {(\textit{Best Student Paper award})},
  doi = {10.1007/11536314_9},
  pubtype = {conference},
  pdf = {FdsPapers/p2005_ILP.pdf}
}
@inproceedings{ICLP04,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{Speculative Computations in Or-Parallel Tabled Logic Programs}},
  booktitle = {20th International Conference on Logic Programming, ICLP'2004, Saint-Malo, France},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {3132},
  opteditor = {B. Demoen and V. Lifschitz},
  pages = {254--268},
  month = {September},
  year = {2004},
  pubtype = {conference},
  url = {http://dx.doi.org/10.1007/978-3-540-27775-0_18},
  pdf = {FdsPapers/p2004_ICLP.pdf}
}
@inproceedings{EUROPAR04,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{Concurrent Table Accesses in Parallel Tabled Logic Programs}},
  booktitle = {10th International Euro-Par Conference, Euro-Par 2004, Pisa, Italy},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {3149},
  opteditor = {M. Danelutto and D. Laforenza and M. Vanneschi},
  pages = {662--670},
  month = {August/September},
  year = {2004},
  pubtype = {conference},
  pdf = {FdsPapers/p2004_EUROPAR.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-27866-5_87}
}
@inproceedings{RslopesVscFds04,
  author = {Ricardo Lopes and V\'{\i}tor Santos Costa and Fernando Silva},
  title = {{Exploiting Parallelism in the Extended Andorra Model}},
  booktitle = {IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2004), Insbruck, Austria.},
  editor = {ACTA Press},
  pages = {483-489},
  month = {February},
  year = {2004},
  pubtype = {conference},
  pdf = {FdsPapers/p2004_PDCN.pdf},
  optnote = {ISIP:000228483300080}
}
@inproceedings{PADL04,
  author = {Ricardo Lopes and V\'{\i}tor Santos Costa and Fernando Silva},
  title = {{Prunning in the Extended Andorra Model}},
  booktitle = {6th International Symposium on Practical Aspects of Declarative Languages (PADL'2004), Dallas, USA},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {3057},
  pages = {120-134},
  month = {June},
  year = {2004},
  pubtype = {conference},
  pdf = {FdsPapers/p2004_PADL.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-24836-1_9}
}
@inproceedings{ILP04,
  author = {Nuno A. Fonseca and Vitor Santos Costa and Rui Camacho
                  and Fernando Silva},
  title = {{On avoiding redundancy in {I}nductive {L}ogic
                  {P}rogramming}},
  booktitle = {Proceedings of the 14th International Conference on
                  Inductive Logic Programming (ILP 2004), Porto, Portugal},
  publisher = {Springer-Verlag},
  series = {LNAI},
  volume = {3194},
  opteditor = {Rui Camacho and Ross D. King and Ashwin Srinivasan},
  month = {September},
  pages = {132--146},
  year = 2004,
  pubtype = {conference},
  url = {http://dx.doi.org/10.1007/978-3-540-30109-7_13},
  pdf = {FdsPapers/p2004_ILP.pdf}
}
@inproceedings{HerveLblFds03a,
  author = {Herv\'e Paulino and Lu\'{\i}s Lopes and Fernando Silva},
  title = {{Mob: A Scripting Language for Mobile Agents based on a Process Calculus}},
  booktitle = {International Conference on Web Engineering (ICWE'2003), Oviedo, Spain},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {2722},
  pages = {40-43},
  month = {July},
  year = {2003},
  pubtype = {conference},
  pdf = {FdsPapers/p2003_ICWE.pdf},
  url = {http://dx.doi.org/10.1007/3-540-45068-8_6}
}
@inproceedings{PaCT03,
  author = {Herv\'e Paulino and Pedro Marques and Lu\'{\i}s Lopes and Vasco Vasconcelos and Fernando Silva},
  title = {A Multi-threaded Asynchronous Language},
  booktitle = {7th International Conference on Parallel Computing Technologies, PaCT'03, Nizhni Novgorod, Russia},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {2763},
  pages = {316-323},
  month = {August},
  year = {2003},
  pubtype = {conference},
  pdf = {FdsPapers/p2003_PaCT.pdf}
}
@inproceedings{ICLP03,
  author = {Ricardo Lopes and V\'{\i}tor Santos Costa and Fernando Silva},
  title = {{On Deterministic Computations in teh Extended Andorra Model}},
  booktitle = {19th International Conference on Logic Programming (ICLP 2003), India},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {2916},
  pages = {407-421},
  month = {December},
  year = {2003},
  pubtype = {conference},
  pdf = {FdsPapers/p2003_ICLP.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-24599-5_28}
}
@inproceedings{EPIA03a,
  author = {Ricardo Rocha and Fernando Silva and Rolando Martins},
  title = {{YapDSS: an Or-Parallel Prolog System for Scalable Beowulf Clusters}},
  booktitle = {11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal},
  publisher = {Springer-Verlag},
  series = {LNAI},
  volume = {2902},
  pages = {136-150},
  month = {December},
  year = {2003},
  pubtype = {conference},
  pdf = {FdsPapers/p2003_EPIA_A.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-24580-3_21}
}
@inproceedings{EPIA03b,
  author = {Ricardo Lopes and V\'{\i}tor Santos Costa and Fernando Silva},
  title = {{On the BEAM Implementation}},
  booktitle = {11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal},
  publisher = {Springer-Verlag},
  series = {LNAI},
  volume = {2902},
  pages = {131-135},
  month = {December},
  year = {2003},
  pubtype = {conference},
  pdf = {FdsPapers/p2003_EPIA_B.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-24580-3_20}
}
@inproceedings{EPIA03c,
  author = {Nuno Fonseca and V\'{\i}tor Santos Costa and Fernando Silva and Rui Camacho},
  title = {{Experimental Evaluation of a Caching Technique for ILP}},
  booktitle = {11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal},
  publisher = {Springer-Verlag},
  series = {LNAI},
  volume = {2902},
  pages = {151-155},
  month = {December},
  year = {2003},
  pubtype = {conference},
  pdf = {FdsPapers/p2003_EPIA_C.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-24580-3_22}
}
@inproceedings{ILP03,
  author = {Nuno A. Fonseca and Ricardo Rocha and Rui Camacho and Fernando Silva},
  title = {{Efficient Data Structures for Inductive Logic Programming}},
  booktitle = {13th International Conference on Inductive Logic Programming, ILP'2003, Hungary},
  publisher = {Springer-Verlag},
  series = {LNAI},
  volume = {2835},
  pages = {130-145},
  month = {September},
  year = {2003},
  pubtype = {conference},
  pdf = {FdsPapers/p2003_ILP.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-39917-9_10}
}
@inproceedings{LicLblopesFds02,
  author = {Lic\'{\i}nio Oliveira and Lu\'{\i}s Lopes and Fernando Silva},
  title = {{P$^3$ (Parallel Peer-to-Peer): an Internet Parallel Programming Environment}},
  booktitle = {Workshop on Web Engineering and Peer-to-Peer Computing, part of Networking 2002, Italy},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {2376},
  pages = {274-288},
  month = {May},
  year = {2002},
  pubtype = {conference},
  pdf = {FdsPapers/p2002_P2Pcomputing.pdf},
  url = {http://dx.doi.org/10.1007/3-540-45745-3_25}
}
@inproceedings{RicRocFdsVsc02,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{Achieving Scalability in Parallel Tabled Logic Programs}},
  booktitle = {16th International Parallel and Distributed Processing Symposium (IPDPS'02), IEEE Computer Society, Fort Lauderdale, Florida, USA},
  month = {April},
  year = {2002},
  pubtype = {conference},
  pdf = {FdsPapers/p2002_IPDPS.pdf},
  url = {http://dx.doi.org/10.1109/IPDPS.2002.1015488}
}
@inproceedings{AmadoGamaFds01,
  author = {Nuno Amado and Jo\~ao Gama and Fernando Silva},
  title = {{Parallel Implementation of Decision Tree Learning Algorithms}},
  booktitle = {Proceedings of the 10th Portuguese Conference on Artificial Intelligence (EPIA'2001)},
  publisher = {Springer-Verlag},
  series = {LNAI},
  volume = {2258},
  pages = {6-13},
  month = {December},
  year = {2001},
  pubtype = {conference},
  pdf = {FdsPapers/p2001_EPIA.pdf},
  url = {http://dx.doi.org/10.1007/3-540-45329-6_4}
}
@inproceedings{ICLP01,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{On a Tabling Engine that can Exploit Or-Parallelism}},
  booktitle = {17th International Conference on Logic Programming (ICLP 2001), Cyprus},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {2237},
  pages = {43-58},
  month = {November},
  year = {2001},
  pubtype = {conference},
  pdf = {FdsPapers/p2001_ICLP.pdf},
  url = {http://dx.doi.org/10.1007/3-540-45635-X_11}
}
@inproceedings{PADL01,
  author = {Ricardo Lopes and V\'{\i}tor Santos Costa and Fernando Silva},
  title = {{A Novel Implementation of the Extended Andorra Model}},
  booktitle = {3rd International Symposium on Practical Aspects of Declarative Languages (PADL'2001), Las Vegas},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {1990},
  pages = {199-213},
  month = {March},
  year = {2001},
  pubtype = {conference},
  pdf = {FdsPapers/p2001_PADL.pdf},
  url = {http://dx.doi.org/10.1007/3-540-45241-9_14}
}
@inproceedings{LblArfFdsVV00,
  author = {Lu\'{\i}s Lopes and \'Alvaro Figueira and Fernando Silva and Vasco T. Vasconcelos},
  title = {{A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility}},
  booktitle = {IEEE International Conference on Cluster Computing (Cluster'2000), Saxony, Germany},
  publisher = {IEEE Press},
  pages = {297--306},
  month = {November},
  year = {2000},
  pubtype = {conference},
  pdf = {FdsPapers/p2000_ClusterComputing.pdf},
  url = {http://dx.doi.org/10.1109/CLUSTR.2000.889083}
}
@inproceedings{LblFdsVV00a,
  author = {Lu\'{\i}s Lopes and Fernando Silva and Vasco T. Vasconcelos},
  title = {{Fine Grained Multithreading with Process Calculi}},
  booktitle = {International Conference on Parallel Architectures and Compilation Techniques (PACT'00), Philadelphia, USA},
  publisher = {IEEE Press},
  pages = {217--226},
  month = {October},
  year = {2000},
  pubtype = {conference},
  pdf = {FdsPapers/p2000_PACT.pdf},
  note = {\textit{(Selected as one of the four best papers)}},
  optnote = {(acceptance rate 27\%)},
  url = {http://dx.doi.org/10.1109/PACT.2000.888346}
}
@inproceedings{VscRicRocFds00a,
  author = {V\'{\i}tor Santos Costa and Ricardo Rocha and Fernando Silva},
  title = {{Novel Models for Or-Parallel Logic Programs: a Performance
                   Analysis}},
  booktitle = {EuroPar'2000, Berlin},
  publisher = {Springer-Verlag},
  series = {LNAI},
  volume = {1900},
  pages = {744--753},
  month = {August},
  year = {2000},
  pubtype = {conference},
  pdf = {FdsPapers/p2000_EuroPar.pdf},
  url = {http://dx.doi.org/10.1007/3-540-44520-X_102}
}
@inproceedings{YapOr99,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{YapOr: an Or-Parallel Prolog System Based on Environment Copying}},
  booktitle = {9th Portuguese Conference on Artificial Intelligence (EPIA'99), \'Evora, Portugal},
  publisher = {Springer-Verlag},
  series = {LNAI},
  volume = {1695},
  pages = {178--192},
  month = {September},
  year = {1999},
  pubtype = {conference},
  pdf = {FdsPapers/p1999_EPIA.pdf},
  url = {http://dx.doi.org/DOI: 10.1007/3-540-48159-1_13}
}
@inproceedings{LblFdsVV99,
  author = {Lu\'{\i}s Lopes and Fernando Silva and Vasco T. Vasconcelos},
  title = {{A Virtual Machine for a Process Calculus}},
  booktitle = {Principles and Practice of Declarative Programming (PPDP'99), Paris},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {1702},
  pages = {244--260},
  month = {September},
  year = {1999},
  pubtype = {conference},
  pdf = {FdsPapers/p1999_PPDP.pdf},
  url = {http://dx.doi.org/10.1007/10704567_15}
}
@inproceedings{DipSystem99,
  author = {Fernando Silva and Herv\'e Paulino and Lu\'{\i}s Lopes},
  title = {{Di\_pSystem: a parallel Programming System for Distributed Memory Architectures}},
  booktitle = {Recent Advances in Parallel Virtual Machines and Message Passing Interface (Proceedings of EuroPVM/MPI'99), Barcelona},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {1697},
  pages = {525--532},
  month = {September},
  year = {1999},
  pubtype = {conference},
  pdf = {FdsPapers/p1999_EuroPVMMPI.pdf},
  url = {http://dx.doi.org/10.1007/3-540-48158-3_65}
}
@inproceedings{Daos99,
  author = {L. F. Castro and V. Santos Costa and C. Geyer and 
            F. Silva and P. Kayser Vargas and M. E. Correia},
  title = {{DAOS -- Scalable And-Or Parallelism}},
  booktitle = {EuroPar'99 Parallel Processing (Topic 11 Parallel Programming: Models, Methods and Languages), Toulouse, France},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {1685},
  pages = {899--908},
  month = {August/September},
  year = {1999},
  pubtype = {conference},
  pdf = {FdsPapers/p1999_EuroPar.pdf},
  url = {http://dx.doi.org/10.1007/3-540-48311-X_125}
}
@inproceedings{RicrocFdsVsc99,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{Or-Parallelism within Tabling}},
  booktitle = {International Workshop on Practical Aspects of Declarative Languages (PADL'99), San-Antonio, Texas},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {1551},
  pages = {137--151},
  month = {January},
  year = {1999},
  pubtype = {conference},
  pdf = {FdsPapers/p1999_PADL.pdf},
  url = {http://dx.doi.org/10.1007/3-540-49201-1_10}
}
@inproceedings{MccFdsVsc97,
  author = {Manuel E. Correia and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{The SBA: Exploiting Orthogonality in AND-OR Parallel Systems}},
  booktitle = {International Logic Programming Symposium (ILPS'97), Port Jefferson, Long Island, NY},
  publisher = {The MIT Press},
  pages = {117--131},
  month = {October},
  year = {1997},
  pubtype = {conference},
  pdf = {FdsPapers/p1997_ILPS.pdf},
  optnote = {(Extended version available as Technical Report DCC-97-3)}
}
@inproceedings{Lopes94a,
  author = {Lu\'{\i}s M. B. Lopes and Fernando M. A. Silva},
  title = {{Scheduling Algorithms Performance with the pSystem
  Parallel Programming Environment}},
  booktitle = {1994 Parallel Architectures and Languages Europe (PARLE'94), Athens, Greece},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {817},
  pages = {827--830},
  month = {July},
  year = {1994},
  pubtype = {conference},
  pdf = {FdsPapers/p1994_PARLE_original.pdf},
  url = {http://dx.doi.org/10.1007/3-540-58184-7_167}
}
@inproceedings{Silva93b,
  author = {Fernando M. A. Silva},
  title = {{An Or-Parallel Prolog Execution Model for a Distributed Shared
Memory Machine}},
  booktitle = {6th Portuguese Conference on Artificial Intelligence, Porto, Portugal},
  publisher = {Springer-Verlag},
  series = {LNAI},
  volume = {727},
  pages = {170--182},
  month = {October},
  year = {1993},
  pubtype = {conference},
  pdf = {FdsPapers/p1993_EPIA.pdf},
  url = {http://dx.doi.org/10.1007/3-540-57287-2_46}
}
@inproceedings{ciclops12,
  author = {R. Vieira and R. Rocha and F. Silva},
  title = {{On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores}},
  booktitle = {Proceedings of the 12th Colloquium on Implementation of Constraint and LOgic Programming
               Systems, CICLOPS'2012},
  pages = {71--85},
  opteditor = {N. Angelopoulos and R. Bagnara},
  address = {Budapest, Hungary},
  month = {September},
  year = {2012},
  pubtype = {workshop}
}
@inproceedings{ICBIOINF10,
  author = {Pedro Ribeiro and Fernando Silva and Lu\'{\i}s Lopes},
  title = {{Parallel Calculations of Subgraph Census in Biological Networks}},
  booktitle = {1st International Conference on Bioinformatics, Valencia, Spain},
  publisher = {},
  pages = {},
  month = {January},
  year = {2010},
  opturl = {},
  pubtype = {workshop},
  optannote = {}
}
@conference{ZpFds09,
  author = {Jos\'e Paulo Leal and Fernando Silva},
  title = {{Incremental Feedback in Competitive Learning}},
  booktitle = {ACM-ICPC 2nd Competitive Learning Symposium, Stockholm, Sweden},
  month = {April},
  year = {2009},
  pubtype = {workshop}
}
@conference{ZpFds08,
  author = {Jos\'e Paulo Leal and Fernando Silva},
  title = {{Using Mooshak as a Competitive Learning Tool}},
  booktitle = {ACM-ICPC 1st Competitive Learning Symposium, Banff, Canada},
  month = {April},
  year = {2008},
  pubtype = {workshop}
}
@inproceedings{Ibergrid07,
  author = {Pedro Ribeiro and Pedro Pereira and Lu\'{\i}s Lopes and Fernando Silva},
  title = {{Plugging Computer Labs to the Grid}},
  booktitle = {Proceedings of the 1st Iberian {GRID} Infrastructure Conference (IBERGRID'07), Santiago de Compostela, Spain},
  publisher = {Fundaci\'on CESGA},
  optisbn = {978-84-611-6634-3},
  pages = {393 - 396},
  month = {May},
  year = 2007,
  pubtype = {workshop}
}
@inproceedings{CRC05,
  author = {Jo\~ao Paulo Magalh\~aes and Fernando Silva and Lu\'{\i}s Lopes},
  title = {{P3fs: um Sistema de Ficheiros Distribu\'{\i}do para uma Arquitectura P2P.}},
  booktitle = {Actas da 6a. Confer\^encia em Redes e Servi\c{c}os de Comunica\c{c}\~ao (CRSC'2005), Covilh\~a, Portugal},
  month = {June},
  year = {2005},
  pubtype = {workshop}
}
@inproceedings{Arf03a,
  author = {\'Alvaro Reis Figueira and Herv\'e Paulino and Lu\'{\i}s Lopes and Fernando Silva},
  title = {{Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources}},
  booktitle = {Simp\'osio Brasileiro de Linguagens de Programa\c{c}\~ao},
  month = {May},
  year = {2003},
  pubtype = {workshop},
  optnote = {}
}
@inproceedings{HerveLblFds03b,
  author = {Herv\'e Paulino and Lu\'{\i}s Lopes and Fernando Silva},
  title = {Mob: a Scripting Language for Programming Web Agents},
  booktitle = {13th Workshop for PhD Students on Object-Oriented Systems at ECOOP'2003, Darmstadt, Germany.},
  month = {July},
  year = {2003},
  pubtype = {workshop},
  note = {SC: 4(1).}
}
@inproceedings{RicRocFdsVsc03,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{A Tabling Engine Designed to Support Mixed-Strategy Evaluation}},
  booktitle = {Proceedings of the CICLOPS'2003: Colloquium on Implementation of Constraint and LOgic Programming Systems, co-located with ICLP'2003, Mumbai, India},
  month = {December},
  year = {2003},
  pubtype = {workshop},
  pdf = {FdsPapers/w2003_CICLOPS.pdf}
}
@inproceedings{NfRcFds03,
  author = {Nuno Fonseca and Rui Camacho and Fernando Silva},
  title = {{A parallel ILP algorithm that incorporates incremental batch learning}},
  booktitle = {Proceedings of the Workshop on Parallel and Distributed Computing for Machine
Learning, co-located with ECML/PKDD'2003, Dubrovnik},
  optpages = {},
  month = {September},
  year = {2003},
  pubtype = {workshop},
  pdf = {FdsPapers/w2003_ECMLW7_nf.pdf}
}
@inproceedings{AmadoGamaFds03,
  author = {Nuno Amado and Jo\~ao Gama and Fernando Silva},
  title = {{Exploiting Parallelism in Decision Tree Induction}},
  booktitle = {Proceedings of the Workshop on Parallel and Distributed Computing for Machine
Learning, co-located with ECML/PKDD'2003, Dubrovnik},
  optpages = {},
  month = {September},
  year = {2003},
  pubtype = {workshop},
  pdf = {FdsPapers/w2003_ECMLW7_namado.pdf},
  optnote = {SC: 2(2).}
}
@inproceedings{ZpFds02,
  author = {Jos\'e Paulo Leal and Fernando Silva},
  title = {{Managing Programming Contests with Mooshak}},
  booktitle = {Eunis, The 8th International Conference of European University Information Systems, Porto},
  month = {July},
  year = {2002},
  pubtype = {workshop}
}
@inproceedings{MarioFdsMcc01,
  author = {M\'ario Antunes and Fernando Silva and Manuel Eduardo Correia},
  title = {{Metawebmin: Administra\c{c}\~ao centralizada de grupos de sistemas Unix}},
  booktitle = {Actas da 4a. Confer\^encia sobre Redes de Computadores, Tecnologias e Aplica\c{c}\~oes (CRC'2001), Covilh\~a},
  month = {November},
  year = {2001},
  pubtype = {workshop},
  pdf = {FdsPapers/dcc-2001-10.pdf},
  note = {(Also available as Technical Report DCC-2001-10)}
}
@inproceedings{santoscosta-protem01,
  author = {V. Santos Costa and I. Castro Dutra and F. Fran\c{c}a and M. Pereira and P. Vargas and C. Geyer
              and J. Barbosa and C. Costa and P. Lima and F. Dargam and A. Branco and J. Muylaert Filho and
              G. Gupta and E. Pontelli and M. Correia and R. Lopes and R. Rocha and F. Silva},
  title = {{Towards Effective Parallel Logic Programming}},
  booktitle = {Proceedings of the Projects Evaluation Workshop ProTeM-CC 2001, International Cooperation NSF/INRIA, CNPq, Rio de Janeiro, Brazil},
  editor = {N. Prugner and P. Lima and C. Costa},
  pages = {243--265},
  month = {October},
  year = {2001},
  pubtype = {workshop},
  pdf = {FdsPapers/w2001_PROTEM.pdf},
  optpublisher = {CNPq},
  optaddress = {Rio de Janeiro, Brazil}
}
@inproceedings{RicRocFdsVsc00b,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{A Tabling Engine for the Yap Prolog System}},
  booktitle = {Proceedings of the 2000 APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'00), La Habana, Cuba},
  optpages = {},
  month = {December},
  year = {2000},
  pubtype = {workshop},
  pdf = {FdsPapers/w2000_AGP.pdf}
}
@inproceedings{RicRocFdsVsc00a,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{YapTab: a Tabling Engine Designed to Support Parallelism}},
  booktitle = {Proceedings of the Workshop on Tabulation in Parsing and
      Deduction (TAPD'00), Vigo},
  pages = {77-87},
  month = {September},
  year = {2000},
  pubtype = {workshop},
  pdf = {FdsPapers/w2000_TAPD.pdf},
  optnote = {SC: 23(8).}
}
@inproceedings{RslopesFdsVscSpa00,
  author = {Ricardo Lopes and Fernando Silva and V\'{\i}tor Santos Costa and Salvador Abreu},
  title = {{The {RAINBOW}: Towards a Parallel BEAM}},
  booktitle = {Proceedings of the 2000 Workshop on
Parallelism and Implementation Technology for (Constraint) Logic
Programming Languages, part of CL2000, London},
  pages = {38--54},
  month = {July},
  year = {2000},
  pubtype = {workshop},
  pdf = {FdsPapers/w2000_CICLOPS.pdf},
  optnote = {SC: 5(2).}
}
@inproceedings{Alvaro99,
  author = {\'Alvaro Figueira and Fernando Silva and Lu\'{\i}s Lopes and Vasco Vasconcelos},
  title = {{DiTyCO: Concorr\^encia  e Mobilidade de C\'odigo}},
  booktitle = {Actas do 1o. Encontro Portugu\^es de Computa\c{c}\~ao M\'ovel, Tomar},
  pages = {25--35},
  month = {November},
  year = {1999},
  pubtype = {workshop},
  pdf = {FdsPapers/w1999_EPCM.pdf},
  optnote = {(Also available as Technical Report DCC-99-4)}
}
@inproceedings{HerveFdsLbl99,
  author = {Herv\'e Paulino and Fernando Silva and Lu\'{\i}s Lopes},
  title = {{Um Modelo de Programa\c{c}\~ao Paralela Simples para Arquitecturas
Distribu\'{\i}das de Baixo-Custo}},
  booktitle = {Proceedings of the 11th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'99), Natal, Brasil},
  pages = {121--126},
  month = {September},
  year = {1999},
  pubtype = {workshop},
  pdf = {FdsPapers/w1999_SBAC-PAD.pdf},
  optnote = {(Available as Technical Report DCC-99-5)}
}
@inproceedings{DiTyCO99,
  author = {Lu\'{\i}s Lopes and Fernando Silva and \'Alvaro Figueira 
                  and Vasco T. Vasconcelos},
  title = {{DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi}},
  booktitle = {Proceedings of the 1999 Mobile Object Systems Workshop (ECOOP'99), Lisbon},
  optpages = {},
  month = {June},
  year = {1999},
  pubtype = {workhop},
  pdf = {FdsPapers/dcc-1999-03.pdf},
  optnote = {(Available as Technical Report DCC-99-3)}
}
@inproceedings{TyCOdemo99,
  author = {Lu\'{\i}s Lopes and Fernando Silva and Vasco T. Vasconcelos},
  title = {{Typed Concurrent Objects}},
  booktitle = {ECOOP'99 Workshop-Reader, Springer-Verlag, LNCS, Lisbon},
  optpages = {},
  month = {June},
  year = {1999},
  pubtype = {workhop}
}
@inproceedings{Alvaro98,
  author = {\'Alvaro Figueira and Fernando Silva and Lu\'{\i}s Lopes and Vasco Vasconcelos},
  title = {{Um Ambiente para Computa\c{c}\~oes Distribu\'{\i}das, Concorr\^encia e Mobilidade de C\'odigo}},
  booktitle = {Actas da 1a. Confer\^encia sobre Redes de Computadores, Coimbra},
  pages = {139--142},
  month = {November},
  year = {1998},
  pubtype = {workshop},
  pdf = {FdsPapers/dcc-1998-07.pdf},
  optnote = {(Available as Technical Report DCC-98-7)}
}
@inproceedings{Herve98,
  author = {Herv\'e Paulino and Fernando Silva and Lu\'{\i}s Lopes},
  title = {{di\_pSystem: Um Ambiente de Programa\c{c}\~ao Paralela para Arquitecturas de Mem\'oria Distribu\'{\i}da}},
  booktitle = {Actas da 1a. Confer\^encia sobre Redes de Computadores, Coimbra},
  pages = {143--148},
  month = {November},
  year = {1998},
  pubtype = {workshop},
  pdf = {FdsPapers/dcc-1998-08.pdf},
  optnote = {(Available as Technical Report DCC-98-8)}
}
@inproceedings{RicrocFdsVsc97,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{On Applying Or-Parallelism to Tabled Evaluations}},
  booktitle = {Proceedings of the International Workshop on Tabling in Logic Programming, Leuven},
  pages = {33--45},
  month = {July},
  year = {1997},
  pubtype = {workshop},
  pdf = {FdsPapers/w1997_PostICLP.pdf},
  optnote = {SC: 8(5). Also available as Technical Report DCC-97-2.}
}
@inproceedings{VscMccFds96,
  author = {V\'{\i}tor Santos Costa and Manuel Eduardo Correia and Fernando Silva},
  title = {{Performance of Sparse Binding Arrays for Or-Parallelism}},
  booktitle = {Proceedings of the VIII SBAC-PAD, Recife, Brasil},
  pages = {151--160},
  month = {August},
  year = {1996},
  pubtype = {workshop},
  pdf = {FdsPapers/w1996_SBAC-PAD.pdf}
}
@inproceedings{VscMccFds95,
  author = {V\'{\i}tor Santos Costa and Manuel Eduardo Correia and Fernando Silva},
  title = {{Sparse Binding Array Approach to Parallelism in Logic Programs}},
  booktitle = {Post-ILPS'95 Workshop on Parallel Logic Programming
Systems, Portland, Oregon, USA},
  month = {December},
  year = {1995},
  pubtype = {workshop},
  pdf = {FdsPapers/w1995_Post_ILPS.pdf}
}
@inproceedings{MccVscFds95,
  author = {Manuel Eduardo Correia and V\'{\i}tor Santos Costa and Fernando Silva},
  title = {{Using Sparse Binding Arrays for Or-parallelism}},
  booktitle = {3rd COMPULOG NET Workshop on Parallelism and
  Implementation Technology, Utrecht, Holland},
  pages = {68--76},
  month = {September},
  year = {1995},
  pubtype = {workshop}
}
@inproceedings{VscMccFds94b,
  author = {V\'{\i}tor Santos Costa and Manuel Eduardo Correia and  Fernando Silva},
  title = {{Aurora, Andorra-I and Friends on the Sun}},
  booktitle = {Proceedings of the Post-ILPS'94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, NY, USA},
  pages = {32-41},
  month = {November},
  year = {1994},
  pubtype = {workshop}
}
@inproceedings{VscMccFds94a,
  author = {V\'{\i}tor Santos Costa and Manuel Eduardo Correia  and  Fernando Silva},
  title = {{Aurora and Friends on the Sun (Extended Abstract)}},
  booktitle = {2nd COMPULOG NET Workshop  on Parallelism and Implementation Technologies, Madrid,},
  month = {September},
  year = {1994},
  pubtype = {workshop}
}
@inproceedings{Silva94a,
  author = {Fernando M. A. Silva and Lu\'{\i}s M. B. Lopes},
  title = {{A Testbed Environment to Evaluate Scheduling Algorithms}},
  booktitle = {ANAIS do XIV Congresso da Sociedade Brasileira de
  Computa\c{c}\~ao (XXI SEMISH), Caxambu, Brasil},
  pages = {19--32},
  month = {August},
  year = {1994},
  pubtype = {workshop},
  pdf = {FdsPapers/p1994_SEMISH.pdf}
}
@inproceedings{Cor93,
  author = {Manuel Eduardo Correia and Fernando Silva and V\'{\i}tor 
Santos Costa},
  title = {{Aurora vs. Muse: a Performance Study of Two Or-Parallel Prolog Systems}},
  booktitle = {Proceedings of 1st International Meeting on Vector and
Parallel Processing, Porto},
  month = {September},
  year = {1993},
  pubtype = {workshop}
}
@inproceedings{Silva93a,
  author = {Fernando M. A. Silva},
  title = {{Initial Performance of Dorpp: an Or-Parallel
       Prolog System for a Distributed Shared Memory Architecture}},
  booktitle = {Proceedings of the ICLP'93 Postconference Workshop on
Concurrent, Distributed and Parallel Implementation of Logic
Programming Systems},
  month = {June},
  year = {1993},
  pubtype = {workshop}
}
@inproceedings{Silva93c,
  author = {Fernando Silva and Lu\'{\i}s Barros Lopes},
  title = {{pSystem: a Portable Parallel Programming System for Shared-Memory
Multiprocessor Computers Running {UNIX}}},
  booktitle = {Proceedings of 1st International Meeting on Vector and
Parallel Processing, Porto, Portugal},
  year = {1993},
  month = {September},
  pubtype = {workshop}
}
@inproceedings{Filg85,
  author = {M. Filgueiras and F. Silva and M. E. Pinto and A. M. Pinheiro},
  title = {{Menus Naturais}},
  booktitle = {Actas do 1o. Encontro Portugu\^es de
Intelig\^encia Artificial, Porto},
  year = {1985},
  month = {October},
  pubtype = {workshop}
}
@techreport{PP07a,
  author = {Pedro Pereira and Nuno A. Fonseca and Fernando Silva},
  title = {{Fast Discovery of Statistically Interesting Words}},
  institution = {TR DCC-2007-01, DCC-FC \& LIACC, Universidade do Porto},
  month = {January},
  year = {2007},
  pubtype = {techrep}
}
@techreport{PP06a,
  author = {Pedro Pereira and Nuno A. Fonseca and Fernando Silva},
  title = {{A High Performance Distributed Tool for Mining Patterns in Biological Sequences}},
  institution = {TR DCC-2006-08, DCC-FC \& LIACC, Universidade do Porto},
  month = {December},
  year = {2006},
  pubtype = {techrep}
}
@techreport{NfVscFdsRc03b,
  author = {Nuno Fonseca and V\'{\i}tor Santos Costa and Fernando Silva and Rui Camacho},
  title = {{On Avoiding Redundancy in Inductive Logic Programming Systems}},
  institution = {DCC-2003-04, DCC - FC \& LIACC, Universidade do Porto},
  month = {November},
  year = {2003},
  pubtype = {techrep},
  pdf = {FdsPapers/dcc-2003-04.pdf}
}
@techreport{NfVscFdsRc03a,
  author = {Nuno Fonseca and V\'{\i}tor Santos Costa and Fernando Silva and Rui Camacho},
  title = {{On the Implementation of an ILP System with Prolog}},
  institution = {DCC-2003-03, DCC - FC \& LIACC, Universidade do Porto},
  month = {October},
  year = {2003},
  pubtype = {techrep},
  pdf = {FdsPapers/dcc-2003-03.pdf},
  note = {Extended version of the corresponding EPIA'2003 paper.}
}
@techreport{NfFdsRcVsc03b,
  author = {Nuno Fonseca and Fernando Silva and Rui Camacho and V\'{\i}tor Santos Costa},
  title = {{Induction with April: a preliminary report}},
  institution = {DCC-2003-02, DCC - FC \& LIACC, Universidade do Porto},
  month = {May},
  year = {2003},
  pubtype = {techrep},
  pdf = {FdsPapers/dcc-2003-02.pdf}
}
@techreport{Alvaro00,
  author = {Lu\'{\i}s Lopes and \'Alvaro Figueira and Fernando Silva and Vasco Vasconcelos},
  title = {{A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility}},
  institution = {DCC-2000-5, DCC - FC \& LIACC, Universidade do Porto},
  month = {June},
  year = {2000},
  pubtype = {techrep},
  pdf = {FdsPapers/dcc-2000-05.pdf}
}
@techreport{VscRicrocFds99,
  author = {V\'{\i}tor Santos Costa and Ricardo Rocha and Fernando Silva},
  title = {{Three Amigos: A Tale of Three Execution Models for Or-Parallelism}},
  institution = {DCC-99-2, DCC-FC \& LIACC, Universidade do Porto},
  year = {1999},
  pubtype = {techrep},
  pdf = {FdsPapers/dcc-1999-02.pdf},
  opttype = {},
  optnumber = {},
  optmonth = {}
}
@techreport{LblFdsVV98a,
  author = {Lu\'{\i}s Lopes and Fernando Silva and Vasco Vasconcelos},
  title = {{Compiling Process Calculi}},
  number = {DCC-98-1},
  institution = {DCC-FC \& LIACC, Universidade do Porto},
  month = {March},
  year = {1998},
  pubtype = {techrep}
}
@techreport{RicrocFdsVsc97b,
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{YapOr: an Or-Parallel Prolog System based on Environment Copying}},
  number = {DCC-97-14},
  institution = {DCC-FC \& LIACC, Universidade do Porto},
  month = {December},
  year = {1997},
  pubtype = {techrep},
  optnote = {}
}
@techreport{LblFdsVV97,
  author = {Lu\'{\i}s Lopes and Fernando Silva and Vasco Vasconcelos},
  title = {{A Framework for Compiling Object Calculi}},
  number = {DCC-97-12},
  institution = {DCC-FC \& LIACC, Universidade do Porto},
  month = {November},
  year = {1997},
  pubtype = {techrep}
}
@techreport{FdsPaul97,
  author = {Fernando Silva and Paul Watson},
  title = {{Or-Parallel Prolog on a Distributed Memory Architecture}},
  number = {DCC-97-6},
  institution = {DCC-FC \& LIACC, Universidade do Porto},
  month = {July},
  year = {1997},
  pubtype = {techrep}
}
@techreport{LblFds95,
  author = {Lu\'{\i}s Lopes and Fernando Silva},
  title = {{Thread- and Process-Based Implementations of the
                 pSystem Parallel Programming Environment}},
  institution = {LIACC},
  month = {November},
  year = {1995},
  opttype = {},
  optnumber = {},
  optaddress = {},
  pubtype = {techrep},
  optnote = {}
}
@techreport{Lopes94b,
  author = {Lu\'{\i}s B. Lopes and Fernando M. A. Silva},
  title = {{Dynamic Scheduling
    Experiments with a Thread-based Parallel Programming System}},
  institution = {LIACC, Universidade do Porto},
  year = {1994},
  month = {July},
  pubtype = {techrep}
}
@techreport{Silva89,
  author = {Fernando M. A. Silva},
  title = {{Issues on the Implementation of Sequential and
          Or-Parallel Prolog}},
  institution = {PhD Interim Report, Dept. of Computer Science, University of Manchester},
  year = {1989},
  month = {October},
  pubtype = {techrep}
}
@phdthesis{Silva93d,
  author = {Fernando M. A. Silva},
  title = {{An Implementation of {Or-Parallel} {Prolog} on
a Distributed Shared Memory Architecture}},
  school = {Dept. of Computer Science, Univ. of Manchester},
  year = {1993},
  month = {September},
  pubtype = {thesis}
}
@mastersthesis{Silva88,
  author = {Fernando M. A. Silva},
  title = {{A Configurable Shell Utilising Multiple Level
         Inference Strategies and Meta-Level Knowledge}},
  school = {UMIST},
  year = {1988},
  month = {October},
  pubtype = {thesis}
}