Miguel Pinto

According to our database, Miguel Pinto authored at least 10 papers between 2012 and 2024.

Collaborative distances:

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

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

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

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

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

Global Localisation Algorithm from a Multiple Hypotheses Set.

Miguel Pinto, Héber M. Sobreira, A. Paulo Moreira, Hélio Sousa Mendonça

Proceedings of the 2012 Brazilian Robotics Symposium and Latin American Robotics Symposium, 2012