Thiago Mendonça Ferreira Ramos

According to our database, Thiago Mendonça Ferreira Ramos authored at least 5 papers between 2016 and 2022.

Collaborative distances:

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

2022

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

2021

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, Thiago Mendonça Ferreira Ramos

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2019

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

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

2018

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

Proceedings of the Logic, Language, Information, and Computation, 2018

2016

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

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016