???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.
Read full resume ↓
Identification

Personal identification

Full name
Fernando Manuel Augusto da Silva

Citation names

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

Author identifiers

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

Addresses

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

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
Education
Degree Classification
2007/09/25 - 2007/09/26
Concluded
 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
Concluded
 Computer Science (Doctor of Philosophy)
The University of Manchester Faculty of Science and Engineering, United Kingdom
"An Implementation of Or-Parallel Prolog on a Distributed Shared Memory Architecture" (THESIS/DISSERTATION)
1987/09/10 - 1988/10/15
Concluded
 Computing (Master)
The University of Manchester - North Campus, United Kingdom
"A Configurable Shell Utilising Multiple Level Inference Strategies and Meta-Level Knowledge" (THESIS/DISSERTATION)
1980/12/03 - 1985/07/20
Concluded
 Matemática Aplicada (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
 15
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2012/07/11 - Current Full Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
2001/06/20 - 2012/07/10 Associate Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
1994/02/03 - 2001/06/19 Assistant Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
1989/01/11 - 1994/02/02 Assistant (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
1985/11/19 - 1989/01/10 Trainee Assistant (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal

Positions / Appointments

Category
Host institution 		Employer
2018/06/27 - 2022/06/21 Vice-Rector Universidade do Porto, Portugal
Projects

Contract

Designation Funders
2015/07 - 2018/12 SMILeS – Smart, Mobile, Intelligent and Large Scale Sensing
NORTE-01-0145-FEDER-000020
Researcher
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
Concluded
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, United States

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
Concluded
2014/04 - 2018/07 Hyrax: Crowd-Sourcing Mobile Devices to Develop Edge Clouds
Provided by PTCRIS: 135826
135826
CMUP-ERI/FIA/0048/2013
Principal investigator
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.
Concluded
2016/03 - 2018/06 Digi-NewB - Non-invasive monitoring of perinatal health through multiparametric digital representation of clinically relevant functions
689260
Researcher
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
Concluded
2013/01 - 2015/06 SIBILA - Towards Smart Interacting Blocks that Improve Learned Advice
ON2/NORTE-07-0124-FEDER-000059
Principal investigator
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
Concluded
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
Concluded
2011/03 - 2014/02 LEAP - Logic Environments with Advanced Parallelism
112158
Provided by PTCRIS: 112158
PTDC/EIA-CCO/112158/2009
Researcher
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.
Concluded
2010/04 - 2013/03 HORUS, Horn Representations of Uncertain Systems
Provided by PTCRIS: 100897
100897
PTDC/EIA-EIA/100897/2008
Researcher
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.
Concluded
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
Concluded
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, United States

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
Concluded
2008/01 - 2011/01 STAMPA - Sophisticated TAbling Mechanisms for Prolog and their Applications
Provided by PTCRIS: 67738
67738
PTDC/EIA/67738/2006
Researcher
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.
Concluded
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
Principal investigator
Universidade do Porto Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia, I.P.
Concluded
Outputs

Publications

Book
  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
Book chapter
  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.
Conference paper
  1. Silva, J; Aparício, D; Ribeiro, P; Silva, Fernando. "FOCAS: Penalising friendly citations to improve author ranking". Paper presented in 35th Annual ACM Symposium on Applied Computing, SAC 2020, Brno, 2020.
    Published • 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.. Corresponding author: Silva, FernandoM.A.. "On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores". Paper presented in 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), Udine, 2012.
    Published
  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
Edited book
  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
Journal article
  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.
    Published • 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.
    Open access • Published • 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.
    Open access • Published • 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.
    Published • 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.
    Open access • Published • 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.
    Open access • Published • 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.
    Open access • Published • 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.
    Published • 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.
    Published • 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.
Preprint
  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. Corresponding author: 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.

Other

Other output
  1. Preface. 2022. Ribeiro, P; Silva, F; Mendes, JF; Laureano, R.
    10.1017/9781316492963.001
Activities

Supervision

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