Follow
Vaston Gonçalves da Costa
Vaston Gonçalves da Costa
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Universidade Federal de Goiás,
Verified email at ufg.br
Title
Cited by
Cited by
Year
Proof compressions with circuit-structured substitutions
L Gordeev, EH Haeusler, VG da Costa
Journal of Mathematical Sciences 158, 645-658, 2009
142009
Construção e adaptação do projeto APOLOBVM: relato de experiência de criação de metodologia de ensino através de ferramentas tecnológicas e inovadoras em tempos de pandemia de …
MS Andrade, LPG De Melo, ASP Sadoyama, G Sadoyama, PH Tomás, ...
Humanidades e Tecnologia (FINOM) 25 (1), 219-238, 2020
32020
Domótica: Uma solução para a vida moderna–Automação residencial com controle via web
MH Stoppa, LFE Martinez, JS Borges, EA da Silva Júnior, VG da Costa
Revista CEPPG-CESUC-Centro de Ensino Superior de Catalão, 2013
32013
Uso da Robótica Educacional no Ensino Fundamental: Um estudo de caso preliminar
GQ Pereira, VG Costa
UFG, 2010
32010
A discussion on compressing proofs through proof-theoretical techniques
EH Haeusler, VG da Costa
Christiano Braga (Ed.), 2012
12012
Emprego de técnicas geométricas em sistemas embarcados para auxiliar pequenos produtores rurais
LR Mundim, MH Stoppa, AM Rocha, VG da Costa
34o Congresso Nacional de Matemática Aplicada e Computacional, 2012
12012
Criptografia em hardware com VHDL usando circuitos FPGA× criptografia em software
AA Almeida, VG Costa
12010
Aplicação de lógica descritiva para documentação e validação de requisitos em spl
FA Nóbrega, VG da Costa, LL Lobato
ENACOMP Encontro Anual de Computação 1, 2010
12010
CompactaçãO de Provas lóGicas.
VG da Costa
Pontifical Catholic University of Rio de Janeiro, Brazil, 2007
12007
Emprego de análise formal no processo de gerenciamento de habilidades
LG Dias, VG da Costa
Tecnologias em pesquisa: ciências exatas e biológicas 1 (1), 147-154, 2017
2017
Gestão, Formalismos e Desenvolvimento de Software-Uma Análise Acerca Das Produções Brasileiras
LG Dias, VG da Costa
Blucher Education Proceedings 2 (1), 88-95, 2017
2017
LinA como ferramenta auxiliar no processo de ensino-aprendizagem de Álgebra Linear
C Dantas, VG da Costa
Anais dos Workshops do Congresso Brasileiro de Informática na Educação 5 (1 …, 2016
2016
10.10 Computation
VG da Costa, EH Haeusler, MQ Cruz, J de Barros Santos
Handbook of the 5th World Congress and School on Universal Logic, 262, 2015
2015
NP system and Mimp-graph association
VG da Costa, EH Haeusler, MQ Cruz, J de Barros Santos
Handbook of the 5th World Congress and School on Universal Logic, 346, 2015
2015
Some Remarks on the size of Boolean Functions
VG da Costa, ES Laber, EH Haeusler
PUC, 2004
2004
Physical computational by manifolds
EH Haeusler, VG da Costa
BOOK OF ABSTRACTS LIVRO DE RESUMOS, 125, 0
SIMULAÇÃO COMPUTACIONAL POR ELEMENTOS FINITOS E VALIDAÇÃO EXPERIMENTAL DE TUBOS DE PVC SOLICITADOS À FLEXÃO
LR da Silva Souza, NS dos Santos, CN Pereira, VG da Costa, MH Stoppa
Verificação formal de sistemas digitais embarcados
N de Souza Silva, VG da Costa, MH Stoppa
ANÁLISE ESTÁTICA LINEAR DE VIGA LAMINADA DE PVDF STATIC ANALYSIS OF LINEAR BEAM OF LAMINATED PVDF
DM Santee, HY Fuchigami, MH Stoppa, MN Rabelo, ...
Uso do algoritmo Diffie-Hellman na geração de keyfile para o TrueCrypt
RM Pires, VG Costa
The system can't perform the operation now. Try again later.
Articles 1–20