UnB Pesquisa

Andréia Borges Avelar http://lattes.cnpq.br/8596529923042808

Última atualização do Lattes: 16.10.2024

Nomes de citação: AVELAR, A. B. / Andréia Borges Avelar da Silva / A.B. Avelar / Andréia Borges Avelar / Borges Avelar, Andréia / Avelar, Andréia Borges

Exibir Gráficos

Artigos Publicados (6, 83% com DOI)+
Trabalho em Eventos (3, 67% com DOI)+

Mestrado: 0

Doutorado: 0

Pos-Doutorado: 0

Outras: 4

Nome da especialidade (número de vezes que aparece no Lattes)

Mauricio Ayala Rincon André Luiz Galdino Thiago Mendoça Ferreira Ramos Flávio Leonardo Cavalcanti de Moura AYALA-RINCÓN, MAURICIO GALDINO, ANDRÉ LUIZ DE LIMA, THAYNARA ARIELLY Mauricio Ayala Rincon DE MOURA, FLÁVIO LC GALDINO, A. L. Flávio Leonardo Cavalcanti de Moura AYALA-RINCON, M. Cesar Augusto Hurtado Munoz Mariano Moscato Dutle, Aaron Narkawicz, Anthony Almeida, Ariane A. GALDINO, ANDRÉ L

PVS first-order unification Terminação Formal Methods Digrafos com Peso Linguagem Funcional de Primeira Ordem Grafos de Contexto de Chamado Formalização

Professor

Andréia Borges Avelar http://lattes.cnpq.br/8596529923042808

Gráfico de Produção Bibliográfica

Gráfico de Orientações Concluídas

Produção Bibliográfica

Orientações Concluídas

2 Especialidades Por ordem de relevância

Coautores Total: 18

8 Palavras Chave utilizadas pelo professor