Global Localisation Algorithm from a Multiple Hypotheses Set. - Miguel Pinto; Héber M. Sobreira; A. Paulo Moreira; Hélio Sousa Mendonça (LARS/SBR, 2012)

Localization of Mobile Robots Using an Extended Kalman Filter in a LEGO NXT. - Miguel Pinto; António Paulo Moreira; Aníbal Matos (IEEE Trans. Educ., 2012)

Allocating Data Cubes on a Grid Environment Endorsing an Alternative Approach. - Miguel Pinto; Orlando Belo (SMC, 2013)

Fall of Humans: Interactive Tabletop Games and Transmedia Storytelling. - Mara Dionisio; Aditya Gujaran; Miguel Pinto; Augusto Esteves (ITS, 2015)

Systematic automation of scenario-based testing of user interfaces. - José Creissac Campos; Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque; Miguel Pinto (EICS, 2016)

TOM: A Model-Based GUI Testing Framework. - Miguel Pinto; Marcelo Gonçalves; Paolo Masci 001; José Creissac Campos (FACS, 2017)

A More Intelligent Test Case Generation Approach through Task Models Manipulation. - José Creissac Campos; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A. Palanque; Miguel Pinto (Proc. ACM Hum. Comput. Interact., 2017)

Auto-phylo: A Pipeline Maker for Phylogenetic Studies. - Hugo López-Fernández; Miguel Pinto; Cristina P. Vieira; Pedro Duque; Miguel Reboiro-Jato; Jorge Vieira (PACBB, 2023)

Arvisan: an Interactive Tool for Visualisation and Analysis of Low-Code Architecture Landscapes. - Roy Kakkenberg; Satrio Adi Rukmono; Michel Chaudron; Wim Gerholt; Miguel Pinto; Claudio Ribeiro de Oliveira (MoDELS (Companion), 2024)

Auto-phylo v2 and auto-phylo-pipeliner: building advanced, flexible, and reusable pipelines for phylogenetic inferences, estimation of variability levels and identification of positively selected amino acid sites. - Hugo López-Fernández; Miguel Pinto; Cristina P. Vieira; Pedro Duque; Miguel Reboiro-Jato; Jorge Vieira (J. Integr. Bioinform., 2024)