Professor
Haniel Moreira Barbosa http://lattes.cnpq.br/6657126741011519
Última atualização do Lattes: 20.01.2026
Unidade: Instituto de Ciências Exatas
Departamento: ICX-Departamento de Ciência da Computação
Nomes de citação: BARBOSA, H. / BARBOSA, Haniel
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 (4, 100% com DOI)+
-
Demais Tipos de Produção (15, 60% com DOI)+
-
Trabalho em Eventos (27, 11% com DOI)+
Orientações Concluídas
Mestrado: 2
Doutorado: 0
Pos-Doutorado: 0
Outras: 18
Propriedade Intelectual
-
Software (9)+
-
- Ano
- 2023
- Título
- Carcara 0.1
-
- Ano
- 2022
- Título
- cvc5 1.0
-
- Ano
- 2021
- Título
- cvc5 0.1
-
- Ano
- 2020
- Título
- CVC4 1.8
-
- Ano
- 2020
- Título
- Zhefuscator
-
- Ano
- 2019
- Título
- CVC4Sy
-
- Ano
- 2019
- Título
- CVC4 1.7
-
- Ano
- 2018
- Título
- CVC4 1.6
-
- Ano
- 2017
- Título
- veriT
-
6 Especialidades Por ordem de relevância
Nome da especialidade (número de vezes que aparece no Lattes)
Coautores Total: 67
Professor da UFMG (1)
Externo Identificado no Lattes (0)
Não identificado (66)