A multi-agent planning model for airport ground handling management. - Patrick Cisuaka Kabongo; Thiago Mendonça Ferreira Ramos; Alessandro Ferreira Leite; Célia Ghedini Ralha; Li Weigang 001 (ITSC, 2016)

Formalization of the Undecidability of the Halting Problem for a Functional Language. - Thiago Mendonça Ferreira Ramos; César A. Muñoz; Mauricio Ayala-Rincón; Mariano M. Moscato; Aaron Dutle; Anthony Narkawicz (WoLLIC, 2018)

The Computational Relevance of Formal Logic Through Formal Proofs. - Ariane Alves Almeida; Ana Cristina Rocha Oliveira; Thiago Mendonça Ferreira Ramos; Flávio L. C. de Moura; Mauricio Ayala-Rincón (FMTea, 2019)

Formalization of the Computational Theory of a Turing Complete Functional Language Model. - Thiago Mendonça Ferreira Ramos; Ariane Alves Almeida; Mauricio Ayala-Rincón (J. Autom. Reason., 2022)

Formal Verification of Termination Criteria for First-Order Recursive Functions. - César A. Muñoz; Mauricio Ayala-Rincón; Mariano M. Moscato; Aaron Dutle; Anthony J. Narkawicz; Ariane Alves Almeida; Andréia B. Avelar da Silva; Thiago Mendonça Ferreira Ramos (J. Autom. Reason., 2023)