Publications
48 publications since 2009, newest first. Links marked DOI go to the publisher; the others search for the title on Google Scholar.
Journal and magazine articles
-
2026
A heuristic approach for near Pareto-optimal design space exploration in Approximate High-Level Synthesis Integration, the VLSI Journal, vol. 108, article 102638 Find the paper
-
2026
Balancing Accuracy and Resources in FPGA Approximate HLS: Model-Free Versus Model-Based Approaches IEEE Access, vol. 14, pp. 36869 to 36878 Find the paper
- 2024
-
2023
Work in progress: analysis and evaluation of the impact of the code approximation for IoT applications Academic Journal on Computing, Engineering and Applied Mathematics, vol. 4, pp. 17 to 20 Find the paper
-
2022
Editorial: Uma breve história do hardware, seus desafios, e impacto sobre o consumo de energia Academic Journal on Computing, Engineering and Applied Mathematics, vol. 3, pp. i to ix (in Portuguese) DOI
-
2021
A Precipitation forecasting in central ecotone region in Brazil using artificial neural networks and public climatic data Revista Sítio Novo, vol. 5, pp. 131 to 146 DOI
-
2021
Evaluation of a Sliding Window mechanism as Data Augmentation over Emotion Detection on Speech Academic Journal on Computing, Engineering and Applied Mathematics, vol. 2, pp. 11 to 18 DOI
-
2021
Optimization of state assignment in a finite state machine: evaluation of a simulated annealing approach Academic Journal on Computing, Engineering and Applied Mathematics, vol. 3, pp. 9 to 16 DOI
-
2020
Embedded server to automatic control of wireless transducer network for irrigation based on Internet of things Revista Sítio Novo, vol. 4, pp. 6 to 18 DOI
-
2020
Technical report of Raspberry Pi prototype for lectures in public universities Academic Journal on Computing, Engineering and Applied Mathematics, vol. 1, pp. 7 to 12 DOI
-
2020
Evaluation of Clause-Column Table method to design of MIC hazard-free in asynchronous finite state machines Academic Journal on Computing, Engineering and Applied Mathematics, vol. 1, pp. 1 to 8 DOI
-
2019
A hybrid Algorithm for Deployment of Sensors with Coverage and Connectivity Constraints International Journal of Advanced Engineering Research and Science, vol. 6, pp. 13 to 19 Find the paper
-
2019
Two Classic Chess Problems Solved by Answer Set Programming International Journal of Advanced Engineering Research and Science, vol. 6, pp. 373 to 377 Find the paper
-
2019
Citrus Fruit Quality Classification using Support Vector Machines International Journal of Advanced Engineering Research and Science, vol. 6, pp. 59 to 65 Find the paper
-
2019
Analysis of Genetic Algorithm for synthesis digital systems modeled in finite state machine International Journal of Advanced Engineering Research and Science, vol. 6, pp. 218 to 222 Find the paper
-
2019
Uma análise da importância das patentes relacionadas ao software Revista Observatório, vol. 5, pp. 1 to 19 (in Portuguese) Find the paper
-
2018
Improvement in Logisim to Digital Systems Simulation in Higher Levels of Abstraction and Synthesis International Journal of Applied Information Systems, vol. 12, pp. 1 to 7 Find the paper
-
2018
Development of transducer management module for irrigation in precision agriculture based on internet of things International Journal of Internet of Things and Web Services, vol. 3, pp. 45 to 54 Find the paper
-
2018
CRELSA: property control access based on the internet of things International Journal of Internet of Things and Web Services, vol. 3, pp. 39 to 44 Find the paper
-
2018
Weightless Neural Network with Transfer Learning to Detect Distress in Asphalt International Journal of Advanced Engineering Research and Science, vol. 5, pp. 294 to 299 Find the paper
-
2017
Reevaluation of Genetic Algorithm Applied to Minimize Multilevel Boolean Expressions in Digital Systems International Journal of Advanced Research, vol. 5, pp. 1478 to 1488 Find the paper
-
2017
FeSTA-D: The Effect of Delaunay Triangulation in the Relay Node Placement using FeSTA Algorithm International Journal of Computer Applications, vol. 178, pp. 1 to 6 Find the paper
-
2013
SF2HDL: A Computational Tool of State Transition Diagram Translation Journal of Mechanical Engineering and Automation, vol. 3, pp. 78 to 86 Find the paper
-
2013
Acquired Experiences With Computational Tool MS2SV Used in Electronic Circuit Design Electrical and Electronic Engineering, vol. 3, pp. 97 to 104 Find the paper
-
2012
Enhancement to a Computational Tool for the Support of the Design of Mixed Technology Systems International Journal of Engineering Practical Research, vol. 1, pp. 35 to 47 Find the paper
Book chapters
-
2019
Desafios e oportunidades de negócios em Internet das Coisas In: Pesquisa em inovação: múltiplos olhares rumo a uma convergência formativa. Palmas: EDUFT, pp. 47 to 57 (in Portuguese) Find the paper
-
2014
Code Generation From MATLAB/Simulink Models In: MATLAB Applications for the Practical Engineer. Rijeka: InTech, pp. 419 to 467 Find the paper
Conference papers
-
2023
Efficient Accelerator Design in High-Level Synthesis Using Approximate Logic Components IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Foz do Iguaçu, Brazil Find the paper
-
2023
Experimental analysis of the symmetry of approximate adder designs in FPGA and ASIC XIII Brazilian Symposium on Computing Systems Engineering (SBESC), Porto Alegre, Brazil Find the paper
-
2014
Computational Tool for Automatic Description of TIM and NCAP (IEEE Std. 1451) Specified in XML at High Level of Abstraction as Finite State Machine International Conference on Engineering and Technology Education (INTERTECH), Guimarães, Portugal, pp. 89 to 94 Find the paper
-
2014
Genetic algorithm in high level synthesis of electronic circuits and systems International Workshop on Digital Circuits, Design and Synthesis (KNWS), Karpacz, Poland, pp. 1 to 14 Find the paper
-
2013
Metodologia para síntese automática de máquinas de estados finitos baseada em descrição em alto nível de abstração VIII International Conference on Engineering and Computer Education, Luanda, Angola, pp. 371 to 375 (in Portuguese) Find the paper
-
2012
Computational Tool to Support Design of DAC Converter Model AD7528 with the Object Code in XML IEEE Electronics, Robotics and Automotive Mechanics Conference (CERMA), Cuernavaca, Mexico, p. 327 Find the paper
-
2012
Improvement and Evaluation of the MS2SV for Mixed Systems Design Described in Abstraction High Level IEEE Electronics, Robotics and Automotive Mechanics Conference (CERMA), Cuernavaca, Mexico, p. 353 Find the paper
-
2011
Apoio à disciplina de microprocessadores com auxílio da ferramenta ABACUS²MC-1 International Symposium on Engineering Education, Santos, Brazil, pp. 908 to 912 (in Portuguese) Find the paper
-
2011
Methodology analysis of a computational tool used in electronic circuit design IEEE International Instrumentation and Measurement Technology Conference (I2MTC), Hangzhou, China, pp. 710 to 715 Find the paper
-
2010
Modelagem e Análise do Padrão IEEE 1451 Por Meio de Máquinas de Estados Finitos International Conference on Engineering and Technology Education (INTERTECH), Ilhéus, Brazil, pp. 598 to 602 (in Portuguese) Find the paper
-
2010
Modelagem, síntese e análise de conversores DAC com auxílio da ferramenta MS2SV XVIII Congresso Brasileiro de Automática (CBA), Bonito, Brazil, pp. 2846 to 2851 (in Portuguese) Find the paper
-
2009
Projeto de Extensão Universitária Visando o Desenvolvimento Sustentável International Conference on Engineering and Computer Education, Buenos Aires, Argentina, pp. 688 to 692 (in Portuguese) Find the paper
-
2009
Projeto de Iniciação Científica com Forte Impacto em Desenvolvimento Sustentável International Conference on Engineering and Computer Education, Buenos Aires, Argentina, pp. 668 to 672 (in Portuguese) Find the paper
-
2009
SF2TAB+VHDL: um ambiente de tradução de máquinas de estados finitos para realização de síntese lógica Brazilian Conference on Dynamics, Control and Applications (DINCON), Bauru, Brazil, pp. 1 to 8 (in Portuguese) Find the paper
-
2009
SF2TAB: Integrando Herramientas de Traducción en el Proyecto de Controladores de Procesos Industriales XIII Reunión de Trabajo en Procesamiento de la Información y Control (RPIC), Rosario, Argentina, pp. 793 to 798 (in Spanish) Find the paper
-
2009
Ambiente Didático para o Ensino de Máquinas de Estados Finitos Congresso Brasileiro de Educação em Engenharia (COBENGE), Recife, Brazil, pp. 1 to 10 (in Portuguese) Find the paper
-
2009
An Environment of State Transition Diagram Translation International Conference on Manufacturing and Engineering Systems (ICMES), Huwei, Taiwan, pp. 301 to 306 Find the paper
Extended abstracts
-
2018
Rastreamento Urbano de Transporte Integrado XI SECCOMP, Semana Acadêmica do Curso de Ciência da Computação, UFT, Palmas, pp. 85 to 89 (in Portuguese) Find the paper
-
2018
Gerenciamento de transdutores para irrigação em agricultura de precisão baseado em internet das coisas XI SECCOMP, Semana Acadêmica do Curso de Ciência da Computação, UFT, Palmas, pp. 19 to 24 (in Portuguese) Find the paper
-
2018
Sensores eletroquímicos na detecção do gás amônia XI SECCOMP, Semana Acadêmica do Curso de Ciência da Computação, UFT, Palmas, pp. 68 to 72 (in Portuguese) Find the paper
-
2018
Sistematização das metodologias ESL com enfoque em SystemC XI SECCOMP, Semana Acadêmica do Curso de Ciência da Computação, UFT, Palmas, pp. 79 to 84 (in Portuguese) Find the paper
Short abstracts and talks that repeat the papers above are not listed. The complete record is on Lattes.