Miguel Pinto

According to our database, Miguel Pinto authored at least 7 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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

Proceedings of the Practical Applications of Computational Biology and Bioinformatics, 2023

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

TOM: A Model-Based GUI Testing Framework.

Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

Systematic automation of scenario-based testing of user interfaces.

José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

2015

Fall of Humans: Interactive Tabletop Games and Transmedia Storytelling.

Mara Dionisio, Aditya Gujaran, Miguel Pinto, Augusto Esteves

Proceedings of the 2015 International Conference on Interactive Tabletops & Surfaces, 2015

2013

Allocating Data Cubes on a Grid Environment Endorsing an Alternative Approach.

Miguel Pinto, Orlando Belo

Proceedings of the IEEE International Conference on Systems, 2013

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