Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics. - Felipe Sasdelli; Maycon Amaro; Elton M. Cardoso; Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro (SBLP, 2020)

A Mechanized Proof of a Textbook Type Unification Algorithm. - André Rauber Du Bois; Rodrigo Geraldo Ribeiro; Maycon Amaro (RITA, 2020)

The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions. - Elton M. Cardoso; Maycon Amaro; Samuel da Silva Feitosa; Leonardo Vieira dos Santos Reis; André Rauber Du Bois; Rodrigo Geraldo Ribeiro (CLEI Electron. J., 2021)

A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. - Maycon Amaro; Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro (SBMF, 2022)