Professor
Daniele Nantes Sobrinho http://lattes.cnpq.br/3436184353817774
Última atualização do Lattes: 13.08.2024
Unidade: Instituto de Ciências Exatas (IE)
Departamento: DEPTO MATEMATICA
Nomes de citação: NANTES SOBRINHO, D. / Nantes-Sobrinho, D. / Sobrinho, D.N / NANTES-SOBRINHO, D. / NANTES-SOBRINHO, DANIELE / Nantes, Daniele
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 (8, 100% com DOI)+
-
Demais Tipos de Produção (8, 75% com DOI)+
-
Trabalho em Eventos (17, 41% com DOI)+
Orientações Concluídas
Mestrado: 9
Doutorado: 0
Pos-Doutorado: 0
Outras: 7
11 Especialidades Por ordem de relevância
Nome da especialidade (número de vezes que aparece no Lattes)
- Lógica Formal (11)+
- Teoria da Reescrita (8)+
- Lógicas e Semântica de Programas (6)+
- Lógicas e Semântica de Programas (6)+
- Computabilidade e Modelos de Computação (5)+
- Teoria da Prova (4)+
- Lógica Formal (3)+
- Análise de Algoritmos e Complexidade de... (2)+
- Linguagem Formais e Autômatos (2)+
- Teoria da Reescrita (2)+
- Análise de Algoritmos e Complexidade de... (1)+
Coautores Total: 53
Professor da UnB (4)
Externo Identificado no Lattes (3)
Não identificado (46)