See the publications list ordered by type of publication.

2017

[1] P. M. P. Silva, J. Rodrigues, R. Martins, L. Lopes, and F. Silva, “Using Edge-Clouds to Reduce Load on Traditional WiFi Infrastructure and Improve Quality of Experience,” in 1st IEEE International Conference on Fog and Edge Computing (ICFEC'2017), Madrid, Spain, vol. (to appear), IEEE, May 2017. [ bib | DOI | pdf ]
[2] D. Aparício, P. Ribeiro, and F. Silva, “Extending the Applicability of Graphlets to Directed Networks,” IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. (to appear; published online since 28 June 2016.), April 2017. [ bib | DOI ]
[3] J. Silva and F. Silva, “Feature Extraction for the Author Name Disambiguation Problem in a Bibliographic Database,” in 32nd ACM/SIGAPP Symposium On Applied Computing (ACM-SAC), Data Mining Track, Marrakech, Morocco, vol. (to appear), ACM, April 2017. [ bib | DOI ]
[4] S. Choobdar, P. Ribeiro, and F. Silva, “Evolutionary Role Mining in Complex Networks by Ensemble Clustering,” in 32nd ACM/SIGAPP Symposium On Applied Computing (ACM-SAC), Social Network and Media Analysis Track, Marrakech, Morocco, vol. (to appear), ACM, April 2017. [ bib | DOI ]
[5] J. Silva, A. Aguiar, and F. Silva, “Parallel Asynchronous Strategies for the Execution of Feature Selection Algorithms,” International Journal of Parallel Programming, Springer, vol. (to appear; published online since 9 Feb. 2017), February 2017. [ bib | DOI ]
[6] J. Silva, D. Silva, E. Marques, L. Lopes, and F. Silva, “P3 Mobile: Parallel Computing for Mobile Edge-Clouds,” in The 4th Workshop on CrossCloud Infrastructures & Platforms, (CrossCloud'17), vol. (to appear), Springer, 2017. [ bib | DOI ]

2016

[1] D. Aparício, P. Ribeiro, and F. Silva, “A Subgraph-Based Ranking System for Professional Tennis Players,” in Studies in Computational Intelligence, Proceedings of the 7th Workshop on Complex Networks (Complenet 2016), vol. 644, pp. 159--171, Springer, 2016. [ bib | DOI ]
[2] J. Rodrigues, J. Silva, R. Martins, L. Lopes, U. Drolia, P. Narasimhan, and F. Silva, “Benchmarking Wireless Protocols for Feasibility in Supporting Crowdsourced Mobile Computing,” in 16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2016), Crete, Greece, vol. 9687 of LNCS, pp. 96--108, Springer, 2016. [ bib | DOI ]

2015

[1] J. Silva, A. Aguiar, and F. Silva, “A Parallel Computing Hybrid Approach for Feature Selection,” in The 18th International Conference on Computational Science and Engineering, Porto, Portugal, IEEE, October 2015. [ bib ]
[2] S. Choobdar, P. Ribeiro, S. Parthasarathy, and F. Silva, “Dynamic Inference of Social Roles in Information Cascades,” Journal of Data Mining and Knowledge Discovery, Special issue ECMLPKDD 2015 journal track, Springer, vol. 29, pp. 1152--1157, August 2015. (published online Feb. 2015). [ bib | DOI | html ]
[3] S. Choobdar, P. Ribeiro, and F. Silva, “Pairwise Structural Role Mining for User Categorization in Information Cascades,” in The 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2015), Paris, France, ACM, August 2015. [ bib ]
[4] S. Choobdar, P. Ribeiro, and F. Silva, “Discovering Weighted Motifs in Gene co-expression Networks,” in 30th ACM/SIGAPP Symposium On Applied Computing (ACM-SAC), Computational Biology and Bioinformatics Track, Salamanca, Spain, pp. 10--17, ACM, April 2015. [ bib | DOI | html ]

2014

[1] F. Silva, I. Dutra, and V. S. Costa, eds., Euro-Par 2014, Proceedings of the 20th International Conference on Parallel Processing, Porto, Portugal. Springer, LNCS 8632, August 2014. [ bib | DOI | html ]
[2] D. Aparício, P. Ribeiro, and F. Silva, “Parallel Subgraph Counting for Multicore Architectures,” in 12th IEEE International Symposium on Parallel and Distributed Processing and Applications (ISPA), Milan, Italy, pp. 34--41, IEEE, August 2014. [ bib | DOI | html ]
[3] P. Ribeiro and F. Silva, “Discovering Colored Network Motifs,” in Complex Networks V, 5th International Workshop on Complex Networks (CompleNet), Bologna, Italy, vol. 549 of Studies in Computational Intelligence, pp. 107--118, Springer, March 2014. [ bib | DOI ]
[4] P. Ribeiro and F. Silva, “G-Tries: a data structure for storing and finding subgraphs,” Journal of Data Mining and Knowledge Discovery, Springer, vol. 29, pp. 337--377, February 2014. (published online Feb. 2013). [ bib | DOI | pdf | html ]
[5] S. Choobdar, P. Ribeiro, and F. Silva, “Querying volatile and dynamic networks,” in Encyclopedia of Social Network Analysis and Mining (J. R. e. R. Alhajj, ed.), New-York: Springer Science + Business Media, January 2014. (to appear). [ bib | DOI ]

2013

[1] R. Martins, L. Lopes, F. Silva, and P. Narasimhan, “Stheno, a Real-Time Fault-Tolerant P2P Middleware Platform for Light-Train Systems,” in 28th ACM Symposium On Applied Computing (ACM-SAC), Technical track on Dependable and Adaptive Distributed Systems (DADS), Coimbra, Portugal, pp. 431--438, ACM, March 2013. [ bib ]

2012

[1] S. Choobdar, P. Ribeiro, and F. Silva, “Motif Mining in Weighted Networks,” in IEEE ICDM 2012 Workshop on Data Mining in Networks (DaMNet 2012), Brussels, Belgium, IEEE Xplorer, December 2012. [ bib ]
[2] S. Choobdar, P. Ribeiro, and F. Silva, “Event Detection in Evolving Networks,” in 4th International Conference on Computational Aspects of Social Networks (CASoN 2012), São Carlos, Brazil, IEEE Xplorer, November 2012. [ bib ]
[3] R. Vieira, R. Rocha, and F. Silva, “On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores,” in Proceedings of the 12th Colloquium on Implementation of Constraint and LOgic Programming Systems, CICLOPS'2012, (Budapest, Hungary), pp. 71--85, September 2012. [ bib ]
[4] S. Choobdar, P. Ribeiro, S. Bugla, and F. Silva, “Co-authorship network comparison across research fields using motifs,” in The 2012 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012), IEEE Xplorer, August 2012. [ bib ]
[5] R. Lopes, V. S. Costa, and F. Silva, “A Design and Implementation of the Extended Andorra Model,” Journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (available online since May 2011), vol. 12, pp. 319--360, May 2012. [ bib | DOI | pdf | html ]
[6] P. Ribeiro and F. Silva, “Querying Subgraph Sets with G-Tries,” in 2nd ACM SIGMOD Workshop on Databases and Social Networks (DBSocial 2012), Scottsdale, Arizona, pp. 25--30, ACM Digital Library, May 2012. (The DBSocial 2012 Best Paper Award.). [ bib | DOI ]
[7] I. Dutra, R. Rocha, V. S. Costa, F. Silva, and J. ao Santos, “Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines,” in Workshop on Multithreaded Architectures and Applications, MTAAP'2012, Shanghai, China (L. DeRose, ed.), IEEE Xplorer, May 2012. [ bib ]
[8] P. Ribeiro, F. Silva, and L. Lopes, “Parallel Discovery of Network Motifs,” Journal of Parallel and Distributed Computing, Elsevier, vol. 72, pp. 144--154, February 2012. [ bib | DOI | pdf ]
[9] R. Vieira, R. Rocha, and F. Silva, “Or-Parallel Prolog Execution on Multicores Based on Stack Splitting,” in 7th International Workshop on Declarative Aspects and Applications of Multicore Programming, DAMP 2012, Philadelphia, USA, pp. 1--10, ACM Digital Library, January 2012. [ bib | DOI ]

2011

[1] S. Choobdar, F. Silva, and P. Ribeiro, “Network Node Label Acquisition and Tracking,” in 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Lisbon, Portugal, pp. 418--430, Springer Verlag, LNAI 7026, October 2011. [ bib | DOI ]
[2] P. Ribeiro, F. Silva, and L. Lopes, “A parallel algorithm for counting subgraphs in complex networks,” in Biomedical Engineering Systems and Technologies, vol. 127, pp. 380--393, Springer, CCIS, 2011. [ bib | DOI ]

2010

[1] R. Martins, P. Narasimhan, L. Lopes, and F. Silva, “Lightweight Fault-Tolerance for Peer-to-Peer Middleware,” in 29th IEEE Symposium on Reliable Distributed Systems (SRDS '10), New Delhi, India, pp. 313--317, IEEE Computer Society, November 2010. [ bib | DOI ]
[2] P. Ribeiro, F. Silva, and L. Lopes, “Efficient Parallel Subgraph Counting using G-Tries,” in 2010 IEEE International Conference on Cluster Computing (Cluster 2010), Crete, Greece, pp. 217--226, IEEE CS Press, September 2010. [ bib | DOI ]
[3] P. Ribeiro and F. Silva, “Efficient Subgraph Frequency Estimation with G-Tries,” in 10th International Workshop on Algorithms in Bioinformatics (WABI'2010), Liverpool, UK, pp. 238--249, Springer Verlag, LNBI 6293, September 2010. [ bib | html ]
[4] P. Ribeiro and F. Silva, “G-Tries: an efficient data structure for discovering network motifs,” in 25th ACM Symposium on Applied Computing - Bioinformatics and Computational Systems Biology Track, Sierre, Switzerland, pp. 1559 -- 1566, ACM Digital Library, March 2010. [ bib | DOI ]
[5] J. P. Leal and F. M. A. Silva, “Using mooshak as a competitive learning tool,” in A New Learning Paradigm: Competition Supported by Technology (E. Verdú, R. M. Lorenzo, M. A. Revilla, and L. M. Regueras, eds.), pp. 91--105, Madrid: Sello Editorial, 2010. [ bib ]
[6] P. Ribeiro, F. Silva, and L. Lopes, “Parallel Calculations of Subgraph Census in Biological Networks,” in 1st International Conference on Bioinformatics, Valencia, Spain, January 2010. [ bib ]

2009

[1] P. Ribeiro, F. Silva, and M. Kaiser, “Strategies for Network Motifs Discovery,” in 5th IEEE International Conference on e-Science (e-Science 2009), Oxford, UK, pp. 80--87, IEEE Press, December 2009. [ bib | DOI ]
[2] P. Ribeiro, J. Simonotto, M. Kaiser, and F. Silva, “Parallel calculation of multi-electrode array correlation networks,” Journal of Neuroscience Methods, Elsevier, vol. 184, pp. 357--364, November 2009. [ bib | DOI ]
[3] J. P. Leal and F. Silva, “Incremental Feedback in Competitive Learning,” in ACM-ICPC 2nd Competitive Learning Symposium, Stockholm, Sweden, April 2009. [ bib ]
[4] N. A. Fonseca, A. Srinivasan, F. Silva, and R. Camacho, “Parallel ILP for Distributed Memory Architectures,” Machine Learning Journal, vol. 74, pp. 257--279, March 2009. [ bib | DOI | pdf ]
[5] N. A. Fonseca, V. S. Costa, R. Rocha, R. Camacho, and F. Silva, “Improving the Efficiency of Inductive Logic Programming Systems,” Software - Practice and Experience, Wiley, vol. 39, pp. 189--219, February 2009. (Published online since Aug 19 2008). [ bib | DOI ]

2008

[1] P. Pereira, F. Silva, and N. A. Fonseca, “BIORED - A Genetic Algorithm for Pattern Detection in Biosequences,” in 2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics (IWPACBB 2008), vol. 49 of Advances in Soft Computing, pp. 156--165, Springer-Verlag, October 2008. [ bib | DOI ]
[2] F. Silva, G. Barreira, and L. Ribeiro, eds., IBERGRID'2008, Proceedings of the 2nd Iberian Grid Infrastructure Conference, Porto, Portugal. University of Porto, May 2008. [ bib ]
[3] J. P. Leal and F. Silva, “Using Mooshak as a Competitive Learning Tool,” in ACM-ICPC 1st Competitive Learning Symposium, Banff, Canada, April 2008. [ bib ]
[4] R. Martins, L. Lopes, and F. Silva, “A peer-to-peer middleware platform for fault-tolerant, qos, real-time computing,” in 2nd workshop on Middleware-application interaction: affiliated with the DisCoTec federated conferences 2008 (MAI '08). Oslo, Norway, pp. 1--6, ACM Digital Library, 2008. [ bib | DOI ]

2007

[1] P. Ribeiro, P. Pereira, L. Lopes, and F. Silva, “Plugging Computer Labs to the Grid,” in Proceedings of the 1st Iberian GRID Infrastructure Conference (IBERGRID'07), Santiago de Compostela, Spain, pp. 393 -- 396, Fundación CESGA, May 2007. [ bib ]
[2] P. Pereira, N. A. Fonseca, and F. Silva, “Fast Discovery of Statistically Interesting Words,” tech. rep., TR DCC-2007-01, DCC-FC & LIACC, Universidade do Porto, January 2007. [ bib ]

2006

[1] P. Pereira, N. A. Fonseca, and F. Silva, “A High Performance Distributed Tool for Mining Patterns in Biological Sequences,” tech. rep., TR DCC-2006-08, DCC-FC & LIACC, Universidade do Porto, December 2006. [ bib ]
[2] N. Fonseca, F. Silva, and R. Camacho, “April - An Inductive Logic Programming System,” in 10th European Conference on Logics in Artificial Intelligence (JELIA06), Liverpool, England, pp. 481--484, Springer-Verlag, LNCS 4160, September 2006. [ bib | DOI | pdf ]

2005

[1] C. Schulte, F. Silva, and R. R. (Eds.), “Proceedings of the 5th Colloquium on the Implementation of Constraint and LOgic Programming Systems (CICLOPS),” tech. rep., TR DCC-2005-08, DCC-FC & LIACC, Universidade do Porto, October 2005. [ bib | pdf ]
[2] R. Rocha, F. Silva, and V. S. Costa, “Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs,” in 21st International Conference on Logic Programming (ICLP'2005), Sitges, Spain, pp. 250--264, Springer-Verlag, LNCS 3668, October 2005. [ bib | DOI ]
[3] R. Rocha, R. Lopes, F. Silva, and V. S. Costa, “IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.,” in 21st International Conference on Logic Programming (ICLP'2005), Sitges, Spain, pp. 416--417, Springer-Verlag, LNCS 3668, October 2005. [ bib | DOI ]
[4] N. Fonseca, F. Silva, V. S. Costa, and R. Camacho, “A Pipelined Data-Parallel Algorithm for ILP,” in IEEE International Conference on Cluster Computing (Cluster 2005), Boston, USA, IEEE CS Press, September 2005. [ bib | DOI | pdf ]
[5] N. Fonseca, F. Silva, and R. Camacho, “Strategies to Parallelize ILP Systems,” in 15th International Conference on Inductive Logic Programming (ILP 2005), Bonn, Germany, vol. 3625 of LNCS, pp. 136--153, Springer-Verlag, August 2005. (Best Student Paper award). [ bib | DOI | pdf ]
[6] J. ao Paulo Magalhães, F. Silva, and L. Lopes, “P3fs: um Sistema de Ficheiros Distribuído para uma Arquitectura P2P.,” in Actas da 6a. Conferência em Redes e Serviços de Comunicação (CRSC'2005), Covilhã, Portugal, June 2005. [ bib ]
[7] R. Rocha, F. Silva, and V. S. Costa, “On Applying Or-Parallelism and Tabling to Logic Programs,” Journal of Theory and Practice of Logic Programming, vol. 5, pp. 161--205, January 2005. [ bib | DOI | pdf ]

2004

[1] R. Rocha, F. Silva, and V. S. Costa, “Speculative Computations in Or-Parallel Tabled Logic Programs,” in 20th International Conference on Logic Programming, ICLP'2004, Saint-Malo, France, vol. 3132 of LNCS, pp. 254--268, Springer-Verlag, September 2004. [ bib | pdf | html ]
[2] N. A. Fonseca, V. S. Costa, R. Camacho, and F. Silva, “On avoiding redundancy in Inductive Logic Programming,” in Proceedings of the 14th International Conference on Inductive Logic Programming (ILP 2004), Porto, Portugal, vol. 3194 of LNAI, pp. 132--146, Springer-Verlag, September 2004. [ bib | pdf | html ]
[3] R. Rocha, F. Silva, and V. S. Costa, “Concurrent Table Accesses in Parallel Tabled Logic Programs,” in 10th International Euro-Par Conference, Euro-Par 2004, Pisa, Italy, vol. 3149 of LNCS, pp. 662--670, Springer-Verlag, August/September 2004. [ bib | pdf | html ]
[4] R. Lopes, V. S. Costa, and F. Silva, “Prunning in the Extended Andorra Model,” in 6th International Symposium on Practical Aspects of Declarative Languages (PADL'2004), Dallas, USA, vol. 3057 of LNCS, pp. 120--134, Springer-Verlag, June 2004. [ bib | pdf | html ]
[5] R. Lopes, V. S. Costa, and F. Silva, “Exploiting Parallelism in the Extended Andorra Model,” in IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2004), Insbruck, Austria. (A. Press, ed.), pp. 483--489, February 2004. [ bib | pdf ]

2003

[1] R. Lopes, V. S. Costa, and F. Silva, “On Deterministic Computations in teh Extended Andorra Model,” in 19th International Conference on Logic Programming (ICLP 2003), India, vol. 2916 of LNCS, pp. 407--421, Springer-Verlag, December 2003. [ bib | pdf | html ]
[2] R. Rocha, F. Silva, and R. Martins, “YapDSS: an Or-Parallel Prolog System for Scalable Beowulf Clusters,” in 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, vol. 2902 of LNAI, pp. 136--150, Springer-Verlag, December 2003. [ bib | pdf | html ]
[3] R. Lopes, V. S. Costa, and F. Silva, “On the BEAM Implementation,” in 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, vol. 2902 of LNAI, pp. 131--135, Springer-Verlag, December 2003. [ bib | pdf | html ]
[4] N. Fonseca, V. S. Costa, F. Silva, and R. Camacho, “Experimental Evaluation of a Caching Technique for ILP,” in 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, vol. 2902 of LNAI, pp. 151--155, Springer-Verlag, December 2003. [ bib | pdf | html ]
[5] R. Rocha, F. Silva, and V. S. Costa, “A Tabling Engine Designed to Support Mixed-Strategy Evaluation,” in Proceedings of the CICLOPS'2003: Colloquium on Implementation of Constraint and LOgic Programming Systems, co-located with ICLP'2003, Mumbai, India, December 2003. [ bib | pdf ]
[6] N. Fonseca, V. S. Costa, F. Silva, and R. Camacho, “On Avoiding Redundancy in Inductive Logic Programming Systems,” tech. rep., DCC-2003-04, DCC - FC & LIACC, Universidade do Porto, November 2003. [ bib | pdf ]
[7] N. Fonseca, V. S. Costa, F. Silva, and R. Camacho, “On the Implementation of an ILP System with Prolog,” tech. rep., DCC-2003-03, DCC - FC & LIACC, Universidade do Porto, October 2003. Extended version of the corresponding EPIA'2003 paper. [ bib | pdf ]
[8] N. A. Fonseca, R. Rocha, R. Camacho, and F. Silva, “Efficient Data Structures for Inductive Logic Programming,” in 13th International Conference on Inductive Logic Programming, ILP'2003, Hungary, vol. 2835 of LNAI, pp. 130--145, Springer-Verlag, September 2003. [ bib | pdf | html ]
[9] N. Fonseca, R. Camacho, and F. Silva, “A parallel ILP algorithm that incorporates incremental batch learning,” in Proceedings of the Workshop on Parallel and Distributed Computing for Machine Learning, co-located with ECML/PKDD'2003, Dubrovnik, September 2003. [ bib | pdf ]
[10] N. Amado, J. ao Gama, and F. Silva, “Exploiting Parallelism in Decision Tree Induction,” in Proceedings of the Workshop on Parallel and Distributed Computing for Machine Learning, co-located with ECML/PKDD'2003, Dubrovnik, September 2003. [ bib | pdf ]
[11] H. Paulino, P. Marques, L. Lopes, V. Vasconcelos, and F. Silva, “A multi-threaded asynchronous language,” in 7th International Conference on Parallel Computing Technologies, PaCT'03, Nizhni Novgorod, Russia, vol. 2763 of LNCS, pp. 316--323, Springer-Verlag, August 2003. [ bib | pdf ]
[12] H. Paulino, L. Lopes, and F. Silva, “Mob: A Scripting Language for Mobile Agents based on a Process Calculus,” in International Conference on Web Engineering (ICWE'2003), Oviedo, Spain, vol. 2722 of LNCS, pp. 40--43, Springer-Verlag, July 2003. [ bib | pdf | html ]
[13] H. Paulino, L. Lopes, and F. Silva, “Mob: a scripting language for programming web agents,” in 13th Workshop for PhD Students on Object-Oriented Systems at ECOOP'2003, Darmstadt, Germany., July 2003. SC: 4(1). [ bib ]
[14] A. R. Figueira, H. Paulino, L. Lopes, and F. Silva, “Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources,” in Simpósio Brasileiro de Linguagens de Programação, May 2003. [ bib ]
[15] N. Fonseca, F. Silva, R. Camacho, and V. S. Costa, “Induction with April: a preliminary report,” tech. rep., DCC-2003-02, DCC - FC & LIACC, Universidade do Porto, May 2003. [ bib | pdf ]
[16] A. R. Figueira, H. Paulino, L. Lopes, and F. Silva, “Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources,” Journal of Universal Computer Science, vol. 9, no. 8, pp. 745--760, 2003. [ bib | DOI | pdf ]
[17] J. P. Leal and F. Silva, “Mooshak: a Web-based multi-site programming contest system,” Software Practice & Experience, vol. 33, no. 6, pp. 567--581, 2003. [ bib | DOI | pdf ]

2002

[1] J. P. Leal and F. Silva, “Managing Programming Contests with Mooshak,” in Eunis, The 8th International Conference of European University Information Systems, Porto, July 2002. [ bib ]
[2] L. Oliveira, L. Lopes, and F. Silva, “P3 (Parallel Peer-to-Peer): an Internet Parallel Programming Environment,” in Workshop on Web Engineering and Peer-to-Peer Computing, part of Networking 2002, Italy, vol. 2376 of LNCS, pp. 274--288, Springer-Verlag, May 2002. [ bib | pdf | html ]
[3] R. Rocha, F. Silva, and V. S. Costa, “Achieving Scalability in Parallel Tabled Logic Programs,” in 16th International Parallel and Distributed Processing Symposium (IPDPS'02), IEEE Computer Society, Fort Lauderdale, Florida, USA, April 2002. [ bib | pdf | html ]

2001

[1] N. Amado, J. ao Gama, and F. Silva, “Parallel Implementation of Decision Tree Learning Algorithms,” in Proceedings of the 10th Portuguese Conference on Artificial Intelligence (EPIA'2001), vol. 2258 of LNAI, pp. 6--13, Springer-Verlag, December 2001. [ bib | pdf | html ]
[2] R. Rocha, F. Silva, and V. S. Costa, “On a Tabling Engine that can Exploit Or-Parallelism,” in 17th International Conference on Logic Programming (ICLP 2001), Cyprus, vol. 2237 of LNCS, pp. 43--58, Springer-Verlag, November 2001. [ bib | pdf | html ]
[3] M. Antunes, F. Silva, and M. E. Correia, “Metawebmin: Administração centralizada de grupos de sistemas Unix,” in Actas da 4a. Conferência sobre Redes de Computadores, Tecnologias e Aplicações (CRC'2001), Covilhã, November 2001. (Also available as Technical Report DCC-2001-10). [ bib | pdf ]
[4] V. S. Costa, I. C. Dutra, F. França, M. Pereira, P. Vargas, C. Geyer, J. Barbosa, C. Costa, P. Lima, F. Dargam, A. Branco, J. M. Filho, G. Gupta, E. Pontelli, M. Correia, R. Lopes, R. Rocha, and F. Silva, “Towards Effective Parallel Logic Programming,” in Proceedings of the Projects Evaluation Workshop ProTeM-CC 2001, International Cooperation NSF/INRIA, CNPq, Rio de Janeiro, Brazil (N. Prugner, P. Lima, and C. Costa, eds.), pp. 243--265, October 2001. [ bib | pdf ]
[5] R. Lopes, V. S. Costa, and F. Silva, “A Novel Implementation of the Extended Andorra Model,” in 3rd International Symposium on Practical Aspects of Declarative Languages (PADL'2001), Las Vegas, vol. 1990 of LNCS, pp. 199--213, Springer-Verlag, March 2001. [ bib | pdf | html ]
[6] L. Lopes, V. T. Vasconcelos, and F. Silva, “Fine-Grained Multithreading with Process Calculi,” IEEE Transactions on Computers, Special Issue on the Parallel Architectures and Compilation Techniques Conference, vol. 50, no. 8, pp. 852--862, 2001. submission subject to further reviewing; revised and extended version of paper in PACT'00). [ bib | DOI | pdf ]

2000

[1] R. Rocha, F. Silva, and V. S. Costa, “A Tabling Engine for the Yap Prolog System,” in Proceedings of the 2000 APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'00), La Habana, Cuba, December 2000. [ bib | pdf ]
[2] L. Lopes, A. Figueira, F. Silva, and V. T. Vasconcelos, “A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility,” in IEEE International Conference on Cluster Computing (Cluster'2000), Saxony, Germany, pp. 297--306, IEEE Press, November 2000. [ bib | pdf | html ]
[3] L. Lopes, F. Silva, and V. T. Vasconcelos, “Fine Grained Multithreading with Process Calculi,” in International Conference on Parallel Architectures and Compilation Techniques (PACT'00), Philadelphia, USA, pp. 217--226, IEEE Press, October 2000. (Selected as one of the four best papers). [ bib | pdf | html ]
[4] R. Rocha, F. Silva, and V. S. Costa, “YapTab: a Tabling Engine Designed to Support Parallelism,” in Proceedings of the Workshop on Tabulation in Parsing and Deduction (TAPD'00), Vigo, pp. 77--87, September 2000. [ bib | pdf ]
[5] V. S. Costa, R. Rocha, and F. Silva, “Novel Models for Or-Parallel Logic Programs: a Performance Analysis,” in EuroPar'2000, Berlin, vol. 1900 of LNAI, pp. 744--753, Springer-Verlag, August 2000. [ bib | pdf | html ]
[6] R. Lopes, F. Silva, V. S. Costa, and S. Abreu, “The RAINBOW: Towards a Parallel BEAM,” in Proceedings of the 2000 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, part of CL2000, London, pp. 38--54, July 2000. [ bib | pdf ]
[7] L. Lopes, A. Figueira, F. Silva, and V. Vasconcelos, “A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility,” tech. rep., DCC-2000-5, DCC - FC & LIACC, Universidade do Porto, June 2000. [ bib | pdf ]
[8] F. Silva and P. Watson, “Or-Parallel Prolog on a Distributed Memory Architecture,” Journal of Logic Programming, vol. 43, pp. 173--186, May 2000. [ bib | DOI | pdf ]

1999

[1] A. Figueira, F. Silva, L. Lopes, and V. Vasconcelos, “DiTyCO: Concorrência e Mobilidade de Código,” in Actas do 1o. Encontro Português de Computação Móvel, Tomar, pp. 25--35, November 1999. [ bib | pdf ]
[2] R. Rocha, F. Silva, and V. S. Costa, “YapOr: an Or-Parallel Prolog System Based on Environment Copying,” in 9th Portuguese Conference on Artificial Intelligence (EPIA'99), Évora, Portugal, vol. 1695 of LNAI, pp. 178--192, Springer-Verlag, September 1999. [ bib | pdf | html ]
[3] L. Lopes, F. Silva, and V. T. Vasconcelos, “A Virtual Machine for a Process Calculus,” in Principles and Practice of Declarative Programming (PPDP'99), Paris, vol. 1702 of LNCS, pp. 244--260, Springer-Verlag, September 1999. [ bib | pdf | html ]
[4] F. Silva, H. Paulino, and L. Lopes, “Di_pSystem: a parallel Programming System for Distributed Memory Architectures,” in Recent Advances in Parallel Virtual Machines and Message Passing Interface (Proceedings of EuroPVM/MPI'99), Barcelona, vol. 1697 of LNCS, pp. 525--532, Springer-Verlag, September 1999. [ bib | pdf | html ]
[5] H. Paulino, F. Silva, and L. Lopes, “Um Modelo de Programação Paralela Simples para Arquitecturas Distribuídas de Baixo-Custo,” in Proceedings of the 11th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'99), Natal, Brasil, pp. 121--126, September 1999. [ bib | pdf ]
[6] L. F. Castro, V. S. Costa, C. Geyer, F. Silva, P. K. Vargas, and M. E. Correia, “DAOS -- Scalable And-Or Parallelism,” in EuroPar'99 Parallel Processing (Topic 11 Parallel Programming: Models, Methods and Languages), Toulouse, France, vol. 1685 of LNCS, pp. 899--908, Springer-Verlag, August/September 1999. [ bib | pdf | html ]
[7] L. Lopes, F. Silva, A. Figueira, and V. T. Vasconcelos, “DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi,” in Proceedings of the 1999 Mobile Object Systems Workshop (ECOOP'99), Lisbon, June 1999. [ bib | pdf ]
[8] L. Lopes, F. Silva, and V. T. Vasconcelos, “Typed Concurrent Objects,” in ECOOP'99 Workshop-Reader, Springer-Verlag, LNCS, Lisbon, June 1999. [ bib ]
[9] I. Dutra, M. Carro, V. S. Costa, G. Gupta, E. Pontelli, and F. S. (eds.), Parallelism and Implementation of (Constraint) Logic Programming. Nova Science, 1999. [ bib ]
[10] R. Rocha, F. Silva, and V. S. Costa, “Or-Parallelism within Tabling,” in International Workshop on Practical Aspects of Declarative Languages (PADL'99), San-Antonio, Texas, vol. 1551 of LNCS, pp. 137--151, Springer-Verlag, January 1999. [ bib | pdf | html ]
[11] V. S. Costa, R. Rocha, and F. Silva, “Three Amigos: A Tale of Three Execution Models for Or-Parallelism,” tech. rep., DCC-99-2, DCC-FC & LIACC, Universidade do Porto, 1999. [ bib | pdf ]

1998

[1] A. Figueira, F. Silva, L. Lopes, and V. Vasconcelos, “Um Ambiente para Computações Distribuídas, Concorrência e Mobilidade de Código,” in Actas da 1a. Conferência sobre Redes de Computadores, Coimbra, pp. 139--142, November 1998. [ bib | pdf ]
[2] H. Paulino, F. Silva, and L. Lopes, “di_pSystem: Um Ambiente de Programação Paralela para Arquitecturas de Memória Distribuída,” in Actas da 1a. Conferência sobre Redes de Computadores, Coimbra, pp. 143--148, November 1998. [ bib | pdf ]
[3] L. Lopes, F. Silva, and V. Vasconcelos, “Compiling Process Calculi,” Tech. Rep. DCC-98-1, DCC-FC & LIACC, Universidade do Porto, March 1998. [ bib ]
[4] V. Vasconcelos, L. Lopes, and F. Silva, “Distribution and Mobility with Lexical Scoping in Process Calculi,” 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), 1998. [ bib | DOI | pdf ]

1997

[1] R. Rocha, F. Silva, and V. S. Costa, “YapOr: an Or-Parallel Prolog System based on Environment Copying,” Tech. Rep. DCC-97-14, DCC-FC & LIACC, Universidade do Porto, December 1997. [ bib ]
[2] L. Lopes, F. Silva, and V. Vasconcelos, “A Framework for Compiling Object Calculi,” Tech. Rep. DCC-97-12, DCC-FC & LIACC, Universidade do Porto, November 1997. [ bib ]
[3] Inês Dutra, Vítor Santos Costa, Fernando Silva, Enrico Pontelli and Gopal Gupta, “Proceedings of The Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Systems,” Tech. Rep. DCC-97-11, DCC-FC & LIACC, Universidade do Porto, October 1997. [ bib | pdf ]
[4] M. E. Correia, F. Silva, and V. S. Costa, “The SBA: Exploiting Orthogonality in AND-OR Parallel Systems,” in International Logic Programming Symposium (ILPS'97), Port Jefferson, Long Island, NY, pp. 117--131, The MIT Press, October 1997. [ bib | pdf ]
[5] R. Rocha, F. Silva, and V. S. Costa, “On Applying Or-Parallelism to Tabled Evaluations,” in Proceedings of the International Workshop on Tabling in Logic Programming, Leuven, pp. 33--45, July 1997. [ bib | pdf ]
[6] F. Silva and P. Watson, “Or-Parallel Prolog on a Distributed Memory Architecture,” Tech. Rep. DCC-97-6, DCC-FC & LIACC, Universidade do Porto, July 1997. [ bib ]
[7] L. Lopes and F. Silva, “Thread- and Process-Based Implementations of the pSystem Parallel Programming Environment,” Software Practice and Experience, vol. 27, pp. 329--351, March 1997. [ bib | DOI | pdf ]

1996

[1] V. S. Costa, M. E. Correia, and F. Silva, “Performance of Sparse Binding Arrays for Or-Parallelism,” in Proceedings of the VIII SBAC-PAD, Recife, Brasil, pp. 151--160, August 1996. [ bib | pdf ]

1995

[1] V. S. Costa, F. Silva, and I. de Castro Dutra, eds., Parallel Logic Programming Systems, Technical Report, LIACC & Universidade do Porto, Proceedings of the Post-ILPS'95 Workshop on Parallel Logic Programming Systems, Portland, Oregon, USA, December 1995. [ bib | pdf ]
[2] V. S. Costa, M. E. Correia, and F. Silva, “Sparse Binding Array Approach to Parallelism in Logic Programs,” in Post-ILPS'95 Workshop on Parallel Logic Programming Systems, Portland, Oregon, USA, December 1995. [ bib | pdf ]
[3] L. Lopes and F. Silva, “Thread- and Process-Based Implementations of the pSystem Parallel Programming Environment,” tech. rep., LIACC, November 1995. [ bib ]
[4] M. E. Correia, V. S. Costa, and F. Silva, “Using Sparse Binding Arrays for Or-parallelism,” in 3rd COMPULOG NET Workshop on Parallelism and Implementation Technology, Utrecht, Holland, pp. 68--76, September 1995. [ bib ]
[5] M. E. Correia, F. Silva, and V. S. Costa, “Aurora vs. Muse: A Performance Study of Two Or-Parallel Prolog Systems,” Computing Systems Engineering Journal, Pergamon, vol. 6, no. 4/5, pp. 345--349, 1995. [ bib | pdf ]

1994

[1] V. S. Costa, M. E. Correia, and F. Silva, “Aurora, Andorra-I and Friends on the Sun,” in Proceedings of the Post-ILPS'94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, NY, USA, pp. 32--41, November 1994. [ bib ]
[2] V. S. Costa, M. E. Correia, and F. Silva, “Aurora and Friends on the Sun (Extended Abstract),” in 2nd COMPULOG NET Workshop on Parallelism and Implementation Technologies, Madrid,, September 1994. [ bib ]
[3] F. M. A. Silva and L. M. B. Lopes, “A Testbed Environment to Evaluate Scheduling Algorithms,” in ANAIS do XIV Congresso da Sociedade Brasileira de Computação (XXI SEMISH), Caxambu, Brasil, pp. 19--32, August 1994. [ bib | pdf ]
[4] L. M. B. Lopes and F. M. A. Silva, “Scheduling Algorithms Performance with the pSystem Parallel Programming Environment,” in 1994 Parallel Architectures and Languages Europe (PARLE'94), Athens, Greece, vol. 817 of LNCS, pp. 827--830, Springer-Verlag, July 1994. [ bib | pdf | html ]
[5] L. B. Lopes and F. M. A. Silva, “Dynamic Scheduling Experiments with a Thread-based Parallel Programming System,” tech. rep., LIACC, Universidade do Porto, July 1994. [ bib ]
[6] F. M. A. Silva, “Or-Parallelism on Distributed Shared Memory Architectures,” in Implementations of Logic Programming Systems (E. Tick and G. Succi, eds.), pp. 203--215, Kluwer Academic Pub., 1994. [ bib ]

1993

[1] F. M. A. Silva, “An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine,” in 6th Portuguese Conference on Artificial Intelligence, Porto, Portugal, vol. 727 of LNAI, pp. 170--182, Springer-Verlag, October 1993. [ bib | pdf | html ]
[2] M. E. Correia, F. Silva, and V. S. Costa, “Aurora vs. Muse: a Performance Study of Two Or-Parallel Prolog Systems,” in Proceedings of 1st International Meeting on Vector and Parallel Processing, Porto, September 1993. [ bib ]
[3] F. Silva and L. B. Lopes, “pSystem: a Portable Parallel Programming System for Shared-Memory Multiprocessor Computers Running UNIX,” in Proceedings of 1st International Meeting on Vector and Parallel Processing, Porto, Portugal, September 1993. [ bib ]
[4] F. M. A. Silva, An Implementation of Or-Parallel Prolog on a Distributed Shared Memory Architecture. PhD thesis, Dept. of Computer Science, Univ. of Manchester, September 1993. [ bib ]
[5] F. M. A. Silva, “Initial Performance of Dorpp: an Or-Parallel Prolog System for a Distributed Shared Memory Architecture,” in Proceedings of the ICLP'93 Postconference Workshop on Concurrent, Distributed and Parallel Implementation of Logic Programming Systems, June 1993. [ bib ]

1988

[1] F. M. A. Silva, “A Configurable Shell Utilising Multiple Level Inference Strategies and Meta-Level Knowledge,” Master's thesis, UMIST, October 1988. [ bib ]

1989

[1] F. M. A. Silva, “Issues on the Implementation of Sequential and Or-Parallel Prolog,” tech. rep., PhD Interim Report, Dept. of Computer Science, University of Manchester, October 1989. [ bib ]