Professor
Haniel Moreira Barbosa http://lattes.cnpq.br/6657126741011519
Última atualização do Lattes: 17.05.2024
Unidade: Instituto de Ciências Exatas
Departamento: 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 Publicados (4, 100% com DOI)+
-
Demais Tipos de Produção (7, 14% com DOI)+
-
Trabalho em Eventos (30, 7% com DOI)+
Orientações Concluídas
Mestrado: 2
Doutorado: 0
Pos-Doutorado: 0
Outras: 12
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
-
7 Especialidades Por ordem de relevância
Nome da especialidade (número de vezes que aparece no Lattes)
Coautores Total: 57
Professor da UFMG (1)
Externo Identificado no Lattes (0)
Não identificado (56)