| 2025 | MSWIM | WFANS: Simulating Wi-Fi Aware Interactions with Android API Fidelity. | Joo Toms, Pedro Miguel Delgado, Antnio Tefilo, Herv Paulino, Joo M. Loureno |
| 2025 | NCA | Dynamic Membership Management and Data Sharding in Edge-Enabled Publish/Subscribe Systems. | Jaime Saramago, Joo A. Silva, Herv Paulino, Joo M. Loureno |
| 2020 | Mobiquitous | RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios. | Antnio Tefilo, Joo M. Loureno, Herv Paulino |
| 2019 | Mobiquitous | Time-aware reactive storage in wireless edge environments. | Joo A. Silva, Herv Paulino, Joo M. Loureno, Joo Leito, Nuno M. Preguia |
| 2018 | ISoLA | Verifying Real-World Software with Contracts for Concurrency. | Joo M. Loureno |
| 2017 | ICST | Verifying Concurrent Programs Using Contracts. | Ricardo J. Dias, Carla Ferreira, Jan Fiedor, Joo M. Loureno, Ales Smrcka, Diogo G. Sousa, Toms Vojnar |
| 2017 | Middleware | Towards a persistent publish/subscribe system for networks of mobile devices. | Filipe Cerqueira, Joo A. Silva, Joo M. Loureno, Herv Paulino |
| 2017 | Mobiquitous | GOCRGO and GOGO: Two Minimal Communication Topologies for WiFi-Direct Multi-group Networking. | Antnio Tefilo, Diogo Remdios, Joo M. Loureno, Herv Paulino |
| 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 |
| 2016 | TrustCom | Ephemeral Data Storage for Networks of Hand-Held Devices. | Joo A. Silva, Ricardo Monteiro, Herv Paulino, Joo M. Loureno |