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 (GCCE, 2014)

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 (GCCE, 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)