Practical Auditability in Trusted Messaging Systems. - Miguel Reis; Artur Romão; A. Eduardo Dias (ICETE (2), 2004)

Practical auditability in trusted messaging systems. - Miguel Reis; Artur Romão; A. Eduardo Dias (e-Business and Telecommunication Networks, 2006)

Tracking technical debt in agile low code developments. - Renato Cavalcanti Domingues; Miguel Reis; Miguel Araújo; Marcelo Marinho; Mário J. Silva (CIbSE, 2024)

Designing Deep Learning Models on FPGA with Multiple Heterogeneous Engines. - Miguel Reis; Mário P. Véstias; Horácio C. Neto (ACM Trans. Reconfigurable Technol. Syst., 2024)