Somos UnB
UnB
Última atualização do sistema: 27.04.2023
HOME
INDICADORES
CONTATO
SOBRE
Professor
Andréia Borges Avelar
http://lattes.cnpq.br/8596529923042808
Última atualização do Lattes: 25.02.2023
Unidade:
FUP - FACULDADE UnB PLANALTINA
Departamento:
FUP - FACULDADE UnB PLANALTINA
Nome de citação:
AVELAR, A. B.
Exibir Gráficos
Gráfico de Produção Bibliográfica
Produção Bibliográfica
Artigos Publicados
(3, 67% com DOI)
+
Trabalho em Eventos
(2, 50% com DOI)
+
Orientações Concluídas
Mestrado:
0
Doutorado:
0
Pos-Doutorado:
0
Outras:
0
2 Especialidades
Por ordem de relevância
Nome da especialidade
(número de vezes que aparece no Lattes)
Teoria da Computação
(5)
+
maiores informações sobre esta especialidade
Teoria da Computação
(1)
+
maiores informações sobre esta especialidade
Coautores
Total: 11
Professor da UnB (4)
Externo Identificado no Lattes (1)
Não identificado (6)
Mauricio Ayala Rincon
André Luiz Galdino
AYALA-RINCON, M.
Flávio Leonardo Cavalcanti de Moura
DE MOURA, FLÁVIO LC
DE MOURA, F. L. C.
GALDINO, A. L.
Flávio Leonardo Cavalcanti de Moura
Thaynara Arielly de Lima
Mauricio Ayala Rincon
GALDINO, ANDRÉ L
8 Palavras Chave
utilizadas pelo professor
PVS
first-order unification
Terminação
Formal methods
Digrafos com Peso
Linguagem Funcional de Primeira Ordem
Grafos de Contexto de Chamado
Formalização
CTIT UFMG