???global.info.a_carregar???
Fernando Silva studied Applied Mathematics at the University of Porto (UP) and in 1987 went to England were he obtained the M.Sc. in Computing at UMIST (1988) and the Ph.D. in Computer Science from the University of Manchester (1993) under the supervision of Prof. Paul Watson. In 2007, obtained the Habilitation in Informatics from the New University of Lisbon. He joined the Department of Applied Mathematics in 1985 and later, in 1996, joined the newly created Computer Science Department, both departments are at the Faculty of Science of the University of Porto (FCUP). He is a Professor of Computer Science at FCUP, founder and scientific coordinator of the Center for Research in Advanced Computing Systems (CRACS) (2007 till 2018). From 2007 till May/2018, he was a member of MAP-i scientific board, the Doctoral Program in Computer Science of the Universities of Minho, Aveiro and Porto (was Director in 2008/09 and 2014/15). In that period he was the PI for the Dual PhD Degree in Computer Science between MAPi and Carnegie Mellon University, representing UP, and was Co-Director for Advanced Computing in the UTAustin-Portugal initiative. He was the head of the Computer Science Department from 1/2006 till 12/2007. From 2014 till June 2018, he was an elected member of the scientific council and trusty boards of the School of Sciences. In June 2018 he became Vice-Rector of the University of Porto with a mission to accelerate Digital Transformation in the University. His primary research interests are in logic programming, programming languages, parallel and distributed computing, middleware and peer-to-peer systems, algorithms for motif discovery in complex networks, and applications in information mining. He has advised 12 completed PhD theses, coordinated competitive research projects totalling over 5 million Euros, and published extensively in these areas. He has been invited for scientific committees of several workshops and conferences, and he currently vice-chair of Euro-Par, the major European conference on Parallel and Distributed Computing. In 2019, he was the Director of the 43rd International Collegiate Programming Contest (ICPC) World Finals hosted by the University of Porto, in Porto, with 135 different University teams competing.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Fernando Manuel Augusto da Silva

Nomes de citação

  • Silva, Fernando M. A.
  • Silva, Fernando

Identificadores de autor

Ciência ID
571E-8326-2FCF
ORCID iD
0000-0001-8411-7094
AuthenticusID
R-000-510
Google Scholar ID
https://scholar.google.com/citations?user=OlshyPwAAAAJ
Researcher Id
C-5986-2009
Scopus Author Id
35613169000

Moradas

  • Computer Science Department, Faculty of Sciences, University of Porto, Rua do Campo Alegre, 1021, 4169-007, Porto, Porto, Portugal (Profissional)

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Formação
Grau Classificação
2007/09/25 - 2007/09/26
Concluído
 Habilitation in Informatics (Subarea of Arquitecture and Computational Systems) (Título de Agregado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 Unanimously approved
1988/10/16 - 1993/11/01
Concluído
 Computer Science (Doctor of Philosophy)
The University of Manchester Faculty of Science and Engineering, Reino Unido
"An Implementation of Or-Parallel Prolog on a Distributed Shared Memory Architecture" (TESE/DISSERTAÇÃO)
1987/09/10 - 1988/10/15
Concluído
 Computing (Master)
The University of Manchester - North Campus, Reino Unido
"A Configurable Shell Utilising Multiple Level Inference Strategies and Meta-Level Knowledge" (TESE/DISSERTAÇÃO)
1980/12/03 - 1985/07/20
Concluído
 Matemática Aplicada (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
 15
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2012/07/11 - Atual Professor Catedrático (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
2001/06/20 - 2012/07/10 Professor Associado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
1994/02/03 - 2001/06/19 Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
1989/01/11 - 1994/02/02 Assistente (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
1985/11/19 - 1989/01/10 Assistente Estagiário (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2018/06/27 - 2022/06/21 Vice-Reitor Universidade do Porto, Portugal
Projetos

Projeto

Designação Financiadores
2015/07 - 2018/12 SMILeS – Smart, Mobile, Intelligent and Large Scale Sensing
NORTE-01-0145-FEDER-000020
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
Comissao de Coordenacao e Desenvolvimento Regional do Norte
Concluído
2015/07 - 2018/12 SMILeS ¿ Smart, Mobile, Intelligent and Large Scale Sensing
NORTE-01-0145-FEDER-000020
 Comissao de Coordenacao e Desenvolvimento Regional do Norte
2014/04/21 - 2018/07/31 Hyrax: Crowd-Sourcing Mobile Devices to Develop Edge Clouds
CMUP-ERI/FIA/0048/2013
Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Carnegie Mellon University, Estados Unidos

Instituto de Telecomunicações Lisboa, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade do Porto Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2014/04 - 2018/07 Hyrax: Crowd-Sourcing Mobile Devices to Develop Edge Clouds
Provided by PTCRIS: 135826
135826
CMUP-ERI/FIA/0048/2013
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2016/03 - 2018/06 Digi-NewB - Non-invasive monitoring of perinatal health through multiparametric digital representation of clinically relevant functions
689260
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
EU Framework Programme for Research and Innovation Science with and for Society
Concluído
2013/01 - 2015/06 SIBILA - Towards Smart Interacting Blocks that Improve Learned Advice
ON2/NORTE-07-0124-FEDER-000059
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
Comissao de Coordenacao e Desenvolvimento Regional do Norte
Concluído
2011/01/01 - 2014/06/30 MicroGrids+EV: Identificação de Estratégias de Controlo e Gestão de Micro-Redes Integrando Veículos Eléctricos
PTDC/EEA-EEL/103546/2008
Instituto de Engenharia de Sistemas e Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2011/03 - 2014/02 LEAP - Logic Environments with Advanced Parallelism
112158
Provided by PTCRIS: 112158
PTDC/EIA-CCO/112158/2009
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2010/04 - 2013/03 HORUS, Horn Representations of Uncertain Systems
Provided by PTCRIS: 100897
100897
PTDC/EIA-EIA/100897/2008
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2011/01/01 - 2012/12/31 Strategic Project - LA 14 - 2011-2012
PEst-C/EEI/LA0014/2011
PEst-C/EAT/UI4057/2011
Instituto de Engenharia Mecânica, Portugal

Universidade de Aveiro, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/05/18 - 2011/05/17 Quadro formal para projecto e operação de redes de veículos e sensores em aplicações inovadores de elevado impacto na sociedade
PTDC/EEA-ACR/75242/2006
Universidade do Porto Faculdade de Desporto, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

University of California Berkeley, Estados Unidos

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade do Minho Centro ALGORITMI, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Centro de Investigação em Sistemas e Tecnologias, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01 - 2011/01 STAMPA - Sophisticated TAbling Mechanisms for Prolog and their Applications
Provided by PTCRIS: 67738
67738
PTDC/EIA/67738/2006
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2002/06 - 2005/11 APRIL: Applications using Parallelism in Induction and Logic
Provided by PTCRIS: 40749
40749
POSI/SRI/40749/2001
POSI/SRI/40749/2001
Investigador responsável
Universidade do Porto Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia, I.P.
Concluído
Produções

Publicações

Artigo em conferência
  1. Silva, J; Aparício, D; Ribeiro, P; Silva, Fernando. "FOCAS: Penalising friendly citations to improve author ranking". Trabalho apresentado em 35th Annual ACM Symposium on Applied Computing, SAC 2020, Brno, 2020.
    Publicado • 10.1145/3341105.3373991
  2. Silva, JMA; Marques, ERB; Lopes, LMB; Silva, FMA. "Jay: Adaptive Computation Offloading for Hybrid Cloud Environments". 2020.
    10.1109/fmec49853.2020.9144950
  3. Aparício, D; Ribeiro, P; Silva, F; Silva, JMB. "Finding Dominant Nodes Using Graphlets". 2019.
    10.1007/978-3-030-36687-2_7
  4. Silva, JMB; Ribeiro, P; Silva, FMA. "Hierarchical Expert Profiling Using Heterogeneous Information Networks". 2018.
    10.1007/978-3-030-01771-2_22
  5. Rodrigues, J; Marques, ERB; Silva, J; Lopes, LMB; Silva, FMA. "Video Dissemination in Untethered Edge-Clouds: A Case Study". 2018.
    10.1007/978-3-319-93767-0_10
  6. Silva, JMB; Aparício, DO; Silva, FMA. "OTARIOS: OpTimizing Author Ranking with Insiders/Outsiders Subnetworks". 2018.
    10.1007/978-3-030-05411-3_12
  7. Pinto Silva, PMP; Rodrigues, J; Silva, J; Martins, R; Lopes, L; Silva, F. "Using Edge-Clouds to Reduce Load on Traditional WiFi Infrastructures and Improve Quality of Experience". 2017.
    10.1109/icfec.2017.14
  8. Silva, JMB; Silva, FMA. "Feature extraction for the author name disambiguation problem in a bibliographic database". 2017.
    10.1145/3019612.3019663
  9. Choobdar, S; Pinto Ribeiro, PM; Silva, FMA. "Evolutionary role mining in complex networks by ensemble clustering". 2017.
    10.1145/3019612.3019815
  10. Silva, J; Silva, D; Marques, ERB; Lopes, LMB; Silva, FMA. "P3-Mobile: Parallel Computing for Mobile Edge-Clouds". 2017.
    10.1145/3069383.3069388
  11. Rodrigues, J; Marques, ERB; Lopes, LMB; Silva, FMA. "Towards a middleware for mobile edge-cloud applications". 2017.
    10.1145/3152360.3152361
  12. Rodrigues, J; Silva, J; Martins, R; Lopes, L; Drolia, U; Narasimhan, P; Silva, F. "Benchmarking Wireless Protocols for Feasibility in Supporting Crowdsourced Mobile Computing". 2016.
    10.1007/978-3-319-39577-7_8
  13. Aparicio, D; Ribeiro, P; Silva, F. "A Subgraph-Based Ranking System for Professional Tennis Players". 2016.
    10.1007/978-3-319-30569-1_12
  14. Choobdar, S; Ribeiro, P; Silva, F. "Discovering Weighted Motifs in Gene co-expression Networks". 2015.
    10.1145/2695664.2695773
  15. Silva, J; Aguiar, A; Silva, F. "A Parallel Computing Hybrid Approach for Feature Selection". 2015.
    10.1109/cse.2015.34
  16. Choobdar, S; Ribeiro, P; Silva, F. "Pairwise structural role mining for user categorization in information cascades". 2015.
    10.1145/2808797.2808909
  17. Aparicio, D.O.; Ribeiro, P.M.P.; Silva, F.M.A.D.. "Parallel subgraph counting for multicore architectures". 2014.
    10.1109/ISPA.2014.14
  18. Martins, R.; Lopes, L.; Silva, F.; Narasimhan, P.. "Stheno, a real-time fault-tolerant P2P middleware platform for light-train systems". 2013.
    10.1145/2480362.2480449
  19. Vieira, Rui; Rocha, Ricardo; Silva, FernandoM.A.. Autor correspondente: Silva, FernandoM.A.. "On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores". Trabalho apresentado em 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), Udine, 2012.
    Publicado
  20. Vieira, R.; Rocha, R.; Silva, F.. "Or-parallel Prolog execution on multicores based on stack splitting". 2012.
    10.1145/2103736.2103738
  21. Ribeiro, P.; Silva, F.. "Querying subgraph sets with G-tries". 2012.
    10.1145/2304536.2304541
  22. Ribeiro, P.; Silva, F.. "G-tries: An efficient data structure for discovering network motifs". 2010.
    10.1145/1774088.1774422
  23. Ribeiro, P.; Silva, F.; Lopes, L.. "Parallel calculation of subgraph census in biological networks". 2010.
  24. Ribeiro, P.; Silva, F.; Lopes, L.. "Efficient parallel subgraph counting using G-tries". 2010.
    10.1109/CLUSTER.2010.27
  25. Ribeiro, P.; Silva, F.; Kaiser, M.. "Strategies for network motifs discovery". 2009.
    10.1109/e-Science.2009.20
  26. Martins, R.; Lopes, L.; Silva, F.. "A peer-to-peer middleware platform for fault-tolerant, QoS, real-time computing". 2008.
    10.1145/1394272.1394274
  27. FONSECA, NA; SILVA, F; COSTA, VS; CAMACHO, R. "A pipelined data-parallel algorithm for ILP". 2006.
    10.1109/CLUSTR.2005.347059
  28. Danelutto, M; Caromel, D; Szafron, D; Silva, FMA. "Topic 9 - Parallel Programming: Models, Methods and Languages". 2005.
    10.1007/11549468_75
  29. LOPES, R; COSTA, VS; SILVA, F. "Exploiting parallelism in the Extended Andorra Model". 2004.
  30. FIGUEIRA, AR; PAULINO, H; LOPES, L; SILVA, F. "Distributed typed concurrent objects: a programming language for distributed computations with mobile resources". 2003.
  31. Rocha, R; Silva, FMA; Costa, VS. "Achieving Scalability in Parallel Tabled Logic Programs". 2002.
    10.1109/IPDPS.2002.1015488
  32. LOPES, L; SILVA, F; VASCONCELOS, VT. "Fine grained multithreading with process calculi". 2000.
    10.1109/PACT.2000.888346
  33. LOPES, L; FIGUEIRA, A; SILVA, F; VASCONCELOS, VT. "A concurrent programming environment with support for distributed computations and code mobility". 2000.
    10.1109/CLUSTR.2000.889083
  34. Costa, VS; Correia, ME; Silva, F. "Performance of Sparse Binding Arrays for Or-Parallelism". 1996.
    10.5753/sbac-pad.1996.19823
  35. Lopes, LMB; Silva, FMA. "Scheduling Algorithms Performance with the pSystem Parallel Programming Environment". 1994.
    10.1007/3-540-58184-7_167
  36. Costa, VS; Correia, ME; Silva, FMA. "Aurora, Andorra-I and Friends on the Sun". 1994.
  37. Silva, FMA. "Initial Performance of Dorpp: an Or-Parallel Prolog System for a Distributed Shared Memory Architecture". 1993.
  38. Silva, FMA. "An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine". 1993.
    10.1007/3-540-57287-2_46
Artigo em revista
  1. Freitas Silva, Vanessa; Silva, Maria Eduarda; Ribeiro, Pedro; Silva, Fernando. "Multilayer horizontal visibility graphs for multivariate time series analysis". Data Mining and Knowledge Discovery 39 3 (2025): https://doi.org/10.1007/s10618-025-01089-4.
    10.1007/s10618-025-01089-4
  2. Joaquim Silva; Eduardo R. B. Marques; Luís M. B. Lopes; Silva, Fernando M. A.. "Jay: A software framework for prototyping and evaluating offloading applications in hybrid edge clouds". Software: Practice and Experience 53 10 (2023): 2007-2025. https://doi.org/10.1002/spe.3231.
    Publicado • 10.1002/spe.3231
  3. Silva, VF; Maria Eduarda Silva; Ribeiro, P; Silva, Fernando M. A.. "Novel features for time series analysis: a complex networks approach". DATA MINING AND KNOWLEDGE DISCOVERY 36 3 (2022): 1062-1101. https://link.springer.com/article/10.1007/s10618-022-00826-3.
    Acesso aberto • Publicado • 10.1007/s10618-022-00826-3
  4. Silva, Joaquim; Marques, Eduardo R. B.; Lopes, Luís M.B.; Silva, Fernando M. A.. "Energy-aware adaptive offloading of soft real-time jobs in mobile edge clouds". Journal of Cloud Computing 10 1 (2021): http://dx.doi.org/10.1186/s13677-021-00251-9.
    Acesso aberto • Publicado • 10.1186/s13677-021-00251-9
  5. Ribeiro, Pedro; Paredes, Pedro; Silva, Miguel E. P.; Aparicio, David; Silva, Fernando M. A.. "A Survey on Subgraph Counting: Concepts, Algorithms and Applications to Network Motifs and Graphlets". ACM Computing Surveys 54 2 (2021): 1-36. http://dx.doi.org/10.1145/3433652.
    Publicado • 10.1145/3433652
  6. Silva, Vanessa Freitas; Silva, Maria Eduarda; Ribeiro, Pedro; Silva, Fernando. "Time series analysis via network science: Concepts and algorithms". WIREs Data Mining and Knowledge Discovery 11 3 (2021): http://dx.doi.org/10.1002/widm.1404.
    10.1002/widm.1404
  7. Martins, Rolando; Correia, Manuel E.; Antunes, Luís; Silva, Fernando. "Iris: Secure reliable live-streaming with opportunistic mobile edge cloud offloading". Future Generation Computer Systems 101 (2019): 272-292. http://dx.doi.org/10.1016/j.future.2019.06.011.
    10.1016/j.future.2019.06.011
  8. Silva, Jorge; Aparício, David; Silva, Fernando. "Feature-enriched author ranking in incomplete networks". Applied Network Science 4 1 (2019): http://dx.doi.org/10.1007/s41109-019-0182-8.
    Acesso aberto • Publicado • 10.1007/s41109-019-0182-8
  9. Aparício, David; Ribeiro, Pedro; Milenkovic, Tijana; Silva, Fernando. "Temporal network alignment via GoT-WAVE". Bioinformatics 35 18 (2019): 3527-3529. http://dx.doi.org/10.1093/bioinformatics/btz119.
    Acesso aberto • Publicado • 10.1093/bioinformatics/btz119
  10. Aparício, David; Ribeiro, Pedro; Silva, Fernando. "Graphlet-orbit Transitions (GoT): A fingerprint for temporal network comparison". PLOS ONE 13 10 (2018): e0205497. http://dx.doi.org/10.1371/journal.pone.0205497.
    Acesso aberto • Publicado • 10.1371/journal.pone.0205497
  11. Silva, Jorge; Aguiar, Ana; Silva, Fernando. "Parallel Asynchronous Strategies for the Execution of Feature Selection Algorithms". International Journal of Parallel Programming 46 2 (2017): 252-283. http://dx.doi.org/10.1007/s10766-017-0493-2.
    Publicado • 10.1007/s10766-017-0493-2
  12. Aparicio, D; Ribeiro, P; Silva, F. "Extending the Applicability of Graphlets to Directed Networks". IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS (2017):
    10.1109/tcbb.2016.2586046
  13. Lengauer, C.; Bougé, L.; Silva, F.. "Special Issue: Euro-Par 2014". Concurrency Computation 27 16 (2015): 4073-4074. http://www.scopus.com/inward/record.url?eid=2-s2.0-84944872226&partnerID=MN8TOARS.
    10.1002/cpe.3546
  14. Choobdar, S; Ribeiro, P; Parthasarathy, S; Silva, F. "Dynamic inference of social roles in information cascades". DATA MINING AND KNOWLEDGE DISCOVERY (2015):
    10.1007/s10618-015-0402-5
  15. Choobdar, Sarvenaz; Ribeiro, Pedro; Parthasarathy, Srinivasan; Silva, Fernando. "Dynamic inference of social roles in information cascades". Data Mining and Knowledge Discovery 29 5 (2015): 1152-1177. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=CCC&KeyUT=CCC:000359996900003&KeyUID=CCC:000359996900003.
  16. Ribeiro, Pedro; Silva, Fernando. "G-Tries: a data structure for storing and finding subgraphs". Data Mining and Knowledge Discovery 28 2 (2014): 337-377. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000329366300003&KeyUID=WOS:000329366300003.
    10.1007/s10618-013-0303-4
  17. Choobdar, Sarvenaz; Ribeiro, Pedro; Bugla, Sylwia; Silva, Fernando; IEEE. "Comparison of co-authorship networks across scientific fields using motifs". 2012 Ieee/acm International Conference on Advances in Social Networks Analysis and Mining (Asonam) (2012): 147-152. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000320443500020&KeyUID=WOS:000320443500020.
    10.1109/asonam.2012.34
  18. Lopes, Ricardo; Costa, Vitor Santos; Silva, Fernando. "A design and implementation of the Extended Andorra Model". Theory and Practice of Logic Programming 12 (2012): 319-360. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000304364400002&KeyUID=WOS:000304364400002.
    10.1017/s1471068411000068
  19. Dutra, Ines; Rocha, Ricardo; Costa, Vitor Santos; Silva, Fernando; Santos, Joao; IEEE. "Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines". 2012 Ieee 26th International Parallel and Distributed Processing Symposium Workshops & Phd Forum (Ipdpsw) (2012): 1581-1590. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000309409400205&KeyUID=WOS:000309409400205.
    10.1109/IPDPSW.2012.199
  20. Ribeiro, Pedro; Silva, Fernando; Lopes, Luis. "Parallel discovery of network motifs". Journal of Parallel and Distributed Computing 72 2 (2012): 144-154. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000299139000005&KeyUID=WOS:000299139000005.
    10.1016/j.jpdc.2011.08.007
  21. Choobdar, Sarvenaz; Ribeiro, Pedro; Silva, Fernando; Vreeken, J; Ling, C; Zaki, MJ; Siebes, A; et al. "Motif Mining in Weighted Networks". 12th Ieee International Conference on Data Mining Workshops (Icdmw 2012) (2012): 210-217. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000320946500028&KeyUID=WOS:000320946500028.
    10.1109/icdmw.2012.111
  22. Choobdar, Sarvenaz; Ribeiro, Pedro; Silva, Fernando; Abraham, A; Carvalho, A; Corchado, J; Rak, M; et al. "Event Detection in Evolving Networks". 2012 Fourth International Conference on Computational Aspects of Social Networks (Cason) (2012): 26-32. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000314803000005&KeyUID=WOS:000314803000005.
    10.1109/CASoN.2012.6412373
  23. Choobdar, Sarvenaz; Silva, Fernando; Ribeiro, Pedro; Antunes, L; Pinto, HS. "Network Node Label Acquisition and Tracking". Progress in Artificial Intelligence 7026 (2011): 418-430. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000310859800031&KeyUID=WOS:000310859800031.
    10.1007/978-3-642-24769-9_31
  24. Martins, R; Narasimhan, P; Lopes, L; Silva, F. "Lightweight Fault-Tolerance for Peer-to-Peer Middleware". 2010 29th Ieee International Symposium on Reliable Distributed Systems Srds 2010 (2010): 313-317. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000287486100035&KeyUID=WOS:000287486100035.
    10.1109/SRDS.2010.43
  25. FONSECA, NA; SRINIVASAN, A; SILVA, F; CAMACHO, R. "Parallel ILP for distributed-memory architectures". MACHINE LEARNING 74 3 (2009): 257-279. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000263382900002&KeyUID=WOS:000263382900002.
    10.1007/s10994-008-5094-2
  26. RIBEIRO, P; SIMONOTTO, J; KAISER, M; SILVA, F. "Parallel calculation of multi-electrode array correlation networks". JOURNAL OF NEUROSCIENCE METHODS 184 2 (2009): 357-364. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000271914400020&KeyUID=WOS:000271914400020.
    10.1016/j.jneumeth.2009.08.001
  27. FONSECA, NA; COSTA, VS; ROCHA, R; CAMACHO, R; SILVA, F. "Improving the efficiency of inductive logic programming systems". SOFTWARE-PRACTICE & EXPERIENCE 39 2 (2009): 189-219. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000262453600004&KeyUID=WOS:000262453600004.
    10.1002/spe.896
  28. Ribeiro, Pedro; Pereira, Pedro; Lopes, Luis; Silva, Fernando; Tobio, JG; Biempica, RD; Cabido, IL; et al. "Plugging Computer Labs to the Grid". Ibergrid: 1st Iberian Grid Infrastructure Conference Proceedings (2007): 393-396. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000283531300037&KeyUID=WOS:000283531300037.
  29. ROCHA, R; SILVA, F; COSTA, VS. "On applying or-parallelism and tabling to logic programs". THEORY AND PRACTICE OF LOGIC PROGRAMMING 5 (2005): 161-205. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000227408400006&KeyUID=WOS:000227408400006.
    10.1017/s1471068404002030
  30. LEAL, JP; SILVA, F. "Mooshak: a Web-based multi-site programming contest system". SOFTWARE-PRACTICE & EXPERIENCE 33 6 (2003): 567-581. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000182698700004&KeyUID=WOS:000182698700004.
    10.1002/spe.522
  31. Lopes, L.; Vasconcelos, V.T.; Silva, Fernando. "Fine-grained multithreading with process calculi". IEEE Transactions on Computers 50 8 (2001): 852-862. http://dx.doi.org/10.1109/12.947014.
    Publicado • 10.1109/12.947014
  32. SILVA, F; WATSON, P. "Or-parallel Prolog on a distributed memory architecture". JOURNAL OF LOGIC PROGRAMMING 43 2 (2000): 173-186. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000085387000003&KeyUID=WOS:000085387000003.
    10.1016/S0743-1066(99)00064-3
  33. Vasconcelos, V.T.; Lopes, L.; Silva, F.. "Distribution and mobility with lexical scoping in process calculi". Electronic Notes in Theoretical Computer Science 16 3 (1998): 189-204. http://www.scopus.com/inward/record.url?eid=2-s2.0-0012717860&partnerID=MN8TOARS.
    10.1016/S1571-0661(04)00142-2
  34. Lopes, LMB; Silva, FMA. "Thread- and process-based implementations of the pSystem parallel programming environment". Software-Practice & Experience 27 3 (1997): 329-351. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1997WN10800006&KeyUID=WOS:A1997WN10800006.
    10.1002/(SICI)1097-024X(199703)27:3<329::AID-SPE90>3.0.CO;2-9
  35. Correia, ME; Silva, FMA; Costa, VS. "Aurora vs muse: A portability study of two or-parallel prolog systems". Computing Systems in Engineering 6 4-5 (1995): 345-349. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1995TM95100008&KeyUID=WOS:A1995TM95100008.
    10.1016/0956-0521(95)00042-9
  36. SILVA, FMA; Tick, E; Succi, G. "OR-PARALLEL PROLOG ON DISTRIBUTED SHARED-MEMORY ARCHITECTURES". Implementations of Logic Programming Systems (1994): 203-215. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1994BB31B00014&KeyUID=WOS:A1994BB31B00014.
Capítulo de livro
  1. Choobdar, S; Pinto Ribeiro, PM; Silva, FMA. "Querying Volatile and Dynamic Networks". 2018.
  2. Choobdar, S; Pinto Ribeiro, PM; Silva, FMA. "Querying Volatile and Dynamic Networks". 2014.
    10.1007/978-1-4614-6170-8_390
  3. PEREIRA, P; SILVA, F; FONSECA, NA. "BIORED - A Genetic Algorithm for Pattern Detection in Biosequences". 156-165. 2009.
    10.1007/978-3-540-85861-4_19
  4. FONSECA, NA; SILVA, F; CAMACHO, R. "April - An inductive logic programming system". 481-484. 2006.
    10.1007/11853886_42
  5. ROCHA, R; SILVA, F; COSTA, VS. "Dynamic mixed-strategy evaluation of tabled logic programs". 250-264. 2005.
    10.1007/11562931_20
  6. FONSECA, NA; SILVA, F; CAMACHO, R. "Strategies to parallelize ILP systems". 136-153. 2005.
    10.1007/11536314_9
  7. ROCHA, R; LOPES, R; SILVA, F; COSTA, VS. "IMPACT: Innovative models for prolog with advanced control and tabling". 416-417. 2005.
    10.1007/11562931_36
  8. ROCHA, R; SILVA, F; COSTA, VS. "Speculative computations in or-parallel tabled logic programs". 254-268. 2004.
    10.1007/978-3-540-27775-0_18
  9. LOPES, R; COSTA, VS; SILVA, F. "Pruning in the extended Andorra model". 120-134. 2004.
    10.1007/978-3-540-24836-1_9
  10. FONSECA, N; COSTA, VS; SILVA, F; CAMACHO, R. "On avoiding redundancy in inductive logic programming". 132-146. 2004.
    10.1007/978-3-540-30109-7_13
  11. ROCHA, R; SILVA, F; COSTA, VS. "Concurrent table accesses in parallel tabled logic programs". 662-670. 2004.
    10.1007/978-3-540-27866-5_87
  12. LOPES, R; COSTA, VS; SILVA, F. "On the BEAM implementation". 131-135. 2003.
    10.1007/978-3-540-24580-3_20
  13. LOPES, R; COSTA, VS; SILVA, F. "On deterministic computations in the extended Andorra model". 407-421. 2003.
    10.1007/978-3-540-24599-5_28
  14. PAULINO, H; LOPES, L; SILVA, F. "Mob: A scripting language for mobile agents based on a process calculus". 40-43. 2003.
    10.1007/3-540-45068-8_6
  15. FONSECA, N; COSTA, VS; SILVA, F; CAMACHO, R. "Experimental evaluation of a caching technique for ILP". 151-155. 2003.
    10.1007/978-3-540-24580-3_22
  16. FONSECA, N; ROCHA, R; CAMACHO, R; SILVA, F. "Efficient data structures for inductive logic programming". 130-145. 2003.
    10.1007/978-3-540-39917-9_10
  17. PAULINO, H; MARQUES, P; LOPES, L; VASCONCELOS, V; SILVA, F. "A multi-threaded asynchronous language". 316-323. 2003.
    10.1007/978-3-540-45145-7_29
  18. ROCHA, R; SILVA, F; MARTINS, R. "YapDss: An Or-parallel prolog system for scalable Beowulf clusters". 136-150. 2003.
    10.1007/978-3-540-24580-3_21
  19. OLIVEIRA, L; LOPES, L; SILVA, F. "P-3: Parallel peer to peer an - Internet parallel programming environment". 274-288. 2002.
    10.1007/3-540-45745-3_25
  20. COSTA, VS; ROCHA, R; SILVA, F. "Novel models for or-parallel logic programs: A performance analysis". 744-753. 2000.
    10.1007/3-540-44520-X_102
  21. LOPES, L; SILVA, F; VASCONCELOS, VT. "A virtual machine for a process calculus". 244-260. 1999.
    10.1007/10704567_15
  22. ROCHA, R; SILVA, F; COSTA, VS. "Or-Parallelism within Tabling". 137-151. 1999.
    10.1007/3-540-49201-1_10
  23. CASTRO, LF; COSTA, VS; GEYER, CFR; SILVA, F; VARGAS, PK; CORREIA, ME. "DAOS - Scalable And-Or parallelism". 899-908. 1999.
    10.1007/3-540-48311-X_125
  24. Correia, ME; Silva, F; Costa, VS; Maluszynski, J. "The SBA: Exploiting orthogonality in AND-OR parallel systems". 117-131. 1997.
Edição de livro
  1. Ribeiro, P; Silva, F; Ferreira Mendes, JF; Laureano, RD. Network Science - 7th International Winter Conference, NetSci-X 2022, Porto, Portugal, February 8-11, 2022, Proceedings. 2022.
    10.1007/978-3-030-97240-0
  2. Silva, FMA; Castro Dutra, Id; Costa, VS. Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings. 2014.
    10.1007/978-3-319-09873-9
Livro
  1. Silva, F.; Dutra, I.; Costa, V.S.. Preface. 2014.
  2. Ribeiro, P.; Silva, F.. Discovering colored network motifs. 2014.
    10.1007/978-3-319-05401-8_11
  3. Ribeiro, P; Silva, F; Lopes, L; Fred, A; Filipe, J; Gamboa, H. A Parallel Algorithm for Counting Subgraphs in Complex Networks. 2011.
    10.1007/978-3-642-18472-7_30
  4. Ribeiro, P; Silva, F; Moulton, V; Singh, M. Efficient Subgraph Frequency Estimation with G-Tries. 2010.
    10.1007/978-3-642-15294-8_20
  5. Lopes, R.; Costa, V.S.; Silva, F.. A novel implementation of the extended andorra model. 2001.
    10.1007/3-540-45241-9_14
  6. Rocha, R.; Silva, F.; Costa, V.S.. On a tabling engine that can exploit or-parallelism. 2001.
    10.1007/3-540-45635-X_11
  7. Amado, N.; Gama, J.; Silva, F.. Parallel implementation of decision tree learning algorithms. 2001.
    10.1007/3-540-45329-6_4
  8. Rocha, R.; Silva, F.; Costa, V.S.. YapOr: An or-parallel prolog system based on environment copying. 1999.
    10.1007/3-540-48159-1_13
  9. Silva, F.; Paulino, H.; Lopes, L.. Di_pSystem: A parallel programming system for distributed memory architectures. 1999.
    10.1007/3-540-48158-3_65
Pré-impressão
  1. Silva, VF; Silva, ME; Ribeiro, P; Silva, Fernando M. A.. "MHVG2MTS: Multilayer Horizontal Visibility Graphs for Multivariate Time Series Analysis". 2023. https://arxiv.org/abs/2301.02333.
  2. Silva, Vanessa Freitas; Silva, Maria Eduarda; Ribeiro, Pedro; Silva, Fernando. Autor correspondente: Silva, Vanessa Freitas. "Multilayer Quantile Graph for Multivariate Time Series Analysis and Dimensionality Reduction". 2023. https://arxiv.org/abs/2311.11849.
  3. Aparício, DO; Ribeiro, P; Milenkovic, T; Silva, Fernando M. A.. "GoT-WAVE: Temporal network alignment using graphlet-orbit transitions". 2018. https://arxiv.org/abs/1808.08195.
  4. Aparício, DO; Pinto Ribeiro, PM; Silva, Fernando M. A.. "Temporal Network Comparison using Graphlet-orbit Transitions". 2017. https://arxiv.org/abs/1707.04572.
  5. Aparício, DO; Ribeiro, PMP; Silva, Fernando M. A.. "Network comparison using directed graphlets". 2015. https://www.authenticus.pt/P-00K-A3Q https://arxiv.org/abs/1511.01964.

Outros

Outra produção
  1. Preface. 2022. Ribeiro, P; Silva, F; Mendes, JF; Laureano, R.
    10.1017/9781316492963.001
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2022/10 - 2023/12 Uma Pipeline para Processamento e Recolha de Dados de Trânsito
Orientador de Henrique Branco Rocha França Barreira
 M.Sc. in Networks and Informatics Systems Engineering (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022/10 - 2023/07 Identifying References to Legal Literature in Portuguese Superior Court Decisions
Orientador de Fábio Miguel Pereira Nogueira
 Integrated Master in Networks and Informatics Systems Engineering (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2020/10 - 2021/12 Academic Management Information Interoperability Platform for Higher Education Institutions
Coorientador de Lucas carvalho de Paula
 M.Sc. in Computer Science (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2015/09/21 - 2021/12 Adaptive Computation Offloading in Mobile Edge Clouds
Orientador de Joaquim Magalhães Esteves da Silva
 Computer Science (MAP-i) (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2020/10 - 2021/11 A Predictive Analysis of Academic Success at Universidade do Porto
Orientador de Rafael Antonio Belokurows
 M.Sc. in Data Science (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2020/10 - 2021/11 Uma solução de Business Intelligence para a área académica da U. Porto
Orientador de André Lage Sobral
 Integrated Master in Networks and Informatics Systems Engineering (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2020/10 - 2021/11 Uma solução de Business Intelligence para a área de recursos humanos da U.Porto
Orientador de Solange Sampaio Perdigão
 Integrated Master in Networks and Informatics Systems Engineering (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2016/09/26 - 2021/11 Towards Measuring Scientific Impact Using Network Science.
Orientador de Jorge Miguel Barros da Silva
 Computer Science (MAP-i) (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2014/10 - 2019/07 Network Comparison and Node Ranking in Complex Networks
Coorientador de David Oliveira Aparício
 Computer Science (MAP-i) (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2014/03/03 - 2019/01/04 A Middleware for Mobile Edge-Clouds
Coorientador de João Filipe Rodrigues
 Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2017/10 - 2018/12 Temporal Research Interests Discovery Using Co-Occurrence Keywords Networks
Orientador de Pedro Cardoso Belém
 M.Sc. in Computer Science (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2017/10 - 2018/11 Jogo Android “peer-to-peer” usando o Hyrax “middleware”
Coorientador de Rui Pedro Silva
 Integrated Master in Networks and Informatics Systems Engineering (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2017/10 - 2018/07 Time Series Analysis Based on Complex Networks
Orientador de Vanessa Alexandra Freitas da Silva
 Integrated Master in Networks and Informatics Systems Engineering (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2016/10 - 2017/11 Crowdsourcing Video Replays Using Mobile Edge-Clouds
Coorientador de Filipe Esteves
 Integrated Master in Networks and Informatics Systems Engineering (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2015/10 - 2016/07 P3-Mobile: Parallel Peer-to-Peer Computing on Mobile Devices
Orientador de Daniel Filipe Pereira Moreira da Silva
 Integrated Master in Networks and Informatics Systems Engineering (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014/10 - 2015/11 Authenticus: Architecture and Mechanisms to Support a National Repository of Scientific Publications
Orientador de Fábio André Domingues
 M.Sc. in Computer Science (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014/10 - 2015/10 A Parallel Computing Hybrid Approach for Feature Selection
Orientador de Jorge Miguel Barros da Silva
 Integrated Master in Networks and Informatics Systems Engineering (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014/10 - 2015/07 Simulation of Algorithms for Mobile Ad-Hoc Networks
Orientador de Joaquim Magalhães Esteves da Silva
 MSc in Computer Science (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2009/03/02 - 2015/03/20 On the Characterization and Comparison of Complex Networks
Orientador de Sarvenaz Choobdar
 Computer Science (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2013/10 - 2014/07 Pattern Discovery in Complex Networks using Parallelism
Orientador de David Oliveira Aparício
 MSc in Computer Science (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2008/03/03 - 2012/05/07 On the Integration of Real-Time and Fault-Tolerance in P2P Middleware
Orientador de Rolando da Silva Martins
 Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2010/10 - 2011/11 Or-Parallel Prolog Execution on Multicores Based on Stack Splitting
Orientador de Rui Edgar da Silva Vieira
 Integrated Master in Networks and Informatics Systems Engineering (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2006/10/01 - 2011/06/20 Efficient and Scalable Algorithms for Network Motifs Discovery
Orientador de Pedro Manuel Pinto Ribeiro
 Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2008/10 - 2009/12 Name Identification in Scientific Publications
Orientador de Sylwia Teresa Bugla
 Integrated Master in Networks and Informatics Systems Engineering (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2002/10 - 2006/12 An Infrastructure for mobile service-oriented computing encoded on a process calculus
Coorientador de Hervé Miguel Cordeiro Paulino
 Informatics (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2002/10 - 2006/10 Parallelism in Inductive Logic Programming
Orientador de Nuno Alberto Paulino da Fonseca
 Computer science (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2004/09 - 2005/04 A Peer-to-Peer Distributed File System
Orientador de João Paulo Magalhães
 M.Sc. in Informatics (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2000/02 - 2004/06 Design and Implementation of a Distributed System with Mobility Based on a Process Calculus
Orientador de Álvaro Reis Figueira
 Computer Science (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2002/10 - 2003/07 An Implementation of a Distributed Or-Parallel Prolog System
Orientador de Rolando da Silva Martins
 Informatics (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2002/09 - 2003/07 An Implementation of a Distributed Or-Parallel Prolog System based on Stack Splitting
Orientador de Rolando da Silva Martins
 M.Sc. in Informatics (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2002/09 - 2003/06 P3: Parallel Peer-to-Peer
Orientador de Licinio Santos de Oliveira
 M.Sc. in Informatics (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2002/09 - 2003/03 A Methodology for Data Sharing among Heterogeneous Databases using XML
Coorientador de Rogério Filipe Pinho Ferreira
 M.Sc. in Informatics (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2001/01 - 2002/01 Parallelization of Classification Algorithms
Orientador de Nuno Amado
 M.Sc. in Artificial Intelligence and Computing (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
1996/10 - 2001/12 An Implementation of the Extended Andorra Model
Coorientador de Ricardo Nuno de Sousa Lopes
 Computer Science (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
1996/10 - 2001/11 On Applying Or-Parallelism and Tabling to Logic Programs
Orientador de Ricardo Jorge Gomes Lopes da Rocha
 Computer Science (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
1995/10 - 2001/11 On The Implementation of And/Or Parallelism in Logic Programming Systems
Orientador de Manuel Eduardo Carvalho Duarte Correia
 Computer Science (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2000/10 - 2001/10 Centralized Remote Administration of Groups of UNIX Machines.
Orientador de Mário João Antunes
 M.Sc. in Informatics (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
1996/10 - 1999/12 On the Design and Implementation of a Virtual Machine for Process Calculi
Orientador de Luís Miguel Barros Lopes
 Computer Science (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
1997/10 - 1998/10 Design and Implementation of the pSystem for Distributed Memory Architectures
Orientador de Hervé Miguel Cordeiro Paulino
 M.Sc. in Computer Science (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
1995/10 - 1996/10 YapOr: an Or-Parallel Prolog System Based on Environment Copying
Orientador de Ricardo Jorge Gomes Lopes da Rocha
 M.Sc. in Informatics (Mestrado)
1994/01 - 1995/02 A Parallel Programming Environment for Shared Memory Architectures, the pSystem
Orientador de Luís Miguel Barros Lopes
 M.Phil. in Computer Science (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal