MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel P. Correia 001 (MobiQuitous, 2020)

Computer Studies of the Operation of a Three-Phase Four Wire Shunt Active Power Filter Applied to the Industry. - Bruno Nova; Diogo Vaz; Paulo Passos; Nelson Andrade (SESC, 2021)

A Three-Phase Multilevel AC-DC Converter Operating as a Shunt Active Power Filter: Validation Considering an Industrial Environment. - Bruno Nova; Diogo Vaz; Paulo Passos; Vítor Monteiro (SESC, 2021)

Learning to generate Reliable Broadcast Algorithms. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (CoRR, 2022)

Automatic Generation of Distributed Algorithms with Generative AI. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (DSN-S, 2023)

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IEEE Access, 2023)

MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IEEE Trans. Cloud Comput., 2023)

AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (EDCC-C, 2025)