Análise dinâmica de vibrações em manipuladores robóticos - Miguel Martins (2009)

Demonstrating a trust framework for evaluating GNSS signal integrity. - Xihui Chen; Carlo Harpes; Gabriele Lenzini; Miguel Martins; Sjouke Mauw; Jun Pang 001 (CCS, 2013)

A Trust Framework for Evaluating GNSS Signal Integrity. - Xihui Chen; Gabriele Lenzini; Miguel Martins; Sjouke Mauw; Jun Pang 001 (CSF, 2013)

Variational Autoencoders and Evolutionary Algorithms for Targeted Novel Enzyme Design. - Miguel Martins; Miguel Rocha 001; Vitor Pereira 001 (CEC, 2022)

Integration of Remote Laboratories with LMS. - Miguel Martins; Horácio Fernandes; Pedro Rossa; João Nuno Silva (exp.at, 2023)

A Massive Online Plasma Physics Course Using Remote Controlled Laboratories in Open edX. - Pedro Rossa; Horácio Fernandes; Miguel Martins; João Nuno Silva (exp.at, 2023)

Bi-intermediate logics of trees and co-trees. - Nick Bezhanishvili; Miguel Martins; Tommaso Moraschini (Ann. Pure Appl. Log., 2024)

Local tabularity is decidable for bi-intermediate logics of trees and of co-trees. - Miguel Martins; Tommaso Moraschini (Ann. Pure Appl. Log., 2025)