| 2026 | ECOOP | Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs. | Joo Gonalves, Jos Fragoso Santos, Rodrigo Rodrigues, Miguel Matos |
| 2026 | EuroSys | Rose: Reproducing External-Fault-Induced Failures in Distributed Systems with Lightweight Instrumentation. | Sebastio Amaro, Pedro Fonseca, Miguel Matos |
| 2026 | ICDCS | SpecPool: Storage-Layer Speculation for Parallel Smart Contract Execution. | Francisco Rola, Miguel Matos, Michal Nazarewicz, Paolo Romano |
| 2025 | DSN | Be My Guest: Welcoming Interoperability into IBC-Incompatible Blockchains. | Michal Nazarewicz, Dhruv D. Jain, Miguel Matos, Blas Rodriguez |
| 2025 | EDCC | Blockchain Infrastructure and Web Application for Dematerialization of Promissory Notes. | Henrique Silva, Filipe Quina, Srgio Guerreiro, Miguel Matos |
| 2025 | EuroSys | HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection. | Joo Oliveira, Joo Gonalves, Miguel Matos |
| 2025 | LANMAN | Innovations in MEC Federation: Leveraging SDN for Enhanced Connectivity and Resource Optimization. | David Santos, Rui Silva, Miguel Matos, Daniel Corujo, Rui L. Aguiar |
| 2023 | EuroSys | Mumak: Efficient and Black-Box Bug Detection for Persistent Memory. | Joo Gonalves, Miguel Matos, Rodrigo Rodrigues |
| 2021 | EDCC | ATOCS: Automatic Configuration of Encryption Schemes for Secure NoSQL Databases. | David Ferreira, Joo Paulo, Miguel Matos |
| 2021 | SOSP | Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation. | Ray Neiheiser, Miguel Matos, Lus E. T. Rodrigues |
| 2020 | DAIS | Kollaps/Thunderstorm: Reproducible Evaluation of Distributed Systems - Tutorial Paper. | Miguel Matos |
| 2020 | DSN | Impact of Geo-Distribution and Mining Pools on Blockchains: A Study of Ethereum. | Paulo Silva, David Vavricka, Joo Barreto, Miguel Matos |
| 2020 | EDCC | FaultSee: Reproducible Fault Injection in Distributed Systems. | Miguel Amaral, Miguel L. Pardal, Hugues Mercier, Miguel Matos |
| 2020 | EuroSys | Kollaps: decentralized and dynamic topology emulation. | Paulo Gouveia, Joo Neves, Carlos Segarra, Luca Liechti, Shady Issa, Valerio Schiavoni, Miguel Matos |
| 2020 | ICDCS | Exploiting Symbolic Execution to Accelerate Deterministic Databases. | Shady Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, Miguel Matos, Paolo Romano |
| 2020 | NCA | P2CSTORE: P2P and Cloud File Storage for Blockchain Applications. | Marcelo Silva, Miguel Matos, Miguel Correia |
| 2019 | EuroSys | Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud. | Pedro Joaquim, Manuel Bravo, Lus E. T. Rodrigues, Miguel Matos |
| 2019 | SAC | Adaptive information dissemination in the Bitcoin network. | Joo Maral, Lus E. T. Rodrigues, Miguel Matos |
| 2019 | SRDS | THUNDERSTORM: A Tool to Evaluate Dynamic Network Topologies on Distributed Systems. | Luca Liechti, Paulo Gouveia, Joo Neves, Peter G. Kropf, Miguel Matos, Valerio Schiavoni |
| 2018 | DAIS | Totally Ordered Replication for Massive Scale Key-Value Stores. | Jos Ribeiro, Nuno Machado, Francisco Maia, Miguel Matos |
| 2018 | PODC | Towards Reproducible Evaluation of Large-Scale Distributed Systems. | Miguel Matos |
| 2017 | DAIS | Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions. | Fbio Coelho, Miguel Matos, Jos Pereira, Rui Oliveira |
| 2017 | EDCC | SAFETHINGS: Data Security by Design in the IoT. | Manuel Barbosa, Sonia Ben Mokhtar, Pascal Felber, Francisco Maia, Miguel Matos, Rui Oliveira, Etienne Rivire, Valerio Schiavoni, Spyros Voulgaris |
| 2017 | PODC | Brief Announcement: Optimal Address-Oblivious Epidemic Dissemination. | Hugues Mercier, Laurent Hayez, Miguel Matos |
| 2017 | SAC | Performance trade-offs on a secure multi-party relational database. | Rogerio Pontes, Mrio Pinto, Manuel Barbosa, Ricardo Vilaa, Miguel Matos, Rui Oliveira |
| 2017 | SRDS | A Practical Framework for Privacy-Preserving NoSQL Databases. | Ricardo Macedo, Joo Paulo, Rogerio Pontes, Bernardo Portela, Tiago Oliveira, Miguel Matos, Rui Oliveira |
| 2016 | CLOSER | Towards Quantifiable Eventual Consistency. | Francisco Maia, Miguel Matos, Fbio Coelho |
| 2016 | DAIS | Resource Usage Prediction in Distributed Key-Value Datastores. | Francisco Cruz, Francisco Maia, Miguel Matos, Rui Oliveira, Joo Paulo, Jos Pereira, Ricardo Manuel Pereira Vilaa |
| 2016 | LREC | The DIRHA Portuguese Corpus: A Comparison of Home Automation Command Detection and Recognition in Simulated and Real Data. | Miguel Matos, Alberto Abad, Antnio Joaquim Serralheiro |
| 2015 | DAIS | Practical Evaluation of Large Scale Applications. | Tiago Jorge, Francisco Maia, Miguel Matos, Jos Pereira, Rui Oliveira |
| 2015 | Middleware | EpTO: An Epidemic Total Order Algorithm for Large-Scale Distributed Systems. | Miguel Matos, Hugues Mercier, Pascal Felber, Rui Oliveira, Jos Pereira |
| 2014 | SRDS | On the Support of Versioning in Distributed Key-Value Stores. | Pascal Felber, Marcelo Pasin, Etienne Rivire, Valerio Schiavoni, Pierre Sutra, Fbio Coelho, Rui Oliveira, Miguel Matos, Ricardo Manuel Pereira Vilaa |
| 2014 | SRDS | DATAFLASKS: Epidemic Store for Massive Scale Systems. | Francisco Maia, Miguel Matos, Ricardo Manuel Pereira Vilaa, Jos Pereira, Rui Oliveira, Etienne Rivire |
| 2013 | DSN | DATAFLASKS: An epidemic dependable key-value substrate. | Francisco Maia, Miguel Matos, Ricardo Manuel Pereira Vilaa, Jos Pereira, Rui Oliveira, Etienne Rivire |
| 2013 | EuroSys | Evaluating Cassandra as a manager of large file sets. | Leander Beernaert, Pedro Gomes, Miguel Matos, Ricardo Vilaa, Rui Oliveira |
| 2013 | EuroSys | MeT: workload aware elasticity for NoSQL. | Francisco Cruz, Francisco Maia, Miguel Matos, Rui Oliveira, Joo Paulo, Jos Pereira, Ricardo Vilaa |
| 2012 | DAIS | Slead: Low-Memory, Steady Distributed Systems Slicing. | Francisco Maia, Miguel Matos, Etienne Rivire, Rui Oliveira |
| 2011 | DAIS | Worldwide Consensus. | Francisco Maia, Miguel Matos, Jos Pereira, Rui Oliveira |
| 2011 | DSN | An epidemic approach to dependable key-value substrates. | Miguel Matos, Ricardo Vilaa, Jos Pereira, Rui Oliveira |
| 2009 | EuroSys | CLON: overlay network for clouds. | Miguel Matos, Antnio Lus Sousa, Jos Pereira, Rui Oliveira |
| 2008 | Middleware | Dependable distributed OSGi environment. | Miguel Matos, Antnio Lus Sousa |
| 2008 | Middleware | Dependable distributed OSGi environment. | Miguel Matos, Antnio Lus Sousa |
| 2008 | SAC | Serpentine: adaptive middleware for complex heterogeneous distributed systems. | Miguel Matos, Alfrnio Correia Jr., Jos Pereira, Rui Oliveira |