Proof compressions with circuit-structured substitutions L Gordeev, EH Haeusler, VG da Costa Journal of Mathematical Sciences 158, 645-658, 2009 | 14 | 2009 |
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 | 4 | 2013 |
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 | 3 | 2020 |
Uso da Robótica Educacional no Ensino Fundamental: Um estudo de caso preliminar GQ Pereira, VG Costa UFG, 2010 | 3 | 2010 |
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 | 1 | 2016 |
A discussion on compressing proofs through proof-theoretical techniques EH Haeusler, VG da Costa Christiano Braga (Ed.), 2012 | 1 | 2012 |
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 | 1 | 2012 |
Criptografia em hardware com VHDL usando circuitos FPGA× criptografia em software AA Almeida, VG Costa | 1 | 2010 |
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 | 1 | 2010 |
CompactaçãO de Provas lóGicas. VG da Costa Pontifical Catholic University of Rio de Janeiro, Brazil, 2007 | 1 | 2007 |
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 |
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 | | |