CORAL: Solving Complex Constraints for Symbolic PathFinder. - Matheus Souza 003; Mateus Borges; Marcelo d'Amorim; Corina S. Pasareanu (NASA Formal Methods, 2011)

A density and temperature invariant displacer-type liquid level measuring method. - Matheus Souza 003; Elyson Carvalho; Jânio Coutinho Canuto (I2MTC, 2018)

Modality-Independent Placebo Device for Electrostimulation. - Graziella Bedenik; Matheus Souza 003; Elyson Adan Nunes Carvalho; Josimari DeSantana; José Carvalho-Filho; Raimundo C. S. Freire (I2MTC, 2022)

Analysis of Parameters Influence in a MOX Gas Sensor Model. - Graziella Bedenik; Matheus Souza 003; Elyson Adan Nunes Carvalho; Lucas Molina; Jugurta Montalvão; Raimundo C. S. Freire (I2MTC, 2022)