Publications

Antonio R. A. Brasil, Jefferson O. Andrade, Karin S. Komati (2020). Eye Movements Biometrics: a Bibliometric Analysis from 2004 to 2019. IJCA.

Marcio Rezende, Jefferson O. Andrade, Karin S. Komati (2020). Prediction of the Iron Ore Pellet Abrasion Index using Random Forest. Coletânea Brasileira de Engenharia de Produção 8.

Lucas C. Possatti, Gilberto N. Sudré Filho, Leandro C. Resendo, Jefferson O. Andrade, Karin S. Komati (2019). A Study of Steganalysis Techniques in Stego-Images with Embedded Text with LSB. BJD.

Wdnei R. da Paixão, Thiago M. Paixão, Mateus C. B. da Costa, Jefferson O. Andrade, Flavio G. Pereira, Karin S. Komati (2018). Texture Classification of Sea Turtle Shell based on Color Features: Color Histograms and Chromaticity Moments. IJAIA.

Karin S. Komati, Eduardo R. Costa, Jefferson O. Andrade (2017). Gerenciamento de Informações com QR Code e Código Hash Criptográfico. Gestão do Conhecimento e Inovação, Volume 2.

Lucas C. S. Oliveira, Karin S. Komati, Jefferson O. Andrade, Ronaldo A. Marques (2015). QuerySocial: Graphical Visualization Tool for Monitoring Users Behavior on Facebook. Revista Borges.

Jefferson O. Andrade, Marta Canese (2013). Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal. SBIE 2013.

Jefferson O. Andrade, Marta Canese (2013). ∃lementar: Aplicando Gamificação ao Processo de Ensino-Aprendizagem da Lógica Formal. LACLO 2013.

Karin S. Komati, Juliana A. Guimarães, Flávio S. L. de Souza, Jefferson O. Andrade (2013). Parallelization of Skeletalization of Retinal Background Images in CUDA Architecture. REAVI.

Jefferson O. Andrade, Yukiyoshi Kameyama (2012). Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras. ICICE Trans. Inf.&Syst..

Jefferson O. Andrade, Yukiyoshi Kameyama (2008). A Direct Algorithm for Multi-valued Bounded Model Checking. ATVA 2008.