Publicações

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). 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.

Lucas C. Possatti, Gilberto N. Sudré Filho, Leandro C. Resendo, Jefferson O. Andrade, Karin S. Komati (2019). Um Estudo de Técnicas de Esteganálise em Estego-Imagens com TextoEmbutido com 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: Ferramenta de Visualização Gráfica do Monitoramento da Reação dos Usuários no 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). Paralelização de Esqueletização de Imagens de Fundo de Retina na Arquitetura CUDA. 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.