???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
João Carlos Antunes Leitão

Nomes de citação

  • Leitão, João
  • João Carlos Antunes Leitão

Identificadores de autor

Ciência ID
8011-50CF-3D43
ORCID iD
0000-0001-7916-980X
Google Scholar ID
j1676F4AAAAJ

Endereços de correio eletrónico

  • jc.leitao@fct.unl.pt (Profissional)
  • me@joaoleitao.org (Pessoal)

Moradas

  • Faculdade de Ciencias e Tecnologia, Departamento de Informática. Campus da Caparica, 2829-516, Caparica, Almada, 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

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A1)
Japonês Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Português (Idioma materno)
Formação
Grau Classificação
2012
Concluído
 Information Systems and Computer Engineering (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Topology Management for Unstructured Overlay Networks " (TESE/DISSERTAÇÃO)
 Aprovado com Distinção (approved with distinction)
2007
Concluído
 Mestrado em Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Gossip-based Broadcast Protocols" (TESE/DISSERTAÇÃO)
 20 valores, Excelente (20 out of 20, Excellent)
2006
Concluído
 Licenciatura em Engenharia Informática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
 16 valores (16 out of 20)
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2014/01/01 - Atual Investigador (Investigação) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013 Investigador Contratado (Investigação) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007/08/01 - 2012/11/30 Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/02/16 - Atual Professor Associado (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016/10/11 - 2023/02/15 Professor Auxiliar (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015/08/01 - 2016/10/10 Professor Auxiliar Convidado (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2013/01/01 - 2016/10/10 Post-Doc Researcher Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2007 - 2012 PhD Student Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2006/08/01 - 2007/07/31 Junior Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2007 - 2007 Master Student Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2004 - 2006 Software Development Team Member Universidade de Lisboa Instituto Superior de Economia e Gestão, Portugal
2002 - 2004 Helpdesk Universidade de Lisboa Instituto Superior de Economia e Gestão, Portugal
Projetos

Bolsa

Designação Financiadores
2025/03/01 - 2026/01/31 Autonomous and Intelligent CRM Systems for Public Administration
2024.07664.IACDC
Investigador responsável
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2007/10 - 2010/09 DISSEMINAÇÃO DE INFORMAÇÃO EM SISTEMAS DINÂMICOS DE GRANDE ESCALA
Provided by PTCRIS: SFRH/BD/35913/2007
Bolseiro de Doutoramento
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído

Projeto

Designação Financiadores
2025/01/15 - 2026/01/15 NOVA.ID-RDM-CC – Centro de Competência em gestão de Dados de Investigação NOVA.ID
NOVA.ID-RDM-CC
Co-Investigador Responsável (Co-IR)
Fundação para a Ciência e a Tecnologia
Em curso
2023/01/01 - 2025/12/31 TaRDIS: Trustworthy And Resilient Decentralised Intelligence For Edge Systems
101093006
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Commission
Em curso
2021/03/21 - 2024/03/20 FLORESTA LIMPA: Vigilância automática e participada das zonas de protecção contra incêndios florestais
PCIF/MOG/0161/2019
Investigador
Instituto Português do Mar e da Atmosfera, Portugal

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

Associação para a Inovação e Desenvolvimento da FCT, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2018/10/01 - 2022/09/30 FORGET: Esquecer eficazmente o que tem que ser esquecido
PTDC/CCI-INF/32219/2017
Investigador
Associação para a Inovação e Desenvolvimento da FCT, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2020/10 - 2021/10 Scalling DHTs to the millions
N/A
Investigador responsável
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Protocol Labs
Concluído
2018/10/01 - 2021/09/30 NG-STORAGE: Nova Geração de Sistema de Armazenamento e Gestão de Dados
PTDC/CCI-INF/32038/2017
Investigador responsável
Associação para a Inovação e Desenvolvimento da FCT, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2018/07/01 - 2021/06/30 SAMOA: Secure and Scalable Platform for Massive-scale Mobile Applications
PTDC/CCI-INF/32662/2017
Co-Investigador Responsável (Co-IR)
Associação para a Inovação e Desenvolvimento da FCT, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2018/06/14 - 2021/06/13 Cosmos: Coerência Causal na Periferia da Rede
PTDC/EEI-COM/29271/2017
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2018/06/01 - 2021/05/31 HiPSTr: Transações Serializáveis de Alta Performance
PTDC/CCI-COM/32456/2017
Co-Investigador Responsável (Co-IR)
Associação para a Inovação e Desenvolvimento da FCT, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2017/01 - 2019/12 Lightkone: Lightweight Computation for Networks at the Edge
732505
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Commission
Concluído
2014/04 - 2018/04 Hyrax: Crowd-Sourcing Mobile Devices to Develop Edge Clouds
Provided by PTCRIS: 135826
Investigador
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2013/07 - 2015/12 PEPITA: PropErty PreservIng Topology Adaptation
Provided by PTCRIS: 128734
Bolseiro de Doutoramento
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2010/05 - 2013/10 High-Performance Computing over the Large-Scale Internet
Provided by PTCRIS: 102212
Bolseiro de Doutoramento
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2008/01 - 2010/12 Redico: Dynamic Reconfiguration of Communication Protocols
Provided by PTCRIS: 71752
Bolseiro de Doutoramento
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2005/07 - 2008/06 P-SON: Probabilistically-Structured Overlay Networks
Provided by PTCRIS: 60941
Bolseiro de Mestrado
Universidade do Minho, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
Produções

Publicações

Artigo em conferência
  1. Policarpo, Nuno; Jose Fragoso Santos; Cunha, Alcino; Leitão, João; Costa, Pedro Ákos. Autor correspondente: Policarpo, Nuno. "Specifying Distributed Hash Tables with Allen Temporal Logic". Trabalho apresentado em FormaliSE 2025, 2025.
    Aceite para publicação
  2. Pedro Fouto; Nuno Preguica; João Leitão. "Large-Scale Causal Data Replication for Stateful Edge Applications". 2024.
    10.1109/ICDCS60910.2024.00028
  3. Costa, Pedro Ákos; Leitão, João; Psaras, Yannis. "Studying the Workload of a Fully Decentralized Web3 System: IPFS". Trabalho apresentado em 23th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'23),, 2023.
    Publicado • 10.1007/978-3-031-35260-7_2
  4. Santos, Nuno M.; Silva, Luís M.; Leitão, João; Preguiça, Nuno. "Data Management for mobile applications dependent on geo-located data". Trabalho apresentado em 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'23), 2023.
    Publicado • 10.1145/3578358.3591334
  5. Francisco Vale; Leitão, João; Costa, Pedro Ákos; Yiannis Psaras. "Atribuição de Nomes Descentralizada: Estudo de Desempenho e Proposta de Otimização do IPNS". Trabalho apresentado em 14º Simpósio de Informática (INForum'23 - Portuguese Informatics Conference), 2023.
    Publicado
  6. Nuno Santos; SILVA, LUÍS M.; Leitão, João; Preguiça, Nuno. "FocusDB: Gestão de dados para aplicações móveis dependentes da localização". Trabalho apresentado em 13º Simpósio de Informática (INForum'22 - Portuguese Informatics Conference), Guarda, 2022.
    Publicado
  7. Pedro Fouto; Pedro Ákos Horváth Filipe da Costa; Nuno Preguica; João Leitão. "Babel: A Framework for Developing Performant and Dependable Distributed Protocols". Trabalho apresentado em 41st International Symposium on Reliable Distributed Systems (SRDS'22), Vienna, 2022.
    Publicado • 10.1109/SRDS55811.2022.00022
  8. João Monteiro; Pedro Ákos Horváth Filipe da Costa; João Leitão; Alfonso De La Rocha; Yiannis Psaras. "Enriching Kademlia by Partitioning". Trabalho apresentado em 1st Workshop on Decentralized Internet, Networks, Protocols, and Systems (DINPS'22), Bologna, 2022.
    Publicado • 10.1109/ICDCSW56584.2022.00016
  9. João Becho; Frederico Cerveira; João Leitão; Oliveira, R.A. "TESRAC: A Framework for Test Suite Reduction Assessment at Scale". Trabalho apresentado em Proceedings of the 15th IEEE International Conference on Software Testing, Verification and Validation (ICST'22), 2022.
    Publicado • 10.1109/ICST53961.2022.00028
  10. Miguel Belém; Pedro Fouto; Taras Lykhenko; João Leitão; Nuno Preguica; Luis Rodrigues. "Engage: Session Guarantees for the Edge". Trabalho apresentado em 31st International Conference on Computer Communication and Networks (ICCCN'22), 2022.
    Publicado • 10.1109/ICCCN54977.2022.9868846
  11. Pedro Fouto; Nuno Preguica; João Leitão. "High Throughput Replication with Integrated Membership Management". Trabalho apresentado em USENIX Annual Technical Conference (USENIX ATC'22), 2022.
    Publicado
  12. Diogo Almeida; Fouto, Pedro; Costa, Pedro Ákos; Leitão, João. "Emulador de Redes para Validação Empírica de Algoritmos Distribuídos". Trabalho apresentado em 13º Simpósio de Informática (INForum'22 - Portuguese Informatics Conference), 2022.
    Publicado
  13. Diogo Fona; Costa, Pedro Ákos; Leitão, João. "Estudo prãtico de um sistema descentralizado: IPFS". Trabalho apresentado em 13º Simpósio de Informática (INForum'22 - Portuguese Informatics Conference), 2022.
    Publicado
  14. António Duarte; Fouto, Pedro; Leitão, João; Nuno Manuel Ribeiro Preguiça. "Compreender os compromissos entre algoritmos de coerência causal através de simulação". Trabalho apresentado em 13º Simpósio de Informática (INForum'22 - Portuguese Informatics Conference), 2022.
    Publicado
  15. Rosa, André; Costa, Pedro Ákos; Leitão, João. "Generalizing Wireless Ad Hoc Routing for Future Edge Applications". Trabalho apresentado em EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous'21), 2021.
    Publicado • 10.1007/978-3-030-94822-1_15
  16. Menino, Vitor Hugo; Costa, Pedro Ákos; Leitão, João. "ResEst: Algoritmo Distribuído para a Inferência de Recursos da Rede". Trabalho apresentado em 12º Simpósio de Informática (INForum'21 - Portuguese Informatics Conference), Lisboa, 2021.
    Publicado
  17. Menino, Vitor Hugo; Costa, Pedro Ákos; Leitão, João. "ResEst - Algoritmo Distribuído para a Inferência de Recursos da Rede". Trabalho apresentado em 12º Simpósio de Informática (INForum'21 - Portuguese Informatics Conference), 2021.
    Publicado
  18. Ema Vieira; Pedro Veiga Fouto; Nuno Manuel Ribeiro Preguiça; Leitão, João. "Difusão Causal Flexível e Escalável para Replicação na Periferia". Trabalho apresentado em 12º Simpósio de Informática (INForum'21 - Portuguese Informatics Conference), 2021.
    Publicado
  19. Pedro Akos Costa; Pedro Fouto; João Leitão. "Overlay Networks for Edge Management". Trabalho apresentado em 19th IEEE International Symposium on Network Computing and Applications (NCA'20), 2020.
    Publicado • 10.1109/NCA51143.2020.9306716
  20. van der Linde, Albert; Fouto, Pedro; Leitão, João; Preguiça, Nuno. "The intrinsic cost of causal consistency". Trabalho apresentado em 7th Workshop on Principles and Practice of Consistency for Distributed (PaPoC'20), 2020.
    Publicado • 10.1145/3380787.3393674
  21. van der Linde, Albert; Serra, Diogo; Leitão, João; Preguiça, Nuno. "On combining fault tolerance and partial replication with causal consistency". Trabalho apresentado em 7th Workshop on Principles and Practice of Consistency for Distributed (PaPoC'20), 2020.
    Publicado • 10.1145/3380787.3393684
  22. Costa, Pedro Ákos; Rosa, André; Leitão, João. "Enabling wireless ad hoc edge systems with Yggdrasil". Trabalho apresentado em 35th Annual ACM Symposium on Applied Computing (SAC'20), 2020.
    Publicado • 10.1145/3341105.3373908
  23. Silva, João A.; Paulino, Hervé; Lourenço, João M.; Leitão, João; Preguiça, Nuno. "Time-aware reactive storage in wireless edge environments". Trabalho apresentado em 16th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous'19), 2019.
    Publicado • 10.1145/3360774.3360828
  24. Carrusca, André; Gomes, Maria Cecília; Leitão, João. "Microservices Management on Cloud/Edge Environments". Trabalho apresentado em 4th Workshop on Adaptive Service-Oriented and Cloud Applications (ASOCA'19), 2019.
    Publicado • 10.1007/978-3-030-45989-5_8
  25. Bernardo Ferreira; Bernardo Portela; Tiago Oliveira; Guilherme Borges; Henrique Domingos; João Leitão. "BISEN: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage". Trabalho apresentado em IEEE 38th International Symposium on Reliable Distributed Systems (SRDS'19), 2019.
    Publicado • 10.1109/SRDS47363.2019.00021
  26. Andre Rosa; Pedro Akos Costa; João Leitão; Rosa, Andre; Costa, Pedro Akos; Leitao, Joao. "Revisiting broadcast algorithms for wireless edge networks". Trabalho apresentado em 38th Symposium on Reliable Distributed Systems (SRDS'19), 2019.
    Publicado • 10.1109/SRDS47363.2019.00033
  27. Vasileios Karagiannis; Stefan Schulte; João Leitão; Nuno Preguiça. "Enabling fog computing using self-organizing compute nodes". Trabalho apresentado em IEEE 3rd International Conference on Fog and Edge Computing (ICFEC'19), 2019.
    Publicado • 10.1109/CFEC.2019.8733150
  28. Vitor Enes; Paulo Sérgio Almeida; Carlos Baquero; João Leitão. "Efficient synchronization of state-based CRDTs". Trabalho apresentado em IEEE 35th International Conference on Data Engineering (ICDE'19), 2019.
    Publicado • 10.1109/ICDE.2019.00022
  29. Ferreira, Bernardo; Leitao, Joao; Domingos, Henrique. "MuSE: Multimodal Searchable Encryption for Cloud Applications". Trabalho apresentado em IEEE 37th Symposium on Reliable Distributed Systems (SRDS'18), 2019.
    Publicado • 10.1109/srds.2018.00029
  30. Costa, Pedro Akos; Leitao, Joao. "Practical Continuous Aggregation in Wireless Edge Environments". Trabalho apresentado em IEEE 37th Symposium on Reliable Distributed Systems (SRDS'18), 2019.
    Publicado • 10.1109/srds.2018.00015
  31. Mealha, David; Preguiça, Nuno; Gomes, Maria Cecilia; Leitão, João. "Data Replication on the Cloud/Edge". Trabalho apresentado em 6th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'19), 2019.
    Publicado • 10.1145/3301419.3323973
  32. Costa, Pedro Ákos; Leitão, João. "Agregação Contínua e Prática em Ambientes Sem Fios na Berma". Trabalho apresentado em 10º Simpósio de Informática (INForum - Portuguese Informatics Conference), Coimbra, 2018.
    Publicado
  33. Costa, Pedro Ákos; Leitão, João. "Yggdrasil: Uma Framework para Desenvolvimento e Execução de Protocolos em Redes Ad Hoc". Trabalho apresentado em 10º Simpósio de Informática (INForum - Portuguese Informatics Conference), Coimbra, 2018.
    Publicado
  34. Fouto, Pedro; Leitão, João; Preguiça, Nuno. "Consistência Causal em Sistemas Geo-Distribuídos com Replicação Parcial". Trabalho apresentado em 10º Simpósio de Informática (INForum - Portuguese Informatics Conference), Coimbra, 2018.
    Publicado
  35. Borges, Guilherme; Leitão, João; Domingos, Henrique; Ferreira, Bernardo. "Pesquisa Booleana Cifrada usando Hardware Confiável". Trabalho apresentado em 10º Simpósio de Informática (INForum - Portuguese Informatics Conference), 2018.
    Publicado
  36. Porto, Daniel; Leitao, Joao; Junqueira, Flavio; Rodrigues, Rodrigo. "The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report)". Trabalho apresentado em 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'18), 2018.
    Publicado • 10.1109/dsn.2018.00063
  37. Fouto, Pedro; Leitao, Joao; Preguica, Nuno. "Practical and Fast Causal Consistent Partial Geo-Replication". Trabalho apresentado em IEEE 17th International Symposium on Network Computing and Applications (NCA'18), 2018.
    Publicado • 10.1109/nca.2018.8548067
  38. Henrique Moniz; João Leitão; Ricardo J. Dias; Johannes Gehrke; Nuno Preguiça; Rodrigo Rodrigues. "Blotter: Low Latency Transactions for Geo-Replicated Storage". Trabalho apresentado em 26th International Conference on World Wide Web (WWW'17), Perth, 2017.
    Publicado • 10.1145/3038912.3052603
  39. Albert van der Linde; Pedro Fouto; João Leitão; Nuno Preguiça; Santiago Castiñeira; Annette Bieniusa. "Legion: Enriching Internet Services with Peer-to-Peer Interactions". Trabalho apresentado em 26th International Conference on World Wide Web (WWW'17), Perth, 2017.
    Publicado • 10.1145/3038912.3052673
  40. Enes, Vitor; Baquero, Carlos; Almeida, Paulo Sérgio; Leitão, João. "Borrowing an Identity for a Distributed Counter". Trabalho apresentado em 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'17), 2017.
    Publicado • 10.1145/3064889.3064894
  41. Freitas, Filipe; Leitao, Joao; Preguica, Nuno; Rodrigues, Rodrigo. "Fine-Grained Consistency Upgrades for Online Services". Trabalho apresentado em IEEE 36th Symposium on Reliable Distributed Systems (SRDS'17), 2017.
    Publicado • 10.1109/srds.2017.9
  42. Tomás, Gonçalo; Zeller, Peter; Balegas, Valter; Akkoorath, Deepthi; Bieniusa, Annette; Leitão, João; Preguiça, Nuno. "FMKe". Trabalho apresentado em 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'17), 2017.
    Publicado • 10.1145/3064889.3064897
  43. Ferreira, Bernardo; Leitao, Joao; Domingos, Henrique. "Multimodal Indexable Encryption for Mobile Cloud-Based Applications". Trabalho apresentado em 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'17), 2017.
    Publicado • 10.1109/dsn.2017.31
  44. van der Linde, Albert; Leitão, João; Preguiça, Nuno. "¿-CRDTs: making d-CRDTs delta-based". Trabalho apresentado em 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC'16), 2016.
    Publicado • 10.1145/2911151.2911163
  45. Ferreira, B.; Rodrigues, J.; Leitao, J.; Domingos, H.; Ferreira, Bernardo; Rodrigues, Joao; Leitao, Joao; Domingos, Henrique. "Privacy-Preserving Content-Based Image Retrieval in the Cloud". Trabalho apresentado em 34th Symposium on Reliable Distributed Systems (SRDS'15), 2016.
    Publicado • 10.1109/SRDS.2015.27
  46. Freitas, Filipe; Leitao, Joao; Preguica, Nuno; Rodrigues, Rodrigo. "Characterizing the Consistency of Online Services (Practical Experience Report)". Trabalho apresentado em 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'16), 2016.
    Publicado • 10.1109/dsn.2016.64
  47. Silva, João A.; Leitão, João; Preguiça, Nuno; Lourenço, João M.; Paulino, Hervé. "Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access". Trabalho apresentado em 1st Workshop on Middleware for Edge Clouds & Cloudlets (MECC'16), 2016.
    Publicado • 10.1145/3017116.3022873
  48. André Sampaio; Nuno Manuel Ribeiro Preguiça; Leitão, João. "Aether: Uma solução híbrida para a pesquisa e partilha de conteúdos em redes móveis". Trabalho apresentado em 8º Simpósio de Informática (INForum'16 - Portuguese Informatics Conference), 2016.
    Publicado
  49. Tiago Costa; van der Linde, Albert; Nuno Manuel Ribeiro Preguiça; Leitão, João. "Controlo de Acessos em Sistemas com Consistência Eventual". Trabalho apresentado em 8º Simpósio de Informática (INForum'16 - Portuguese Informatics Conference), 2016.
    Publicado
  50. Li, Cheng; Leitão, João; Clement, Allen; Preguiça, Nuno; Rodrigues, Rodrigo. "Minimizing coordination in replicated systems". Trabalho apresentado em First Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'15), 2015.
    Publicado • 10.1145/2745947.2745955
  51. Porto, Daniel; Leitão, João; Li, Cheng; Clement, Allen; Kate, Aniket; Junqueira, Flavio; Rodrigues, Rodrigo. "Visigoth fault tolerance". Trabalho apresentado em Tenth European Conference on Computer Systems (Eurosys'15), 2015.
    Publicado • 10.1145/2741948.2741979
  52. Bernardo Ferreira; Leitão, João; Domingos, Henrique. "Cifra Multimodal Indexável para Aplicações Móveis baseadas na Núvem". Trabalho apresentado em 7º Simpósio de Informática (INForum'15 - Portuguese Informatics Conference), 2015.
    Publicado
  53. van der Linde, Albert; Leitão, João; Nuno Manuel Ribeiro Preguiça. "Enriquecimento de plataformas web colaborativas com comunicação browser-a-browser". Trabalho apresentado em 7º Simpósio de Informática (INForum'15 - Portuguese Informatics Conference), 2015.
    Publicado
  54. Leitao, Joao Carlos Antunes; Rodrigues, Luis Eduardo Teixeira. "Overnesia: A Resilient Overlay Network for Virtual Super-Peers". Trabalho apresentado em 33rd International Symposium on Reliable Distributed Systems (SRDS'14), 2014.
    Publicado • 10.1109/srds.2014.40
  55. Cheng Li; Leitão, João; Allen Clement; Nuno Preguiça; Rodrigo Rodrigues; Li, C.; Leitão, J.; et al. "Automating the Choice of Consistency Levels in Replicated Systems". Trabalho apresentado em 2014 Usenix Annual Technical Conference (Usenix ATC'14), 2014.
    Publicado
  56. João Rodrigues; Bernardo Ferreira; Leitão, João; Domingos, Henrique. "DocNuvem: Edição Colaborativa de Documentos na Nuvem com Garantias de Privacidade". Trabalho apresentado em 6º Simpósio de Informática (INForum'14 - Portuguese Informatics Conference), 2014.
    Publicado
  57. Almeida, Sérgio; Leitão, João; Rodrigues, Luís. "ChainReaction: a causal+ consistent datastore based on chain replication". Trabalho apresentado em 8th ACM European Conference on Computer Systems (Eurosys'13), 2013.
    Publicado • 10.1145/2465351.2465361
  58. Branco, Miguel; Leitão, João; Rodrigues, Luís. "Bounded Gossip: A Gossip Protocol for Large-Scale Datacenters". Trabalho apresentado em 28th Annual ACM Symposium on Applied Computing (SAC'13), 2013.
    Publicado • 10.1145/2480362.2480476
  59. Paiva, Joao; Leitao, Joao; Rodrigues, Luis. "Rollerchain: A DHT for Efficient Replication". Trabalho apresentado em 12th International Symposium on Network Computing and Applications (NCA'13), 2013.
    Publicado • 10.1109/nca.2013.29
  60. João Costa; Leitão, João; Nuno Manuel Ribeiro Preguiça; Rodrigues, Rodrigo. "Avaliação das Garantias de Consistência em Serviços Geo-Replicados". Trabalho apresentado em 5º Simpósio de Informática (INForum'13 - Portuguese Informatics Conference), 2013.
    Publicado
  61. Silva, Mauro; Leitao, Joao; Ribeiro, Carlos. "MobUser: Publish-subscribe Communication for Mobile Nodes". Trabalho apresentado em IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS'12), 2012.
    Publicado • 10.1109/icpads.2012.29
  62. Almeida, Sérgio; Leitão, João; Rodrigues, Luis Eduardo Teixeira. "ChainReaction: uma Variante de Replicação em Cadeia com Coerência Causal+". Trabalho apresentado em 4º Simpósio de Informática (INForum'12 - Portuguese Informatics Conference), 2012.
    Publicado
  63. Branco, Miguel; Leitão, João; Rodrigues, Luis Eduardo Teixeira. "PEC: Protocolo Epidémico para Centros de dados". Trabalho apresentado em 4º Simpósio de Informática (INForum'12 - Portuguese Informatics Conference), 2012.
    Publicado
  64. Silva, Mauro; Leitão, João; Ribeiro, Carlos. "MobUser: Uma plataforma para partilha de informação centrada no utilizador para dispositivos móveis (Short paper)". Trabalho apresentado em 4º Simpósio de Informática (INForum'12 - Portuguese Informatics Conference), 2012.
    Publicado
  65. Vilaça, Xavier; Leitão, João; Rodrigues, Luís. "N-party BAR Transfer: Motivation, Definition, and Challenges". Trabalho apresentado em 3rd International Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS'11), 2011.
    Publicado • 10.1145/2034640.2034647
  66. Vilaça, Xavier; Leitão, João; Correia, Miguel; Rodrigues, Luís. "N-party BAR Transfer". Trabalho apresentado em 15th International Conference On Principles Of Distributed Systems (OPODIS'11), Toulouse, 2011.
    Publicado • 10.1007/978-3-642-25873-2_27
  67. Vilaça, Xavier; Leitão, João; Rodrigues, Luis Eduardo Teixeira. "Transferência de Dados entre Grupos de Processos no Modelo BAR". Trabalho apresentado em 3º Simpósio de Informática (INForum'11 - Portuguese Informatics Conference), 2011.
    Publicado
  68. Ferreira, Mario; Leitao, Joao; Rodrigues, Luis. "Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay". Trabalho apresentado em IEEE Symposium on Reliable Distributed Systems (SRDS'10), 2010.
    Publicado • 10.1109/srds.2010.19
  69. Allani, Mouna; Leitão, João; Garbinato, Benoît; Rodrigues, Luís. "RASM: A Reliable Algorithm for Scalable Multicast". Trabalho apresentado em 18th Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP'10), 2010.
    Publicado • 10.1109/pdp.2010.85
  70. Monica, Diogo; Leitao, Joao; Rodrigues, Luis; Ribeiro, Carlos. "Observable non-Sybil quorums construction in one-hop wireless ad hoc networks". Trabalho apresentado em IEEE/IFIP International Conference on Dependable Systems & Networks (DSN'10), 2010.
    Publicado • 10.1109/dsn.2010.5545006
  71. Alveirinho, João; Paiva, João; Leitão, João; Rodrigues, Luís. "Flexible and efficient resource location in large-scale systems". Trabalho apresentado em 4th International Workshop on Large Scale Distributed Systems and Middleware (LaDIS'10), 2010.
    Publicado • 10.1145/1859184.1859199
  72. João Leitão; Robbert van Renesse; Luís Rodrigues; Leitão, João; Luís Eduardo Teixeira Rodrigues. "Balancing gossip exchanges in networks with firewalls". Trabalho apresentado em 9th International conference on Peer-to-peer systems (IPTPS'10), 2010.
    Publicado
  73. Alveirinho, João; Leitão, João; Paiva, Joao; Rodrigues, Luis Eduardo Teixeira. "Curiata: Uma arquitectura P2P auto-organizável para uma localização flexível e eficiente de recursos". Trabalho apresentado em 2º Simpósio de Informática (INForum'10 - Portuguese Informatics Conference), 2010.
    Publicado
  74. Ferreira, Mario; Leitão, João; Rodrigues, Luis Eduardo Teixeira. "Thicket: Construção e Manutenção de Múltiplas Árvores numa Rede entre Pares". Trabalho apresentado em 2º Simpósio de Informática (INForum'10 - Portuguese Informatics Conference), 2010.
    Publicado
  75. Mónica, Diogo; Leitão, João; Rodrigues, Luis; Ribeiro, Carlos. "On the Use of Radio Resource Tests inWireless ad hoc Networks". Trabalho apresentado em 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS'09), Estoril, 2009.
    Publicado
  76. João Leitão; João Pedro da Silva Ferreira Moura Marques; José Orlando Roque Nascimento Pereira; Luís Eduardo Teixeira Rodrigues. "X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays". Trabalho apresentado em 28th IEEE International Symposium on Reliable Distributed Systems (SRDS'09), 2009.
    Publicado • 10.1109/srds.2009.20
  77. Monica, Diogo; Leitão, João; Rodrigues, Luis Eduardo Teixeira; Ribeiro, Carlos. "Construção Observável de um Sistema de Quorum Não Sybil na Vizinhança Rádio de uma Rede Ad-Hoc Sem Fios". Trabalho apresentado em 1º Simpósio de Informática (INForum'09 - Portuguese Informatics Conference), 2009.
    Publicado
  78. Leitao, Joao; Rosa, Liliana; Rodrigues, Luis. "Large-Scale Peer-to-Peer Autonomic Monitoring". Trabalho apresentado em IEEE Globecom Workshops, 2008.
    Publicado • 10.1109/glocomw.2008.ecp.18
  79. Leitão, J.; Pereira, J.; Rodrigues, L.; Leitao, Joao; Pereira, Jose; Rodrigues, Luis. "HyParView: A membership protocol for reliable gossip-based broadcast". Trabalho apresentado em International Conference on Dependable Systems and Networks (DSN'07), 2007.
    Publicado • 10.1109/DSN.2007.56
  80. Leitao, Joao; Pereira, Jose; Rodrigues, Luis. "Epidemic Broadcast Trees". Trabalho apresentado em 26th IEEE International Symposium on Reliable Distributed Systems (SRDS'07), 2007.
    Publicado • 10.1109/srds.2007.27
Artigo em revista
  1. Costa, Pedro Ákos; Leitão, João; Psaras, Yannis. "IPFS requested content location service". Science of Computer Programming 238 (2024): 103174. http://dx.doi.org/10.1016/j.scico.2024.103174.
    Publicado • 10.1016/j.scico.2024.103174
  2. João A. Silva; Filipe Cerqueira; Herve Paulino; João M. Lourenço; Leitão, João; Nuno Manuel Ribeiro Preguiça. "It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments". Future Generation Computer Systems 2021 118 (2021): 14-36. https://www.sciencedirect.com/science/article/pii/S0167739X20330703?via%3Dihub.
    Acesso aberto • Publicado • https://doi.org/10.1016/j.future.2020.12.008
  3. van der Linde, Albert; Leitão, João; Preguiça, Nuno. "Practical client-side replication: Weak Consistency Semantics for Insecure Settings". Proceedings of the VLDB Endowment 13 12 (2020): 2590-2605. http://dx.doi.org/10.14778/3407790.3407847.
    Publicado • 10.14778/3407790.3407847
  4. Ferreira, Bernardo; Portela, Bernardo; Oliveira, Tiago; Borges, Guilherme; Domingos, Henrique Joao; Leitao, Joao. "Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware". IEEE Transactions on Dependable and Secure Computing 19 2 (2020): 1307-1319. http://dx.doi.org/10.1109/tdsc.2020.3012100.
    Publicado • 10.1109/tdsc.2020.3012100
  5. Ferreira, Bernardo; Rodrigues, Joao; Leitao, Joao; Domingos, Henrique. "Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories". IEEE Transactions on Cloud Computing 7 3 (2019): 784-798. http://dx.doi.org/10.1109/tcc.2017.2669999.
    Publicado • 10.1109/tcc.2017.2669999
  6. Bernardo Ferreira; João Rodrigues; João Leitão; Henrique Domingos. "Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories". IEEE Transactions on Cloud Computing (2017): 1-1. https://novaresearch.unl.pt/en/publications/cc520029-f465-416f-9376-546cce4f0ea4.
    Publicado • 10.1109/TCC.2017.2669999
  7. Valter Balegas; Cheng Li; Mahsa Najafzadeh; Daniel Porto; Allen Clement; Sérgio Marco Duarte; Carla Ferreira; et al. "Geo-Replication: Fast If Possible, Consistent If Necessary". IEEE Data Engineering Bulletin 39 1 (2016): 81-92. https://novaresearch.unl.pt/en/publications/660ff79a-f306-447e-a3dc-e4aa27fa65a7.
    Publicado
  8. Ferreira, J.; Leitão, J.; Rodrigues, L.. "A-OSGi: A framework to support the construction of autonomic OSGi-based applications". International Journal of Autonomous and Adaptive Communications Systems 5 3 (2012): 292-310. http://www.scopus.com/inward/record.url?eid=2-s2.0-84863642843&partnerID=MN8TOARS.
    Publicado • 10.1504/12.47660
  9. Leitão, J.; Marques, J.P.; Pereira, J.; Rodrigues, L.. "X-BOT: A protocol for resilient optimization of unstructured overlay networks". IEEE Transactions on Parallel and Distributed Systems 23 11 (2012): 2175-2188. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867325320&partnerID=MN8TOARS.
    Publicado • 10.1109/TPDS.2012.29
Capítulo de livro
  1. Moniz, Henrique; Leitão, João; Dias, Ricardo J.; Gehrke, Johannes; Preguiça, Nuno; Rodrigues, Rodrigo. "Achieving Low Latency Transactions for Geo-Replicated Storage with Blotter". In Encyclopedia of Big Data Technologies, 1-11. Estados Unidos: Springer International Publishing, 2022.
    Publicado • 10.1007/978-3-319-63962-8_158-2
  2. Da Costa, Georges; Lastovetsky, Alexey L.; Barbosa, Jorge G.; Díaz-Martín, Juan C.; García-Zapata, Juan L.; Janetschek, Matthias; Jeannot, Emmanuel; et al. "Programming models and runtimes". In Ultrascale Computing Systems, 9-63. Estados Unidos: Institution of Engineering and Technology, 2019.
    Publicado • 10.1049/pbpc024e_ch2
  3. Moniz, Henrique; Leitão, João; Dias, Ricardo J.; Gehrke, Johannes; Preguiça, Nuno; Rodrigues, Rodrigo. "Achieving Low Latency Transactions for Geo-replicated Storage with Blotter". In Encyclopedia of Big Data Technologies, 1-10. Springer International Publishing, 2018.
    Publicado • 10.1007/978-3-319-63962-8_158-1
  4. Ferreira, Bernardo; Rodrigues, João; Leitão, João; Domingos, Henrique. "Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties". In Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, 311-318. Estados Unidos: Springer International Publishing, 2015.
    Publicado • 10.1007/978-3-319-17016-9_20
  5. Leitão, J.; Carvalho, N.A.; Pereira, J.; Oliveira, R.; Rodrigues, L.. "On adding structure to unstructured overlay networks". In Handbook of Peer-to-Peer Networking. Estados Unidos: Springer, 2010.
    Publicado • 10.1007/978-0-387-09751-0_13
  6. Ferreira, João; Leitão, João; Rodrigues, Luis. "A-OSGi: A Framework to Support the Construction of Autonomic OSGi-Based Applications". In Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 1-16. Springer Berlin Heidelberg, 2010.
    Publicado • 10.1007/978-3-642-11482-3_1
  7. Leitão, João; Pereira, José; Rodrigues, LuÍs. "Gossip-Based Broadcast". In Handbook of Peer-to-Peer Networking, 831-860. Estados Unidos: Springer US, 2009.
    Publicado • 10.1007/978-0-387-09751-0_29
Documento de trabalho
  1. A. Shoker; Paulo S. Almeida; C. Baquero; A. Bieniusa; R. P. Centelles; P. Á. Costa; V. Enes; et al. 2019. "LightKone Reference Architecture (LiRA)". https://asc.di.fct.unl.pt/~jleitao/pdf/LiRA.pdf.
Edição de livro
  1. James Aspnes; Bessani, Alysson; Pascal Felber; Leitão, João. Leibniz International Proceedings in Informatics (LIPIcs) - Proceedings of 21st International Conference on Principles of Distributed Systems (OPODIS'17). Alemanha: Schloss-Dagstuhl - Leibniz Zentrum für Informatik. 2018.
    Publicado • Editor
Poster em conferência
  1. Paiva, João; Leitão, João; Rodrigues, Luís. "Rollerchain: a DHT for High Availability (Poster)". Trabalho apresentado em Posters and Demos Track at Middleware Conference, 2011.
    10.1145/2088960.2088977
Prefácio / Posfácio
  1. Leitão, João; Maia, Francisco. "Message from the W-PSDS 2016 workshop co-chairs". Prefácio para Proceedings of the Workshop on Planetary-Scale Distributed Systems (W-PSDS'16). IEEE. 2016.
    Publicado • 10.1109/SRDSW.2016.6
  2. Leitão, J.; Vilaca, R.. "The 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS'14)". Prefácio para The Proceedings of the 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS'14). Estados Unidos: ACM. 2014.
    Publicado • 10.1109/SRDSW.2014.32
Relatório
  1. Pedro Fouto; Costa, Pedro Ákos; Nuno Manuel Ribeiro Preguiça; Leitão, João. 2022. Babel: A Framework for Developing Performant and Dependable Distributed Protocols. https://arxiv.org/abs/2205.02106.
    https://doi.org/10.48550/arXiv.2205.02106
  2. Luís Silva; Frederico Aleixo; Albert van der Linde; João Carlos Antunes Leitão; Nuno Manuel Ribeiro Preguiça. 2021. Geo-located Data for Better Dynamic Replication. https://arxiv.org/abs/2205.01045.
    https://doi.org/10.48550/arXiv.2205.01045
  3. Leitão, João; Preguiça, Nuno; Domingos, Henrique; Duarte, Sérgio; Costa, Pedro Ákos; Fouto, Pedro; Borges, Guilherme; Van Roy, Peter; Pueyo Centelles, Roger. 2019. LightKone European Project Deliverable 5.1: Infrastructure Support for Aggregation in Edge Computing. https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5c0a69acd&appId=PPGMS.
  4. Leitão, João; Preguiça, Nuno; Domingos, Henrique; Duarte, Sérgio; Costa, Pedro Ákos; Fouto, Pedro; Borges, Guilherme; et al. 2019. LightKone European Project Deliverable 5.2: Report on Generic Edge Computing.. https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5c0a69d04&appId=PPGMS.
  5. Leitão, J.; Costa, P.Á.; Gomes, M.C.; Preguiça, N.. 2018. Towards enabling novel edge-enabled applications. https://arxiv.org/abs/1805.06989v2.
    10.48550/arxiv.1805.06989
Tese / Dissertação
  1. Leitão, João. "Topology management for unstructured overlay networks". Doutoramento, Universidade de Lisboa Instituto Superior Técnico, 2012. https://www.gsd.inesc-id.pt/~ler/reports/catjoaoleitao.pdf.
  2. Leitão, João Carlos Antunes. "Gossip-based broadcast protocols". Mestrado, Universidade de Lisboa Faculdade de Ciências, 2007. http://hdl.handle.net/10451/13999.

Outros

Outra produção
  1. Studying the workload of a fully decentralized Web3 system: IPFS. 2022. Costa, P.Á.; Leitão, J.; Psaras, Y.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85144755059&partnerID=MN8TOARS.
    10.48550/arXiv.2212.07375
Software
  1. Policarpo, Nuno; José Fragoso Santos; Cunha, Alcino; Leitão, João; Costa, Pedro Ákos. "Specifying Distributed Hash Tables with Allen Temporal Logic (Artifact)". 0.4. Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia. https://zenodo.org/records/14727222. 2025.
    https://doi.org/10.5281/zenodo.14286175
  2. Leitão, João. "Epidemic Global View protocol for the Babel Framework". 1.0.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/protocols/epidemicglobalview. 2024.
  3. Fouto, Pedro; Costa, Pedro Ákos; Leitão, João; Preguiça, Nuno. "Babel Framework". 1.0.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/babel-core. 2023.
  4. Leitão, João. "Protocol Commons module for the Babel Framework". 1.0.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/babel-protocolcommons. 2023.
  5. Costa, Pedro Ákos; Leitão, João. "HyParView protocol implementation for the Babel Framework". Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/protocols/hyparview. 2023.
  6. Costa, Pedro Ákos; Leitão, João. "X-BOT protocol for the Babel Framework". 1.0.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/protocols/x-bot. 2023.
  7. Leitão, João. "Flood Broadcast protocol for the Babel Framework". 1.0.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/protocols/floodbroadcast. 2023.
  8. Leitão, João. "Eager (Push-based) Gossip Broadcast protocol for the Babel Framework". 1.0.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/protocols/eagergossipbroadcast. 2023.
  9. Costa, Pedro Ákos; Leitão, João. "Yggdrasil framework". 2. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://github.com/LightKone/Yggdrasil. 2019.
  10. Albert van der Linde; Nuno Manuel Ribeiro Preguiça; Leitão, João. "Legion Framework". 1.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://legion.di.fct.unl.pt. 2016.
  11. COSTA SECO, JOÃO; Toninho, Bernardo; Carmen Morgado; Carla Ferreira; Birra, Fernando; Caires, Luis; Goulão, Miguel; et al. "CodingFest Platform". Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codingfest.org. 2015.
  12. Leitão, João. "Overnesia cluster-based open source prototype". 1.0. Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa. https://asc.di.fct.unl.pt/~jleitao/ClusterBasedOverlay.zip. 2009.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2023/06/19 Tutorial: Implementing and Evaluating Distributed Protocols with Babel DisCoTec 2023 - 18th International Federated Conference on Distributed Computing Techniques
IFIP (Lisboa, Portugal)
2022/11/29 Understanding IPFS through Telemetry IPFS CAMP 2022
Protocol Labs (Lisboa, Portugal)
2022/04/22 libp2p DHT: performance, workloads, and possible directions to evolve Paris P2P Festival 2022
Peer-to-Peer Community and Several Companies (Paris, França)
2021 Generalizando o Encaminhamento Ad Hoc Sem-fios para Futuras Aplicações na Berma (Talk in Portuguese) Simpósio de Informática (Portuguese Informatics Conference)
INForum (Lisbon, Portugal)
2020/11/06 Topology management and gossip: the way to scale (https://www.youtube.com/watch?v=jheTqE-aEe0) Research Talks organized by Protocol Labs (via zoom)
Protocol Labs (Online, Portugal)
2017 Blotter: Low Latency Transactions for Geo-Replicated Storage International Conference on World Wide Web (WWW)
WWW Consortium (Perth, Austrália)
2014/10/29 Participant in the Think Distributed Panel RICON 2014
Basho Inc. (Las Vegas, Estados Unidos)
2014/10 Gossiping from Academia to Industry RICON 2014
Basho Inc. (Las Vegas)
2014 Overnesia: a Resilient Overlay Network for Virtual Super-Peers International Symposium on Reliable Distributed Systems (SRDS)
IEEE (Nara, Japão)
2013 ChainReaction a Causal+ Consistent Datastore based on Chain Replication European Conference on Computer Systems (Eurosys)
ACM (Prague, República Checa)
2012/11/20 Managing the topology of unstructured overlay networks. GRASCOMP 2012 - Doctoral School Day in Cloud Computing
Universit´e Catholique de Louvain, Louvain-la-Neuve, Belgium (Louvain-la-Neuve, Bélgica)
2012 PEC: Protocolo Epidémico para Centros de dados (Talk in Portuguese) Simpósio de Informática (Portuguese Informatics Conference)
INForum (Monte da Caparica, Portugal)
2010 Balancing Gossip Exchanges in Networks with Firewalls International Workshop on Peer-to-Peer Systems (IPTPS)
USENIX (San José, Estados Unidos)
2009 X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays International Symposium on Reliable Distributed Systems (SRDS)
IEEE (Niagara Falls, Estados Unidos)
2007 HyParView: a membership protocol for reliable gossip-based broadcast International Conference on Dependable Systems and Networks (DSN)
IEEE/IFIP (Edinburgh, Reino Unido)
2007 Epidemic Broadcast Trees International Symposium on Reliable Distributed Systems (SRDS)
IEEE (Beijing, China)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2024/03/01 - Atual Achieving Autonomic Management of Complex Systems using Machine Learning
Orientador de João Bordalo
 PhD in Computer Science (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/01 - Atual Edge Computing for Vehicular Networks
Coorientador de Luís Silva
 Programa Doutoral em Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/09 - Atual Support General Purpose Computations on Edge Computing Environments & Wireless Environments
Orientador de Pedro Ákos Costa
 Programa Doutoral em Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/09 - Atual Partial and Dynamic Replication for Large-Scale Edge Storage Systems
Orientador de Pedro Fouto
 Programa Doutoral em Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022/09 - 2023/12 Generic Decentralized Membership and Communication Abstractions for Edge Systems
Orientador de Diogo Barreto
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022/09 - 2023/12 Network Abstractions and Emulation for Distributed Systems
Orientador de Daniel João
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2023 Symphony: A Scalable Emulator for Distributed Systems
Orientador de André Atalaia
 Mestrado Integrado em engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2023 Better Monitorization and Predictability for Computation Infrastructures Through Data Fusion
Coorientador de Pedro Miguel Matos Silva
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2023 Exploiting Node Capacity in DHTs: Node Aware Load Balancing
Orientador de Tiago Guerreiro
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2023 Decomposing Monolitic Computations for Execution on the Edge for Fun and Profit
Orientador de Diogo Gomes
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2022 A Multi Level DHT approach through Hierarchical Naming
Orientador de João Monteiro
 Mestrado Integrado em engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2022 ECO SYNC TREE: A Causal and Dynamic Broadcast Tree for Edge-based Replication
Orientador de Ema Vieira
 Mestrado Integrado em engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2022 A Novel Approach to Load Balancing in P2P Overlay Networks for Edge Systems
Orientador de Vitor Hugo Menino
 Mestrado Integrado em engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2022 Cloud-Edge Hybrid Applications
Coorientador de Albert van der Linde
 Doutoramento em Engenharia Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2021 Automated support tool for forensics investigation on hard disk images
Orientador de João Veloso
 Mestrado Integrado em engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021 Clonos: Consistent High-Availability for Distributed Stream Processing through Causal Logging
Coorientador de Pedro Silvestre
 Mestrado Integrado emEngenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021 Measuring Performance in Network-Intensive Web Applications (in cooperation with the Feedzai company)
Orientador de Rodrigo Graças
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021 Communication Primitives For Wireless Ad Hoc Networks
Orientador de André Rosa
 Mestrado Integrado em engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021 Dynamic Data Placement in Cloud/Edge Environments
Orientador de David Romão
 Mestrado Integrado em engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021 DeMMon: Decentralized Management and Monitoring Framework
Orientador de Nuno Morais
 Mestrado Integrado em engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021 LowNimbus: A decentralized autonomic cloud to edge deployment framework
Orientador de Bruno Anjos
 Mestrado Integrado em engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2020 Distributed Live Programs as Distributed Live Data
Coorientador de Álvaro Santos
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2020 Tree-based Decentralized and Robust Causal Dissemination
Orientador de Paulo Dias
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2020 A Systems Approach to Minimize Wasted Work in Blockchains
Orientador de João Pedro Lobato de Carvalho
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2020 Modular and Adaptive Key-Value Storage Systems
Orientador de Paulo Ricardo Moita
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2020 Sheik: Dynamic Location and Binding of Microservices for Cloud/Edge Settings
Orientador de Khrystyna Fedyuk
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2019/09/12 Characterizing and Enforcing Consistency of Online Services
Coorientador de Filipe Freitas
 Programa Doutoral em Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019 Análise de Dados de Atividade de Clientes para Previsão do Nível de Envolvimento (Cooperação com a Empresa Create.IT)
Coorientador de Miguel Almeida
Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2019 Rethinking the implementation of Distributed Caching Systems
Orientador de Miguel Cordeiro
Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2019 Study and optimization of the memory management in Memcached
Coorientador de Vasco Coelho
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2019 Monitoring in Hybrid Cloud-Edge Environments
Coorientador de André Lameirinhas
Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Gestão de micro-serviços na Cloud e Edge
Coorientador de André Carrusca
Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Practical Aggregation in the Edge
Orientador de Pedro Ákos Costa
Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Localização e tradução automática em plataformas mobile (cooperação com a empresa Unbabel)
Coorientador de António Silva
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Towards more Secure and Efficient Password Databases
Coorientador de Miguel Madeira
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Membership Service for Large-Scale Edge Systems
Orientador de Francisco Magalhães
 Mestrado Integrado em Engenharia Informática (Mestrado)
2017 - 2018 Understanding and evaluating the Behaviour of DNS resolvers (In cooperation with DNS.pt)
Coorientador de Manuel Cruz
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2018 FMKe: A realistic benchmark for key-value stores
Orientador de Gonçalo Tomás
Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2018 A Novel Causally Consistent Replication Protocol with Partial Geo-Replication
Orientador de Pedro Fouto
 Mestrado Integrado em Engenharia Informática (Mestrado)
2016 - 2018 Distributed, Descentralized and Scalable Coordination Primitives
Orientador de Filipe Luís
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 Improving Web-Caching Systems with Transparent Client Support
Orientador de Francisco Fernandes
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 A Tool for Online Debates
Coorientador de José Venâncio
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 LHView: Location Aware Hybrid Partial View
Orientador de Flávio Fernandes
Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Integration of Browser-to-Browser Architectures with Third Party Legacy Cloud Storage
Orientador de Pedro Durães
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Access Control in Weakly Consistent Systems
Orientador de Tiago Costa
 Mestrado Integrado em Engenharia Informática (Mestrado)
2015 - 2016 Resource Sharing and Search in Partially Decentralized Mobile Networks
Orientador de André Sampaio
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2016 WEAQL: Scaling Relational Databases through Weak Consistency
Coorientador de David Lopes
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2015 Enriching Web Applications With Browser-to-Browser Communication
Coorientador de Allbert van der Linde
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2015 Scalable, Precise, and High-Coverage Genomics Mapping
Coorientador de Natacha P. Leitão
Mestrado em Bioinformática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2012 MobUser: A new user-centric publish-subscribe service for mobile devices
Orientador de Mauro André Mendes Silva
 Mestrado em Engenharia Informática (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2023 - 2023 Program Committee Co-Chair for the INForum national conference (2023 - 2023)
Conferência (Coorganizador)
 Inforum, Portugal
2022 - 2022 Co-chair of the First Workshop on Decentralized Internet, Networks, Protocols, and Systems (DINPS) (2022 - 2022)
Oficina (workshop) (Coorganizador)
 IEEE, Estados Unidos

Protocol Labs, Estados Unidos
2019 - 2019 Co-Chair of the 6th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) 2019. (2019 - 2019)
Oficina (workshop) (Coorganizador)
 Association for Computing Machinery, Estados Unidos
2017 - 2017 Proceedings Co-Editor for the 21st International Conference on Principles of Distributed Systems (OPODIS'17) (2017 - 2017)
Conferência (Outra)
 Schloss Dagstuhl Internationales Begegnungs- und Forschungszentrum fur Informatik, Alemanha
2016 - 2016 Co-Chair for the Track "Segurança de Sistemas de Computadores e Comunicações (SSCC) of INFORUM 2016 (2011 - 2011)
Conferência (Coorganizador)
 Inforum, Portugal
2016 - 2016 Co-Chair of the Fourth Workshop on Planetary-Scale Distributed Systems (W-PSDS) (2016 - 2016)
Oficina (workshop) (Coorganizador)
 IEEE, Estados Unidos
2015/09 - 2015/09 Co-Chair of the Third Workshop on Planetary-Scale Distributed Systems (W-PSDS) (2015 - 2015)
Oficina (workshop) (Coorganizador)
 IEEE, Estados Unidos
2015 - 2015 Co-chair for the Track Computação Paralela Distribuída e de Larga Escala (CPDLA) of INFORUM 2015 (2015 - 2015)
Conferência (Coorganizador)
 Inforum, Portugal
2014 - 2014 Co-Chair for the Second Workshop on Planetary-Scale Distributed Systems (W-PSDS) (2014/10 - 2014/10)
Oficina (workshop) (Coorganizador)
 IEEE, Estados Unidos
2013/09 - 2013/09 Co-Chair of the First Workshop on Planetary-Scale Distributed Systems (W-PSDS) (2013/09/30 - 2013/09/30)
Oficina (workshop) (Coorganizador)
 IEEE, Estados Unidos
2011 - 2011 Local Organization Chair for the 2nd ACM Symposium on Cloud Computing (2011 - 2011)
Conferência (Membro da Comissão Organizadora)
 Association for Computing Machinery, Estados Unidos
2011 - 2011 Registration Chair for the 23rd ACM Symposium on Cloud Computing (SOSP) 2011 (2011 - 2011)
Conferência (Membro da Comissão Organizadora)
 Association for Computing Machinery, Estados Unidos
2011 - 2011 Registration Chair for the ACM/IFIP/USENIX 12th International Middleware Conference 2011. (2011 - 2011)
Conferência (Membro da Comissão Organizadora)
 Association for Computing Machinery, Estados Unidos

Participação em evento

Descrição da atividade
Tipo de evento 		Nome do evento
Instituição / Organização
2023/10/24 - 2023/10/26 Round table on the effort of European projects on Swarm Computing
Conferência
 European Big Data Value Forum
Big Data Value, Bélgica

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2024/07/26 Simulation and Performance Evaluation of a Distributed Virtual-Machine Placement and Migration Approach for Management of Cloud Computing Resources Using CloudSim Plus
Arguente
 Manoel Campos da Silva Filho (Doutoramento)
Universidade da Beira Interior, Portugal
2024/02/23 A Geographical-Aware State Deployment Service for Fog Computing
Arguente
 Diogo Moutinho Saraiva Lima (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2023 MulletBench: Multi-layer Edge Time Series Database Benchmark
Arguente principal
 Pedro Miguel Leal Meireles Pereira (Mestrado)
Universidade do Minho, Portugal
2023 When probability drops - Probabilistic consensus under faults
Arguente principal
 Ana Beatriz Marques Meireles (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2023 Scalable Solutions for Eventual Consistency
Arguente principal
 Juliane Marubayashi (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2023 Request Workflow Monitor for Microservice-based Web Applications
Arguente principal
 Mafalda Sofia Carvalho Ferreira (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023 Dependency checking for Geo-replicated Databases
Arguente principal
 Guilherme Manuel Caturra Eugénio e Couto Cândido (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 NDRank: A Distributed Search System for Weather Analogues
Arguente principal
 David Diogo Martins (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 Holistic Performance and Scalability Analysis for Large-Scale Distributed Systems
Arguente principal
 Francisco Nuno Teixeira Neves (Doutoramento)
Universidade do Minho, Portugal
2021 Runtime Consistency Adaptation
Arguente principal
 Vasco António de Aguiar e Morganho (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 Establishing Trust and Confidence Among Entities in Distributed Networks
Arguente
 Francis Nwebonyi (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2019 Execution of Speculative Workflows in Microservice-Based Systems
Arguente principal
 João António dos Santos Amado (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 Interactive fault injection in distributed systems
Arguente principal
 Miguel Antão Pereira Amaral (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 PRIME : PRobabilistIc MEmbership – Large Scale Membership and Consistency
Arguente principal
 Francisco Miguel Polaco Santos (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 Adaptive Information Dissemination in the Bitcoin Network
Arguente principal
 João Esteves Marçal (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 A Distributed and Hierarchical Architecture for Deferred Validation of Transactions in Key-Value Stores
Arguente principal
 João Bernaro Sena Amaro (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Invariant Preservation in Geo-Replicated Data Stores
Vogal
 Valter Balegas de Sousa (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 Geographical sharding in MongoDB
Arguente principal
 Ricardo Filipe Amendoeira (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Dynamic Adaptation of Byzantine Fault Tolerant Protocols
Arguente principal
 Carlos Eduardo Alves Carvalho (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Byzantine Fault Tolerant Monitoring of Distributed Systems
Arguente principal
 Bernardo Brito da Palma (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Policy-Based Adaptation of Byzantine Fault Tolerant Systems
Arguente principal
 Miguel Neves Pasadinhas (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Towards Building Partial Memberships with Network Sampling
Arguente principal
 José Pedro de Castro Pereira (Mestrado)
Universidade do Minho, Portugal
2017 Sistema de Armazenamento de Dados de Muito Grande Escala de Adaptação Automática
Arguente principal
 João Luís Almeida Rodrigues (Mestrado)
Universidade do Minho, Portugal
2016 Establishing Trust and Confidence Among Entities in Distributed Networks
Arguente principal
 Ruma Paul (Doutoramento)
Univeristé Catholique Louvain la Neuve, Bélgica
2016 Privacy-Preserving Efficient Searchable Encryption
Vogal
 Bernardo Luís da Silva Ferreira (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 Emergence of Trust on P2P Networks
Arguente principal
 Artur Jorge Rosendo Ferreira (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2016 P3-Mobile Parallel Peer-to-Peer computing on mobile devices
Arguente principal
 Daniel Filipe Pereira Moreira da Silva (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2016 Quanto valem os metadados?
Arguente principal
 Bruno Filipe Prudêncio Inácio (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2015 Análise de desempenho e otimização do Apache HBase para dados relacionais
Arguente principal
 Francisco Nuno Teixeira Neves (Mestrado)
Universidade do Minho, Portugal
2015 Replicação de Bases de Dados Baseadas em Comunicação em Grupo
Arguente principal
 João Pedro Lopes Miranda (Mestrado)
Universidade do Minho, Portugal
2015 Towards an Engaging Social TV on a Second Screen
Arguente principal
 Vítor Hugo Gonçalves Martins (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014 Impacto de Obras Literárias nas Redes Sociais
Arguente principal
 Carlos André Freitas Barata (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014 Dependable Data Storage With State Machine Replication
Arguente principal
 Marcel Henrique dos Santos (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2023 - 2023 23rd IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'23) International Federation for Information Processing
2022 - 2022 22th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'22), International Federation for Information Processing
2022 - 2022 First Workshop on Decentralized Internet, Networks, Protocols, and Systems (DINPS) ICDCS
2021 - 2021 21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'21), International Federation for Information Processing
2020 - 2020 20th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'20) International Federation for Information Processing
2020 - 2020 The 24th International Conference on Principles of Distributed Systems (OPODIS) França
2019 - 2019 The 4th International conference on Fog and Mobile Edge Computing (FMEC’19) Italy
2019 - 2019 3rd International Conference in Engineering Applications (ICEA’19) Portugal
2018 - 2018 The 22nd International Conference on Principles of Distributed Systems (OPODIS'18) Hong Kong
2018 - 2018 The Third International Conference on Fog and Mobile Edge Computing (FMEC’18) Spain
2017 - 2017 The 36th IEEE Innternational Symposium on Reliabe and Distributed Systems (SRDS'17) Hong Kong
2017 - 2017 The Second International Conference on Fog and Mobile Edge Computing (FMEC'17) Spain
2016 - 2016 The 1st Workshop on Middleware for Edge Clouds & Cloudlets (MECC’16) Italy
2014 - 2014 Ninth Workshop on Middleware for Next Generation Internet Computing (MW4NG) France

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
2021 - 2021 Evaluation for the Research Grant Proposals for the Portuguese National Innovation Agency (ANI)
Avaliador
 Agência Nacional de Inovação SA, Portugal Agência Nacional de Inovação SA

Consultoria / Parecer

Descrição da atividade Instituição / Organização
2025/01/01 - Atual Research partnership through NOVA FCT and NOVA LINCS. Topology, Estados Unidos

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2023/09 - Atual President of the INForum national conference steering committee
Presidente / Vice-presidente
 Inforum, Portugal
2022/09 - 2023/09 Member of the INForum national conference steering committee
Membro
 Inforum, Portugal

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2019 - Atual PhD Thesis External Advisory Committee of Hector Orrilio Universidade Lusófona de Humanidades e Tecnologias Escola de Comunicação Arquitectura Artes e Tecnologias da Informação, Portugal
2018 - 2024 PhD Thesis External Advisory Committee of Diogo Lima Universidade de Lisboa Faculdade de Ciências, Portugal
2021 - 2021 Reviewer for one Research Grant Proposal for the Université Catholique de Louvain, Belgium Université catholique de Louvain, Bélgica
2020 - 2020 PhD Thesis External Advisory Committee of Robin Vassantlal Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2019 PhD Thesis External Advisory Committee of Adriano Serckumecka Universidade de Lisboa Faculdade de Ciências, Portugal
Distinções

Prémio

2023 Best Student Paper Award on the CPDLA Track of INForum National Conference: "Atribuição de Nomes Descentralizada: Estudo de Desempenho e Proposta de Otimização do IPNS" by Francisco Vale, João Leitão, Pedro Costa, and Yiannis Psaras
Inforum, Portugal
2019 Best Professor of the Informatics Department (2018/2019) - FCT NOVA
Associação de Estudantes da FCT NOVA, Portugal
2018 Best Student Paper Award at the INForum National Conference for the paper "Consistência Causal em Sistemas Geo-Distribuídos com Replicação Parcial" by Pedro Fouto, João Leitão, and Nuno Preguiça.
Décimo Simpósio em Informática, Portugal
2017 Best Professor of the Informatics Department (2016/2017) - FCT NOVA
Associação de Estudantes da FCT NOVA, Portugal
2013 Best Student Paper Award at the IEEE NCA'13 International Conference for the paper "Rollerchain: a DHT for Efficient Replication" by João Paiva, J. Leitão and L. Rodrigues
IEEE, Estados Unidos
2011 Best Paper Award at the INForum National Conference for the paper "Transferência de Dados entre Grupos de Processos no Modelo BAR" by Xavier Vilaça, João Leitão and Luís Rodrigues
Inforum, Portugal

Outra distinção

2017 $5000 grant in Microsoft Azure for research.