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
2008	Trabalho em evento	Revisisting Peirces rule in Natural Deduction Edward Hermann HAUESLER; Vaston Gonçalves Da COSTA; Luiz Carlos PEREIRA; Wagner SANZ 2008 European Summer Meeting of the Association for Symbolic Logic; Logic Colloquium '08 ISBN 10798986	PS Logic
2008	Artigo em periódico	Proof compressions with circuit-structured substituitions Lew GORDEEV; Edward Hermann HAUESLER; Vaston Gonçalves Da COSTA Zapiski Naucnyh Seminarov Leningradskogo Otdeleniâ ordena Lenina Matematiceskogo Instituta im. V.A. Steklova Akademii Nauk SSSR ISSN 0373-2703	PS Mathematics (miscellaneous)
2007	Trabalho em evento	Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study Geiza Maria HAMAZAKI; Fernando Naufel Do AMARAL; Carlos BAZILIO; Davi Romero De VASCONCELOS; Vaston Gonçalves Da COSTA et al Australasian Ontology Workshop ISBN 192068266	PS Computer Science (miscellaneous)
2007	Artigo em periódico	A note on the size of minimal covers Vaston Gonçalves Da COSTA; Haeusler E; Laber E; Nogueira L Information Processing Letters DOI 10.1016/j.ipl.2006.10.012 ISSN 0020-0190	PS Numerical Analysis
2006	Trabalho em evento	On Strategies to Compact Proofs Vaston Gonçalves Da COSTA; Edward Hermann HAUESLER XIV Encontro Brasileiro de Lógica	PS Logic

2008 Trabalho em evento

PS Logic

Revisisting Peirces rule in Natural Deduction

2008 European Summer Meeting of the Association for Symbolic Logic; Logic Colloquium '08

Edward Hermann HAUESLER; Vaston Gonçalves Da COSTA; Luiz Carlos PEREIRA; Wagner SANZ

ISBN 10798986

2008 Artigo em periódico

PS Mathematics (miscellaneous)

Proof compressions with circuit-structured substituitions

Zapiski Naucnyh Seminarov Leningradskogo Otdeleniâ ordena Lenina Matematiceskogo Instituta im. V.A. Steklova Akademii Nauk SSSR

Lew GORDEEV; Edward Hermann HAUESLER; Vaston Gonçalves Da COSTA

ISSN 0373-2703

2007 Trabalho em evento

PS Computer Science (miscellaneous)

Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study

Australasian Ontology Workshop

Geiza Maria HAMAZAKI; Fernando Naufel Do AMARAL; Carlos BAZILIO; Davi Romero De VASCONCELOS; Vaston Gonçalves Da COSTA et al

ISBN 192068266

2007 Artigo em periódico

PS Numerical Analysis

A note on the size of minimal covers

Information Processing Letters

Vaston Gonçalves Da COSTA; Haeusler E; Laber E; Nogueira L

DOI ISSN 0020-0190

2006 Trabalho em evento

PS Logic

On Strategies to Compact Proofs

XIV Encontro Brasileiro de Lógica

Vaston Gonçalves Da COSTA; Edward Hermann HAUESLER