Publicações

(2020). Eye Movements Biometrics: a Bibliometric Analysis from 2004 to 2019. IJCA.

PDF DOI

(2020). Predição do Índice de Abrasão de Pelotas de Minério de Ferro usando Floresta Aleatória. Coletânea Brasileira de Engenharia de Produção 8.

PDF

(2019). Um Estudo de Técnicas de Esteganálise em Estego-Imagens com TextoEmbutido com LSB. BJD.

PDF DOI

(2018). Texture Classification of Sea Turtle Shell based on Color Features: Color Histograms and Chromaticity Moments. IJAIA.

PDF DOI

(2017). Gerenciamento de Informações com QR Code e Código Hash Criptográfico. Gestão do Conhecimento e Inovação, Volume 2.

PDF DOI

(2015). QuerySocial: Ferramenta de Visualização Gráfica do Monitoramento da Reação dos Usuários no Facebook. Revista Borges.

PDF

(2013). Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal. SBIE 2013.

PDF DOI

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

PDF

(2013). Paralelização de Esqueletização de Imagens de Fundo de Retina na Arquitetura CUDA. REAVI.

PDF

(2012). Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras. ICICE Trans. Inf.&Syst..

PDF DOI

(2008). A Direct Algorithm for Multi-valued Bounded Model Checking. ATVA 2008.

PDF DOI