| 2025 | SRDS | Goose: Optimistic Search in the IPFS Network. | Rafael Sequeira, Pedro Campons, Pedro kos Costa, Joo Leito |
| 2024 | ICDCS | Large-Scale Causal Data Replication for Stateful Edge Applications. | Pedro Fouto, Nuno M. Preguia, Joo Leito |
| 2023 | DAIS | Studying the Workload of a Fully Decentralized Web3 System: IPFS. | Pedro kos Costa, Joo Leito, Yiannis Psaras |
| 2023 | EuroSys | Data Management for mobile applications dependent on geo-located data. | Nuno M. Santos, Lus M. Silva, Joo Leito, Nuno M. Preguia |
| 2022 | ICCCN | Engage: Session Guarantees for the Edge. | Miguel Belm, Pedro Fouto, Taras Lykhenko, Joo Leito, Nuno M. Preguia, Lus Rodrigues |
| 2022 | ICDCS | Enriching Kademlia by Partitioning. | Joo Monteiro, Pedro kos Costa, Joo Leito, Alfonso de la Rocha, Yiannis Psaras |
| 2022 | ICST | TESRAC: A Framework for Test Suite Reduction Assessment at Scale. | Joo Becho, Frederico Cerveira, Joo Leito, Rui Andr Oliveira |
| 2022 | USENIX | High Throughput Replication with Integrated Membership Management. | Pedro Fouto, Nuno M. Preguia, Joo Leito |
| 2022 | SRDS | Babel: A Framework for Developing Performant and Dependable Distributed Protocols. | Pedro Fouto, Pedro kos Costa, Nuno M. Preguia, Joo Leito |
| 2021 | Mobiquitous | Generalizing Wireless Ad Hoc Routing for Future Edge Applications. | Andr Rosa, Pedro kos Costa, Joo Leito |
| 2020 | EuroSys | The intrinsic cost of causal consistency. | Albert van der Linde, Pedro Fouto, Joo Leito, Nuno M. Preguia |
| 2020 | EuroSys | On combining fault tolerance and partial replication with causal consistency. | Albert van der Linde, Diogo Serra, Joo Leito, Nuno M. Preguia |
| 2020 | NCA | Overlay Networks for Edge Management. | Pedro kos Costa, Pedro Fouto, Joo Leito |
| 2020 | SAC | Enabling wireless ad hoc edge systems with yggdrasil. | Pedro kos Costa, Andr Rosa, Joo Leito |
| 2019 | EuroSys | Data Replication on the Cloud/Edge. | David Mealha, Nuno M. Preguia, Maria Cecilia Gomes, Joo Leito |
| 2019 | ICDE | Efficient Synchronization of State-Based CRDTs. | Vitor Enes, Paulo Srgio Almeida, Carlos Baquero, Joo Leito |
| 2019 | ICFEC | Enabling Fog Computing using Self-Organizing Compute Nodes. | Vasileios Karagiannis, Stefan Schulte, Joo Leito, Nuno M. Preguia |
| 2019 | ICSOC | Microservices Management on Cloud/Edge Environments. | Andr Carrusca, Maria Ceclia Gomes, Joo Leito |
| 2019 | Mobiquitous | Time-aware reactive storage in wireless edge environments. | Joo A. Silva, Herv Paulino, Joo M. Loureno, Joo Leito, Nuno M. Preguia |
| 2019 | SRDS | BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage. | Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique Joo L. Domingos, Joo Leito |
| 2019 | SRDS | Revisiting Broadcast Algorithms for Wireless Edge Networks. | Andr Rosa, Pedro kos Costa, Joo Leito |
| 2018 | DSN | The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report). | Daniel Porto, Joo Leito, Flavio Junqueira, Rodrigo Rodrigues |
| 2018 | NCA | Practical and Fast Causal Consistent Partial Geo-Replication. | Pedro Fouto, Joo Leito, Nuno M. Preguia |
| 2018 | SRDS | Practical Continuous Aggregation in Wireless Edge Environments. | Pedro kos Costa, Joo Leito |
| 2018 | SRDS | MuSE: Multimodal Searchable Encryption for Cloud Applications. | Bernardo Ferreira, Joo Leito, Henrique Joo L. Domingos |
| 2017 | DSN | Multimodal Indexable Encryption for Mobile Cloud-Based Applications. | Bernardo Ferreira, Joo Leito, Henrique Joo L. Domingos |
| 2017 | EuroSys | Borrowing an Identity for a Distributed Counter: Work in progress report. | Vitor Enes, Carlos Baquero, Paulo Srgio Almeida, Joo Leito |
| 2017 | EuroSys | FMKe: a Real-World Benchmark for Key-Value Data Stores. | Gonalo Toms, Peter Zeller, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, Joo Leito, Nuno M. Preguia |
| 2017 | WWW | Legion: Enriching Internet Services with Peer-to-Peer Interactions. | Albert van der Linde, Pedro Fouto, Joo Leito, Nuno M. Preguia, Santiago J. Castieira, Annette Bieniusa |
| 2017 | WWW | Blotter: Low Latency Transactions for Geo-Replicated Storage. | Henrique Moniz, Joo Leito, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguia, Rodrigo Rodrigues |
| 2017 | SRDS | Fine-Grained Consistency Upgrades for Online Services. | Filipe Freitas, Joo Leito, Nuno M. Preguia, Rodrigo Rodrigues |
| 2016 | DSN | Characterizing the Consistency of Online Services (Practical Experience Report). | Filipe Freitas, Joo Leito, Nuno M. Preguia, Rodrigo Rodrigues |
| 2016 | EuroSys | Δ-CRDTs: making Δ-CRDTs delta-based. | Albert van der Linde, Joo Leito, Nuno M. Preguia |
| 2016 | Middleware | Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access. | Joo A. Silva, Joo Leito, Nuno M. Preguia, Joo M. Loureno, Herv Paulino |
| 2015 | EuroSys | Minimizing coordination in replicated systems. | Cheng Li, Joo Leito, Allen Clement, Nuno M. Preguia, Rodrigo Rodrigues |
| 2015 | EuroSys | Visigoth fault tolerance. | Daniel Porto, Joo Leito, Cheng Li, Allen Clement, Aniket Kate, Flavio Paiva Junqueira, Rodrigo Rodrigues |
| 2015 | SRDS | Privacy-Preserving Content-Based Image Retrieval in the Cloud. | Bernardo Ferreira, Joo Rodrigues, Joo Leito, Henrique Joo L. Domingos |
| 2014 | ESORICS | Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties. | Bernardo Ferreira, Joo Rodrigues, Joo Leito, Henrique Joo L. Domingos |
| 2014 | USENIX | Automating the Choice of Consistency Levels in Replicated Systems. | Cheng Li, Joo Leito, Allen Clement, Nuno M. Preguia, Rodrigo Rodrigues, Viktor Vafeiadis |
| 2013 | EuroSys | ChainReaction: a causal+ consistent datastore based on chain replication. | Srgio Almeida, Joo Leito, Lus E. T. Rodrigues |
| 2013 | NCA | Rollerchain: A DHT for Efficient Replication. | Joo Paiva, Joo Leito, Lus E. T. Rodrigues |
| 2013 | SAC | Bounded gossip: a gossip protocol for large-scale datacenters. | Miguel Branco, Joo Leito, Lus E. T. Rodrigues |
| 2012 | ICPADS | MobUser: Publish-subscribe Communication for Mobile Nodes. | Mauro Silva, Joo Leito, Carlos Ribeiro |
| 2011 | OPODIS | N-party BAR Transfer. | Xavier Vilaa, Joo Leito, Miguel Correia, Lus E. T. Rodrigues |
| 2010 | DSN | Observable non-Sybil quorums construction in one-hop wireless ad hoc networks. | Diogo Mnica, Joo Leito, Lus E. T. Rodrigues, Carlos Ribeiro |
| 2010 | PDP | RASM: A Reliable Algorithm for Scalable Multicast. | Mouna Allani, Joo Leito, Benot Garbinato, Lus E. T. Rodrigues |
| 2010 | SRDS | Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay. | Mrio F. S. Ferreira, Joo Leito, Lus E. T. Rodrigues |
| 2007 | DSN | HyParView: A Membership Protocol for Reliable Gossip-Based Broadcast. | Joo Leito, Jos Pereira, Lus E. T. Rodrigues |
| 2007 | SRDS | Epidemic Broadcast Trees. | Joo Leito, Jos Pereira, Lus E. T. Rodrigues |