Somos UnB
UnB
Última atualização do sistema: 05.06.2023
HOME
INDICADORES
CONTATO
SOBRE
Professor
Daniele Nantes Sobrinho
http://lattes.cnpq.br/3436184353817774
Última atualização do Lattes: 04.08.2022
Unidade:
IE - INSTITUTO DE CIÊNCIAS EXATAS
Departamento:
MAT - DEPARTAMENTO DE MATEMÁTICA
Nomes de citação:
NANTES SOBRINHO, D. / Nantes-Sobrinho, D. / Sobrinho, D.N / NANTES-SOBRINHO, D. / NANTES-SOBRINHO, DANIELE / Nantes, Daniele
Exibir Gráficos
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
(7, 100% com DOI)
+
Demais Tipos de Produção
(10, 80% com DOI)
+
Trabalho em Eventos
(9, 44% com DOI)
+
Orientações Concluídas
Mestrado:
6
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)
+
maiores informações sobre esta especialidade
Teoria da Reescrita
(8)
+
maiores informações sobre esta especialidade
Lógicas e Semântica de Programas
(6)
+
maiores informações sobre esta especialidade
Lógicas e Semântica de Programas
(6)
+
maiores informações sobre esta especialidade
Computabilidade e Modelos de Computação
(5)
+
maiores informações sobre esta especialidade
Teoria da Prova
(4)
+
maiores informações sobre esta especialidade
Lógica Formal
(3)
+
maiores informações sobre esta especialidade
Análise de Algoritmos e Complexidade de...
(2)
+
maiores informações sobre esta especialidade
Linguagem Formais e Autômatos
(2)
+
maiores informações sobre esta especialidade
Teoria da Reescrita
(2)
+
maiores informações sobre esta especialidade
Análise de Algoritmos e Complexidade de...
(1)
+
maiores informações sobre esta especialidade
Coautores
Total: 44
Professor da UnB (4)
Externo Identificado no Lattes (3)
Não identificado (37)
Mauricio Ayala Rincon
FERNÁNDEZ, MARIBEL
DE CARVALHO-SEGUNDO, WASHINGTON
Jorge Pérez
Maribel Fernández
Daniel Lima Ventura
Deivid Vale
Elaine Pimentel
João Marcos de Almeida
Cláudia Nalon
SILVA, GABRIEL FERREIRA
Sandra Alves
Pérez, Jorge A.
Joseph Paulus
Washington Luís Ribeiro de Carvalho Segundo
Leonardo Melo Batista
Eduardo Bonelli
Regina Pina
Jaqueline Mesquita
Washington Luís Ribeiro de Carvalho Segundo
Raimundo Bastos Júnior
André Caldas
Paulo Henrique da Costa
Leandro Cioletti
Flávio Leonardo Cavalcanti de Moura
Carlos Olarte
ROCHA-OLIVEIRA, ANA CRISTINA
Silva, Gabriel Ferreira
Manfred Schmidt-Schauss
Vale, Deivid
Bruno de Assis Delboni
Giovany Figueiredo
Luciana Ávila
Liliane Maia
Daniel Ventura
Alexander Baumgartner
Sandra Kiefer
Alejandro Díaz-Caro
Ana Sokolova
Serdar Erbatur
Franz Baader
Igor Lima
Emerson Ferreira de Melo
Aline Pinto
56 Palavras Chave
utilizadas pelo professor
Protocolo Criptográfico
teorias equacionais
Problema da Dedução do Intruso
Sistema de Reescrita
Lógica formal
Unification
Teorias Localmente Estáveis
alpha-equivalence
Nominal Techniques
Teoria de Prova
Formal methods
AC-convergencia
Session Types
Nominal Syntax
pi-calculo
Disunification
PVS
Lambda Calculus
Formalisation
segurança de protocolos
reticulados nominais
linear maps
Narrowing
commutativity
Equational Problems
C-unification
Non-determinism
resources
Generalization
Resource Control
fixed point constraints
Commutative theory
Ponto-fixo
Curry-Howard isomorphism
provadores de teoremas
Grupos Abelianos
unificação sintática
tipos de interseção
term rewriting systems
Técnicas Nominais
Anti-Unification
teoria da computação
Cálculo de Sequentes
Conjuntos nominais
Nondeterminism
logica equacional
concorrência
Resource Lambda Calculus
alpha-equivalência
reduction operators
Interactive Theorem Proving
Nominal matching
Unification modulo Commutativity
Desunificação
Linear Logic
Nominal unification
CTIT UFMG