Francisco A. P. Januário

According to our database, Francisco A. P. Januário authored at least 3 papers between 2014 and 2017.

Collaborative distances:

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

2017

BMCLua: A Translator for Model Checking Lua Programs.

Felipe R. Monteiro, Francisco A. P. Januário, Lucas C. Cordeiro, Eddie Batista de Lima Filho

ACM SIGSOFT Softw. Eng. Notes, 2017

Modeling by correlation of the human hand for application in the robotic hand.

Eduardo G. N. Façanha, Francisco A. P. Januário, Davi C. M. Barreto

Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

2014

BMCLua: Verification of Lua programs in digital TV interactive applications.

Francisco A. P. Januário, Lucas C. Cordeiro, Vicente Ferreira de Lucena Jr., Eddie Batista de Lima Filho

Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014