Eduardo Zambon

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Alemão

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Holandês

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.

RENSINK, AREND ; Zambon, Eduardo . 1st Graphs as Models (GaM). 2015. (Congresso).

RENSINK, AREND ; Zambon, Eduardo . 5th International Conference on Graph Transformation (ICGT). 2010. (Congresso).

First Workshop on Graph Inspection and Traversal Engineering.Graph Subsumption in Abstract State Space Exploration. 2012. (Seminário).

Sixth International Conference on Graph Transformations (ICGT 2012). Pattern-Based Graph Abstraction. 2012. (Congresso).

Fourth International Symposium on Applications of Graph Transformation with Industrial Relevance, AGTIVE.Knowledge-based Graph Exploration Analysis. 2011. (Simpósio).

COST Winter School on Verification of Object-Oriented Programs. 2010. (Oficina).

Fifth International Conference on Graph Transformations (ICGT 2010). Using Graph Transformations and Graph Abstractions for Software Verification. 2010. (Congresso).

Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs). Neighbourhood Abstraction in GROOVE. 2010. (Congresso).

Transformation Tool Contest (TTC).Solving the Topology Analysis Case Study with GROOVE. 2010. (Seminário).

Fifth International Workshop on Graph-Based Tools (GraBaTs).Verifying the Leader Election Algorithm in GROOVE. 2009. (Seminário).

IFIP International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE. A Type Graph Model for Java Programs. 2009. (Congresso).

NATO Summer School on Logics and Languages for Reliability and Security. 2009. (Oficina).

Fourth International Conference on Graph Transformations (ICGT). 2008. (Congresso).

1 Workshop PROBRAL de Robótica e Inteligência Computacional. 2007. (Outra).

XXXIX SBPO - Simpósio Brasileiro de Pesquisa Operacional.Um modelo de programação não-linear binária para otimizar a confiabilidade em redes de distribuição de energia elétrica. 2007. (Simpósio).

ALMEIDA, JOAO PAULO A.;Zambon, Eduardo; SOUZA, V. E. S.; SALES, T. P.. Ontologically-Correct Ontologies by Construction: A Graph Grammar Approach. 2022. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.

VILLACA, R.; MORAES, R. E. N.;Zambon, Eduardo; VERDI, F. L.. Minimização do Conjunto de Observadores para Geração de Matrizes de Tráfego. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.

BOERES, M. C. S.; CATABRIGA, L.; REIS JUNIOR, N. C.; PINHEIRO, I.;Zambon, Eduardo. An Experimental Study of the Geometric and Algebraic Multigrid Strategies. 2016. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; BOERES, M. C. S.; RESENDO, L. C.. Um Estudo Experimental de Busca Guiada na Exploração do Espaço de Estados de Gramáticas de Grafos. 2016. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo.

MARTINELLO, M.;Zambon, Eduardo; NIGAM, V.; VILLACA, R.. Análise e Detecção de Inconsistências em Políticas de Segurança - Um Estudo Prático com Firewalls. 2016. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; BOERES, M. C. S.; MAURI, G. R.; Ochi, Luiz Satoru. Estudo Experimental da Aplicação do Algoritmo IVL na Etapa de Detecção de Isomorfismos do GROOVE. 2016. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo.

RENSINK, AREND;Zambon, Eduardo; BLOM, S. C. C.. Distributed State Space Generation for Graphs up to Isomorphism. 2010. Dissertação (Mestrado em Computer Science) - University of Twente.

KROHLING, R. A.; BARBOSA, H. J. C.; TINOS, R.; GONCALVES, C. S. B.;Zambon, Eduardo. Development of an Entropy-Based Swarm Algorithm for Continuous Dynamic Constrained Optimization. 2017. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal do Espírito Santo.

KROHLING, R. A.; ZUBEN, F. J. V.; COELHO, G. P.; GONCALVES, C. S. B.;ZAMBON, E.. Multi-Criteria Decision Making With Heterogeneous Information and Criteria Interaction in Dynamic Environments. 2016. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; MARTINELLO, MAGNOS; COMARELA, G. V.. Criação de Roteiros de Laboratório para Ensino/Aprendizado de Segurança em Computação. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; VILLACA, RODOLFO S.; MARTINELLO, MAGNOS. Teste de intrusão em aplicação Web do Laboratório de Administração de Redes. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

VILLACA, R.; COMARELA, G. V.;Zambon, Eduardo; MARTINELLO, M.. Caracterização e Detecção de Ataques de Negação de Serviço Usando Estruturas de Dados Probabilísticas e Aprendizado de Máquina. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; GOMES, R. L.; VILLACA, RODOLFO S.. Comparação das Linguagens de Programação C e Python na Solução do Problema de Roteamento de Veículos Capacitados Utilizando a Metaheurística de Algoritmos Genéticos. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; BARCELLOS, M. P.; SANTOS JR., P. S.. Uma Aplicação para Sistemas de Fila Genérica. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; GOMES, R. L.; COMARELA, G. V.. Construção de roteiros de laboratório para disciplina de compiladores. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

MARTINELLO, MAGNOS;Zambon, Eduardo; BORTOLON, S.. Monitoramento e Gerenciamento Proativo de Ambiente de Infraestrutura de TI. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

COSTA, PATRICIA DOCKHORN; GOMES, R. L.;ZAMBON, E.. UfesFórum: Um Fórum de Discussão Online para Estimular Colaboração entre Alunos de Computação da UFES. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

KROHLING, R. A.; LIMA, L. M.; RAUBER, T. W.;Zambon, Eduardo. Aprendizado Profundo para Extração de Informação e Predição de Evasão para o Caso da UFES. 2020. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

GUIMARAES, R. L.;Zambon, Eduardo; GOMES, R. L.. Recomendação automática de índices de cobertura para otimização de consultas no SQL Server. 2020. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

SANTOS, T. O.;Zambon, Eduardo; PAIXAO, T. M.. MedNet: Detecção do Contador em Imagens Rotacionadas de Medidores de Eletricidade Utilizando Deep Learning. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

SANTOS, T. O.; PAIXAO, T. M.;Zambon, Eduardo; MUTZ, F. W.. Convolutional Neural Network for Digit Recognition in Electric Meters. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; SANTOS, T. O.; MUTZ, F. W.. Developing modular learning environments with the Unity Ml-Agents toolkit. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

SANTOS, T. O.; SILVA, A. F.;Zambon, Eduardo. Reconhecimento de Texto em Imagens Utilizando Deep Learning. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

SANTOS, C. A. S.; GUIMARAES, R. L.;Zambon, Eduardo; LUCAS, J. E.. Estudo da viabilidade do uso de dispositivos Bluetooth Low Energy para a construção de sistemas de localização. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

RANGEL, M. C.; BOERES, M. C. S.;Zambon, Eduardo. Um Estudo de Algoritmo Genético com Busca Local 2-opt Aplicado ao Problema do Caixeiro Viajante Assimétrico. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; GARCIA, B. B.; COSTA, P. D.. Análise Estática de Código em C Utilizando Métodos Formais. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; BOERES, M. C. S.; RANGEL, M. C.. Estudo do Problema SAT: Uma Análise de Algoritmos Clássicos Através de sua Implementação em Python. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

COSTA, P. D.; PEREIRA, I. S. A.;Zambon, Eduardo; TEIXEIRA, S.. Framework de Apoio ao Desenvolvimento de Aplicações Sensíveis a Situações. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

SANTOS, T. O.; PAIXAO, T. M.;Zambon, Eduardo. Improving cross-domain object detection using unsupervised image-to-image translation: car detection in day to night images. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

PEREIRA FILHO, J. G.; TEIXEIRA, S.;Zambon, Eduardo; BRANCO, A. F.. Terra Gateway e Terra Core: Uma Solução de Suporte ao Desenvolvimento de Aplicações Finais para Redes de Sensores Sem Fio. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

BOERES, M. C. S.;Zambon, Eduardo; MORAES, R. E. N.. Estudo Sobre Algoritmos de Menor Caminho para Navegação em Terreno Desconhecido - D* Lite. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

DOMINICINI, C. K.;Zambon, Eduardo; VILLACA, R.; MORAES, R. E. N.. Orquestração de Funções de Rede Virtualizadas em Data Centers Centrados em Servidores. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; SOUZA, V. E. S.; CERAVOLO, I. A.. Aplicação de Metodologias de Teste em um Estudo de Caso Real: o Sistema eSegurado. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; Santos Jr., Paulo Sérgio; Passos, Marize L.S.. Uso de Métricas de Qualidade de Código como Guia para a Refatoração de Software. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

PEREIRA FILHO, J. G.; TEIXEIRA, S.;Zambon, Eduardo; BRANCO, A. F.. Terra Dia: Uma Solução de Suporte à Atualização Dinâmica de Bytecodes Orientada a Serviço em Redes de Sensores Sem Fio Baseadas em Máquina Virtual. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

LOPES, R. H. C.;ZAMBON, E.; BERGER, M.; FREITAS, S. A. A.. Estudo e Implementação de Algoritmos de Gerencia Básica de Memória. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

LOPES, R. H. C.;ZAMBON, E.; BERGER, M.; BOERES, M. C. S.. Estudo de Melhorias para Algoritmos de Alocação de Memória Física no Linux. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

MARTINELLO, M.; GOMES, R. L.;ZAMBON, E.. Latência de Convergêcia: um indicador para caracterização de enlaces de redes IP. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; VAREJAO, F. M.; ALVARENGA, A. G.; BOERES, M. C. S.. Análise de desempenho e comparação de algoritmos para geração de árvores geradoras mínimas euclidianas. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; GARCIA, B. B.; FREITAS, S. A. A.; ALVARENGA, A. G.. Geração automática e resolução de problemas de programação matemática para a otimização da confiabilidade em redes de distribuição de energia elétrica. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.

Zambon, Eduardo; ALMEIDA, JOAO PAULO A.; VARASSIN, C. G.. Concurso para Professor Substituto. 2021. Universidade Federal do Espírito Santo.

Ontologically Correct Taxonomies by Construction: A Graph Grammar-Based Approach; 2022; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo,; Coorientador: Eduardo Zambon;

Um Estudo Experimental de Busca Guiada na Exploração do Espaço de Estados de Gramáticas de Grafos; 2016; Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo; Orientador: Eduardo Zambon;

Análise e Detecção de Inconsistências em Políticas de Segurança - Um Estudo Prático com Firewalls; 2016; Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo,; Coorientador: Eduardo Zambon;

Estudo Experimental da Aplicação do Algoritmo IVL na Etapa de Detecção de Isomorfismos do GROOVE; 2016; Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo,; Orientador: Eduardo Zambon;

Distributed State Space Generation for Graphs up to Isomorphism; 2010; Dissertação (Mestrado em Computer Science) - University of Twente,; Coorientador: Eduardo Zambon;

Criação de Roteiros de Laboratório para Ensino/Aprendizado de Segurança em Computação; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Teste de intrusão em aplicação Web do Laboratório de Administração de Redes; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Uma Aplicação para Sistemas de Fila Genérica; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Comparação das Linguagens de Programação C e Python na Solução do Problema de Roteamento de Veículos Capacitados Utilizando a Metaheurística de Algoritmos Genéticos; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Construção de roteiros de laboratório para disciplina de compiladores; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Developing modular learning environments with the Unity Ml-Agents toolkit; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Estudo do Problema SAT: Uma Análise de Algoritmos Clássicos Através de sua Implementação em Python; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Análise Estática de Código em C Utilizando Métodos Formais; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Orquestração de Funções de Rede Virtualizadas em Data Centers Centrados em Servidores; 2017; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Aplicação de Metodologias de Teste em um Estudo de Caso Real: o Sistema eSegurado; 2017; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Uso de Métricas de Qualidade de Código como Guia para a Refatoração de Software; 2016; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo; Orientador: Eduardo Zambon;

Geração automática e resolução de problemas de programação matemática para a otimização da confiabilidade em redes de distribuição de energia elétrica; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Estudo e Implementação de Algoritmos de Gerência Básica de Memória; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Estudo de Melhorias para Algoritmos de Alocação de Memória Física no Linux; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

Análise de desempenho e comparação de algoritmos para geração de árvores geradoras mínimas euclidianas; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo; Orientador: Eduardo Zambon;

RENSINK, AREND ; Zambon, Eduardo . GROOVE. 2012.

2012

Prêmio de melhor artigo publicado na conferência ICGT 2012, European Association for Theoretical Computer Science (EATCS).