Vaston Gonçalves Da Costa

Dados pessoais

Lattes
Grupos de Pesquisa
Genealogia Acadêmica

Nacionalidade: Brasileira
Grande área de atuação: Ciências Exatas e da Terra
Área de atuação: Matemática

Publicações

Total: 55

Área temática ASJC

Percentual das publicações classificadas

HS Ciências da Saúde
LS Ciências da Vida
MU Multidisciplinar
PS Ciências Físicas
SH Ciências Sociais e Humanidades

Categoria ASJC

Categorias ASJC mais frequentes

Nome	Vínculo	Links	Grande área de atuação	Área de atuação
Nome	Vínculo		Grande área de atuação	Área de atuação
Adriana Dos Santos Prado SADOYAMA			Linguística, Letras e Artes	Lingüística

Figura 1

Número de publicações por ano e por tipo

Todas as publicações do perfil

Figura 2

Categorias ASJC mais frequentes por ano

A cor dos pontos identifica a categoria predominante

Figura 3

Mapa de calor das categorias ASJC por ano

Frequências absolutas; cores mais escuras indicam mais publicações. Todas as categorias ASJC e anos disponíveis, sem aplicar os filtros da página.

Escala: 0 → 3

Mapa de calor das categorias ASJC por ano
Categoria ASJC	2006	2007	2008	2009	2010	2011	2012	2013	2015	2016	2017	2018	2019	2020	2021	2022	2023	2024	2025
1701 · Computer Science (miscellaneous)	0	1	0	0	1	1	0	0	1	0	1	0	0	0	0	0	0	3	0
2609 · Logic	1	0	1	0	1	0	0	0	1	0	0	0	0	0	0	1	0	0	0
2614 · Theoretical Computer Science	0	0	0	2	0	0	0	0	0	0	0	0	0	0	0	1	1	0	0
3304 · Education	0	0	0	0	0	0	0	0	0	1	0	1	0	1	0	0	0	1	0
1702 · Artificial Intelligence	0	0	0	0	0	0	0	1	0	0	0	1	0	0	1	0	0	0	0
1706 · Computer Science Applications	0	0	0	0	1	0	0	1	0	0	0	1	0	0	0	0	0	0	0
2201 · Engineering (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	2	0
2208 · Electrical and Electronic Engineering	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	2	0	0	0
1708 · Hardware and Architecture	0	0	0	0	1	1	0	0	0	0	0	0	0	0	0	0	0	0	0
2604 · Applied Mathematics	0	0	0	0	0	0	1	1	0	0	0	0	0	0	0	0	0	0	0
1102 · Agronomy and Crop Science	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0
1201 · Arts and Humanities (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0
1208 · Literature and Literary Theory	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0
1401 · Business; Management and Accounting (miscellaneous)	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0
1403 · Business and International Management	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0
1406 · Marketing	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0
1408 · Strategy and Management	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0
1703 · Computational Theory and Mathematics	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0
1705 · Computer Networks and Communications	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1710 · Information Systems	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0
1712 · Software	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0
1803 · Management Science and Operations Research	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0
2210 · Mechanical Engineering	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0
2311 · Waste Management and Disposal	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0
2601 · Mathematics (miscellaneous)	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2605 · Computational Mathematics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0
2612 · Numerical Analysis	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
3321 · Public Administration	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1

Ano	Tipo	Registro	Área temática e categoria ASJC
	Tipo de Publicação	Registro	Área temática e categoria ASJC
2018	Artigo em periódico	Teste de Desempenho de algoritmos de Criptografia: Comparando AES; DES e RSA Nataniel Pereira Dos SANTOS; Pedro Henrique TOMÁS; Márcio Silva ANDRADE; Vaston Gonçalves Da COSTA HUMANIDADES & TECNOLOGIA EM REVISTA (FINOM) ISSN 1809-1628	PS Artificial Intelligence
2017	Capítulo de livro	Verificação formal de sistemas digitais embarcados Silva Nayara De SOUZA; Vaston Gonçalves Da COSTA; Stoppa Marcelo HENRIQUE Tecnologias em pesquisa: engenharias DOI 10.5151/9788580392234-08 ISBN 9788580392234	PS Computer Science (miscellaneous)
2017	Capítulo de livro	Emprego de análise formal no processo de gerenciamento de habilidades Dias Luiz GUSTAVO; Vaston Gonçalves Da COSTA Tecnologias em pesquisa: ciências exatas e biológicas DOI 10.5151/9788580392326-10 ISBN 9788580392326	SH Business; Management and Accounting (miscellaneous)
2016	Trabalho em evento	LinA como ferramenta auxiliar no processo de ensino-aprendizagem de Álgebra Linear Vaston Gonçalves Da COSTA; Cleriston Aparecido DANTAS; Salviano Ludgério Felipe GOMES Congresso Brasileiro de Informática na Educação	SH Education
2015	Trabalho em evento	INDUSTRIAL PRODUCTION LINE MODELING AND REASONING BY PETRI NETS Vaston Gonçalves Da COSTA; Vieira Bruno LOPES; Stoppa Marcelo HENRIQUE; Souza Leandro Rodrigues Da SILVA Congresso Nacional de Matemática Aplicada à Indústria DOI 10.5151/mathpro-cnmai-0021	SH Management Science and Operations Research
2015	Trabalho em evento	SIMULAÇÃO COMPUTACIONAL POR ELEMENTOS FINITOS E VALIDAÇÃO EXPERIMENTAL DE TUBOS DE PVC SOLICITADOS À FLEXÃO Souza Leandro Rodrigues Da SILVA; Santos Núbia Saad DOS; Pereira Clezidan NÚCIO; Vaston Gonçalves Da COSTA; Stoppa Marcelo HENRIQUE Congresso Nacional de Matemática Aplicada à Indústria DOI 10.5151/mathpro-cnmai-0143	PS Mechanical Engineering
2015	Trabalho em evento	NP system and Mimp-graph Association Vaston Gonçalves Da COSTA; Edward Hermann HAUESLER; Marcela Quispe CRUZ; Jefferson De Barros SANTOS 5th World Congress and School of Universal Logic	PS Logic
2015	Trabalho em evento	NP full system and Mimp-fol association Vaston Gonçalves Da COSTA; Edward Hermann HAUESLER; Marcela Quispe CRUZ NataLogic 2015	PS Computer Science (miscellaneous)
2013	Trabalho em evento	Game modelling and reasoning by Petri Nets Vaston Gonçalves Da COSTA; Bruno Lopes VIEIRA; Edward Hermann HAUESLER Congresso Brasileiro de Software: Teoria e Prática ISBN 2178-6097	PS Artificial Intelligence
2013	Artigo em periódico	Domótica: uma solução para a vida moderna - automação residencial de controle via WEB Marcello Henrique STOPPA; Luiz Fernando Elias MARTINEZ; José Salviano BORGES; Edson Amado Da Silva JÚNIOR; Vaston Gonçalves Da COSTA CEPPG Revista (Catalão) ISSN 1517-8471	PS Computer Science Applications
2013	Artigo em periódico	Algoritimo de Rex no Cálculo de Áreas Vaston Gonçalves Da COSTA; Marcello Henrique STOPPA; Max Valério LEMES; Cleriston Aparecido DANTAS CEPPG Revista (Catalão) ISSN 1517-8471	PS Applied Mathematics
2012	Livro	A Família Pereira - Uma História de Sucesso na Zona Rural Marcello Henrique STOPPA; Leandro Resende MUNDIM; Vaston Gonçalves Da COSTA; Serigne Ababacar Cissé BA; Márcia Ribeiro Do SANTOS et al — ISBN 9788589275316	SH Literature and Literary Theory
2012	Trabalho em evento	O Algoritmo de Rex no Desenvolvimento de um Aplicativo para Cálculo de Áreas de Pequenas Propriedades Rurais Vaston Gonçalves Da COSTA; Marcello Henrique STOPPA Congresso de Matemática Aplicada e Computacional ISBN 23173297	PS Applied Mathematics
2012	Trabalho em evento	EMPREGO DE T ÉCNICAS GEOMÉTRICAS EM SISTEMAS EMBARCADOS PARA AUXILIAR PEQUENOS PRODUTORES RURAIS Adriano Mendonça ROCHA; Vaston Gonçalves Da COSTA; Leandro Resende MUNDIM; Marcello Henrique STOPPA CNMAC 2012 ISBN 19848218	LS Agronomy and Crop Science
2011	Trabalho em evento	EMPREGO DE TESTES ESTATÍSTICOS EM GERADORES DE NÚMEROS ALEATÓRIOS PARA VERIFICAÇÃO DE EFICÁCIA DE ALGORITMOS CRIPTOGRÁFICOS Amanda Cristina Davi RESENDE; Vaston Gonçalves Da COSTA Congresso de Pesquisa; Ensino; Extensão e Cultura do Campus Catalão	PS Computer Science (miscellaneous)
2011	Trabalho em evento	Implementação em VHDL do algoritmo DES compilada no Altera Quartus II Ariane Alves ALMEIDA; Vaston Gonçalves Da COSTA Encontro anual de computação	PS Hardware and Architecture
2011	Trabalho em evento	Otimizacao da arquitetura Model-view-controler utilizando web service como camada modelo. Marcello Vitor De Almeida BORGES; Vaston Gonçalves Da COSTA Congresso de Pesquisa; Ensino; Extensão e Cultura do Campus Catalão	PS Software
2011	Artigo em periódico	Uso de VHDL no FPGA Altera Cyclone II para construção de sistemas criptográficos Ariane Alves ALMEIDA; Vaston Gonçalves Da COSTA Mediação (UEG. Pires do Rio) ISSN 1980-556X	PS Electrical and Electronic Engineering
2010	Trabalho em evento	Criptografia em Hardware com VHDL Usando Circuitos FPGA X Criptografia em Software Ariane Alves ALMEIDA; Vaston Gonçalves Da COSTA VIII Encontro Anual de Computação - ISSN 2178-6992	PS Hardware and Architecture
2010	Trabalho em evento	O Uso da Robótica Educacional no Ensino Fundamental: Um estudo de caso preliminar Gabriela Quirino PEREIRA; Vaston Gonçalves Da COSTA VIII Encontro Anual de Computação - ISSN 2178-6992	PS Computer Science Applications
2010	Trabalho em evento	Uso do algoritmo Diffie-Hellman na geração de keyfile para o TrueCrypt Rayner De Melo PIRES; Vaston Gonçalves Da COSTA VIII Encontro Anual de Computação - ISSN 2178-6992	PS Computer Networks and Communications
2010	Trabalho em evento	Aplicação de Lógica Descritiva para Documentação e Validação de Requisitos em SPL Fernando Asevedo NOBREGA; Vaston Gonçalves Da COSTA; Luanna Lopes LOBATO VIII Encontro Anual de Computação - ISSN 2178-6992	PS Computer Science (miscellaneous)
2010	Artigo em periódico	A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic Pereira Luiz C; Haeusler Edward H; Vaston Gonçalves Da COSTA; Sanz WAGNER Studia Logica DOI 10.1007/s11225-010-9275-1 ISSN 0039-3215	PS Logic
2009	Artigo em periódico	Proof compressions with circuit-structured substitutions Lew GORDEEV; Haeusler E H; Vaston Gonçalves Da COSTA Journal of Mathematical Sciences (New York) DOI 10.1007/s10958-009-9405-3 ISSN 1072-3374	PS Theoretical Computer Science
2009	Artigo em periódico	Peirce's Rule in a Full Natural Deduction System Vaston Gonçalves Da COSTA; Sanz WAGNER; Haeusler Edward H; Pereira Luiz C Electronic Notes in Theoretical Computer Science DOI 10.1016/j.entcs.2009.11.002 ISSN 1571-0661	PS Theoretical Computer Science

2018 Artigo em periódico

PS Artificial Intelligence

Teste de Desempenho de algoritmos de Criptografia: Comparando AES; DES e RSA

HUMANIDADES & TECNOLOGIA EM REVISTA (FINOM)

Nataniel Pereira Dos SANTOS; Pedro Henrique TOMÁS; Márcio Silva ANDRADE; Vaston Gonçalves Da COSTA

ISSN 1809-1628

2017 Capítulo de livro

PS Computer Science (miscellaneous)

Verificação formal de sistemas digitais embarcados

Tecnologias em pesquisa: engenharias

Silva Nayara De SOUZA; Vaston Gonçalves Da COSTA; Stoppa Marcelo HENRIQUE

DOI ISBN 9788580392234

2017 Capítulo de livro

SH Business; Management and Accounting (miscellaneous)

Emprego de análise formal no processo de gerenciamento de habilidades

Tecnologias em pesquisa: ciências exatas e biológicas

Dias Luiz GUSTAVO; Vaston Gonçalves Da COSTA

DOI ISBN 9788580392326

2016 Trabalho em evento

SH Education

LinA como ferramenta auxiliar no processo de ensino-aprendizagem de Álgebra Linear

Congresso Brasileiro de Informática na Educação

Vaston Gonçalves Da COSTA; Cleriston Aparecido DANTAS; Salviano Ludgério Felipe GOMES

2015 Trabalho em evento

SH Management Science and Operations Research

INDUSTRIAL PRODUCTION LINE MODELING AND REASONING BY PETRI NETS

Congresso Nacional de Matemática Aplicada à Indústria

Vaston Gonçalves Da COSTA; Vieira Bruno LOPES; Stoppa Marcelo HENRIQUE; Souza Leandro Rodrigues Da SILVA

DOI

2015 Trabalho em evento

PS Mechanical Engineering

SIMULAÇÃO COMPUTACIONAL POR ELEMENTOS FINITOS E VALIDAÇÃO EXPERIMENTAL DE TUBOS DE PVC SOLICITADOS À FLEXÃO

Congresso Nacional de Matemática Aplicada à Indústria

Souza Leandro Rodrigues Da SILVA; Santos Núbia Saad DOS; Pereira Clezidan NÚCIO; Vaston Gonçalves Da COSTA; Stoppa Marcelo HENRIQUE

DOI

2015 Trabalho em evento

PS Logic

NP system and Mimp-graph Association

5th World Congress and School of Universal Logic

Vaston Gonçalves Da COSTA; Edward Hermann HAUESLER; Marcela Quispe CRUZ; Jefferson De Barros SANTOS

2015 Trabalho em evento

PS Computer Science (miscellaneous)

NP full system and Mimp-fol association

NataLogic 2015

Vaston Gonçalves Da COSTA; Edward Hermann HAUESLER; Marcela Quispe CRUZ

2013 Trabalho em evento

PS Artificial Intelligence

Game modelling and reasoning by Petri Nets

Congresso Brasileiro de Software: Teoria e Prática

Vaston Gonçalves Da COSTA; Bruno Lopes VIEIRA; Edward Hermann HAUESLER

ISBN 2178-6097

2013 Artigo em periódico

PS Computer Science Applications

Domótica: uma solução para a vida moderna - automação residencial de controle via WEB

CEPPG Revista (Catalão)

Marcello Henrique STOPPA; Luiz Fernando Elias MARTINEZ; José Salviano BORGES; Edson Amado Da Silva JÚNIOR; Vaston Gonçalves Da COSTA

ISSN 1517-8471

2013 Artigo em periódico

PS Applied Mathematics

Algoritimo de Rex no Cálculo de Áreas

CEPPG Revista (Catalão)

Vaston Gonçalves Da COSTA; Marcello Henrique STOPPA; Max Valério LEMES; Cleriston Aparecido DANTAS

ISSN 1517-8471

2012 Livro

SH Literature and Literary Theory

A Família Pereira - Uma História de Sucesso na Zona Rural

—

Marcello Henrique STOPPA; Leandro Resende MUNDIM; Vaston Gonçalves Da COSTA; Serigne Ababacar Cissé BA; Márcia Ribeiro Do SANTOS et al

ISBN 9788589275316

2012 Trabalho em evento

PS Applied Mathematics

O Algoritmo de Rex no Desenvolvimento de um Aplicativo para Cálculo de Áreas de Pequenas Propriedades Rurais

Congresso de Matemática Aplicada e Computacional

Vaston Gonçalves Da COSTA; Marcello Henrique STOPPA

ISBN 23173297

2012 Trabalho em evento

LS Agronomy and Crop Science

EMPREGO DE T ÉCNICAS GEOMÉTRICAS EM SISTEMAS EMBARCADOS PARA AUXILIAR PEQUENOS PRODUTORES RURAIS

CNMAC 2012

Adriano Mendonça ROCHA; Vaston Gonçalves Da COSTA; Leandro Resende MUNDIM; Marcello Henrique STOPPA

ISBN 19848218

2011 Trabalho em evento

PS Computer Science (miscellaneous)

EMPREGO DE TESTES ESTATÍSTICOS EM GERADORES DE NÚMEROS ALEATÓRIOS PARA VERIFICAÇÃO DE EFICÁCIA DE ALGORITMOS CRIPTOGRÁFICOS

Congresso de Pesquisa; Ensino; Extensão e Cultura do Campus Catalão

Amanda Cristina Davi RESENDE; Vaston Gonçalves Da COSTA

2011 Trabalho em evento

PS Hardware and Architecture

Implementação em VHDL do algoritmo DES compilada no Altera Quartus II

Encontro anual de computação

Ariane Alves ALMEIDA; Vaston Gonçalves Da COSTA

2011 Trabalho em evento

PS Software

Otimizacao da arquitetura Model-view-controler utilizando web service como camada modelo.

Congresso de Pesquisa; Ensino; Extensão e Cultura do Campus Catalão

Marcello Vitor De Almeida BORGES; Vaston Gonçalves Da COSTA

2011 Artigo em periódico

PS Electrical and Electronic Engineering

Uso de VHDL no FPGA Altera Cyclone II para construção de sistemas criptográficos

Mediação (UEG. Pires do Rio)

Ariane Alves ALMEIDA; Vaston Gonçalves Da COSTA

ISSN 1980-556X

2010 Trabalho em evento

PS Hardware and Architecture

Criptografia em Hardware com VHDL Usando Circuitos FPGA X Criptografia em Software

VIII Encontro Anual de Computação - ISSN 2178-6992

Ariane Alves ALMEIDA; Vaston Gonçalves Da COSTA

2010 Trabalho em evento

PS Computer Science Applications

O Uso da Robótica Educacional no Ensino Fundamental: Um estudo de caso preliminar

VIII Encontro Anual de Computação - ISSN 2178-6992

Gabriela Quirino PEREIRA; Vaston Gonçalves Da COSTA

2010 Trabalho em evento

PS Computer Networks and Communications

Uso do algoritmo Diffie-Hellman na geração de keyfile para o TrueCrypt

VIII Encontro Anual de Computação - ISSN 2178-6992

Rayner De Melo PIRES; Vaston Gonçalves Da COSTA

2010 Trabalho em evento

PS Computer Science (miscellaneous)

Aplicação de Lógica Descritiva para Documentação e Validação de Requisitos em SPL

VIII Encontro Anual de Computação - ISSN 2178-6992

Fernando Asevedo NOBREGA; Vaston Gonçalves Da COSTA; Luanna Lopes LOBATO

2010 Artigo em periódico

PS Logic

A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic

Studia Logica

Pereira Luiz C; Haeusler Edward H; Vaston Gonçalves Da COSTA; Sanz WAGNER

DOI ISSN 0039-3215

2009 Artigo em periódico

PS Theoretical Computer Science

Proof compressions with circuit-structured substitutions

Journal of Mathematical Sciences (New York)

Lew GORDEEV; Haeusler E H; Vaston Gonçalves Da COSTA

DOI ISSN 1072-3374

2009 Artigo em periódico

PS Theoretical Computer Science

Peirce's Rule in a Full Natural Deduction System

Electronic Notes in Theoretical Computer Science

Vaston Gonçalves Da COSTA; Sanz WAGNER; Haeusler Edward H; Pereira Luiz C

DOI ISSN 1571-0661