UFMG
Somos UFMG
Última atualização do sistema: 28.10.2024
HOME
INDICADORES
CONTATO
SOBRE
Professor
Exibir Gráficos
Leandro Maia Silva
http://lattes.cnpq.br/0278504495440918
Última atualização do Lattes: 03.08.2022
Unidade:
Coltec
Departamento:
COL-COLEGIO TECNICO
Nomes de citação:
SILVA, L. M. / SILVA, LEANDRO MAIA / SILVA, LEANDRO M. / MAIA SILVA, LEANDRO
Gráfico de Produção Bibliográfica
Gráfico de Orientações Concluídas
Produção Bibliográfica
Artigos Aceitos para Publicação
(1, 0% com DOI)
+
Artigos Publicados
(1, 100% com DOI)
+
Trabalho em Eventos
(5, 60% com DOI)
+
Orientações Concluídas
Mestrado:
0
Doutorado:
0
Pos-Doutorado:
0
Outras:
6
7 Especialidades
Por ordem de relevância
Nome da especialidade
(número de vezes que aparece no Lattes)
Arquitetura de Sistemas de Computação
(3)
+
maiores informações sobre esta especialidade
Circuitos Eletrônicos
(2)
+
maiores informações sobre esta especialidade
Hardware
(2)
+
maiores informações sobre esta especialidade
Hardware
(2)
+
maiores informações sobre esta especialidade
Arquitetura de Sistemas de Computação
(1)
+
maiores informações sobre esta especialidade
Software Básico
(1)
+
maiores informações sobre esta especialidade
Teleinformática
(1)
+
maiores informações sobre esta especialidade
Coautores
Total: 16
Professor da UFMG (1)
Externo Identificado no Lattes (1)
Não identificado (14)
Fabrício Vivas Andrade
Antônio Otávio Fernandes
CHAVES, JEFERSON F.
RIBEIRO, MARCO A.
VILELA NETO, OMAR P.
TORRES, MARZO S.
DE ASSIS, LEONARDO M. B. C.
FILIPE MENEZES VIEIRA, LUIZ
FERNANDES, ANTONIO OTAVIO
ANDRADE, FABRICIO VIVAS
SOUSA, MARCO T. D.
FICHE, JOAO N. C.
VIVAS ANDRADE, FABRICIO
Luiz Filipe Menezes Vieira
VIEIRA, LUIZ FILIPE MENEZES
VIEIRA, LUIZ F. M.
7 Palavras Chave
utilizadas pelo professor
benchmarks
combinational equivalence checking
sat solvers
formal verification
neural networks
structural recovering
CNN
CTIT UFMG