Produção acadêmica

Publicações

Publicações importadas dos metadados do Hugo.

Em destaque
A Direct Algorithm for Multi-valued Bounded Model Checking
Jefferson O. Andrade, Yukiyoshi Kameyama
2008-10-23 · 6th International Symposium on Automated Technology for Verification and Analysis
Em destaque
Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras
Jefferson O. Andrade, Yukiyoshi Kameyama
2012-05-01 · IEICE Transactions on Information and Systems
Em destaque
∃lementar: Aplicando Gamificação ao Processo de Ensino-Aprendizagem da Lógica Formal
Jefferson O. Andrade, Marta Canese
2013-10-25 · Eighth Latin American Conference on Learning Objects and Technologies
Em destaque
Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal
Jefferson O. Andrade, Marta Canese
2013-11-29 · XXIV Simpósio Brasileiro de Informática na Educação
Eye Movements Biometrics: a Bibliometric Analysis from 2004 to 2019
Antonio R. A. Brasil, Jefferson O. Andrade, Karin S. Komati
2020-05-15 · International Journal of Computer Applications
Paralelização de Esqueletização de Imagens de Fundo de Retina na Arquitetura CUDA
Karin S. Komati, Juliana A. Guimarães, Flávio S. L. de Souza, Jefferson O. Andrade
2013-08-01 · Revista Eletrônica do Alto Vale do Itajaí
Gerenciamento de Informações com QR Code e Código Hash Criptográfico
Karin S. Komati, Eduardo R. Costa, Jefferson O. Andrade
2017-10-03 · Gestão do Conhecimento e Inovação, Volume 2
QuerySocial: Ferramenta de Visualização Gráfica do Monitoramento da Reação dos Usuários no Facebook
Lucas C. S. Oliveira, Karin S. Komati, Jefferson O. Andrade, Ronaldo A. Marques
2015-12-09 · Revista Borges: Ciências Sociais Aplicada em Debate
Texture Classification of Sea Turtle Shell based on Color Features: Color Histograms and Chromaticity Moments
Wdnei R. da Paixão, Thiago M. Paixão, Mateus C. B. da Costa, Jefferson O. Andrade, Flavio G. Pereira, Karin S. Komati
2018-03-01 · International Journal of Artificial Intelligence and Applications
Um Estudo de Técnicas de Esteganálise em Estego-Imagens com TextoEmbutido com LSB
Lucas C. Possatti, Gilberto N. Sudré Filho, Leandro C. Resendo, Jefferson O. Andrade, Karin S. Komati
2019-10-20 · Brazilian Journal of Development
Predição do Índice de Abrasão de Pelotas de Minério de Ferro usando Floresta Aleatória
Marcio Rezende, Jefferson O. Andrade, Karin S. Komati
2020-02-12 · Coletânea Brasileira de Engenharia de Produção 8