Somos UnB
UnB
Última atualização do sistema: 02.09.2024
HOME
INDICADORES
CONTATO
SOBRE
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
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
(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)
+
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: 53
Professor da UnB (4)
Externo Identificado no Lattes (3)
Não identificado (46)
Mauricio Ayala Rincon
FERNÁNDEZ, MARIBEL
DE CARVALHO-SEGUNDO, WASHINGTON
Jorge Pérez
Pérez, Jorge A.
Maribel Fernández
Daniel Lima Ventura
Cláudia Nalon
Elaine Pimentel
João Marcos de Almeida
Joseph Paulus
Deivid Vale
Andreas Lööw
PAULUS, JOSEPH W. N.
Philippa Gardner
Silva, Gabriel Ferreira
Sacha-Élie Ayoun
SILVA, GABRIEL FERREIRA
Sandra Alves
Eduardo Bonelli
Regina Pina
JAQUELINE MESQUITA
Washington Luís Ribeiro de Carvalho Segundo
Leonardo Melo Batista
Petar Maksimovic
Caroline Cronjäger
André Caldas
Paulo Henrique da Costa
Leandro Cioletti
Washington Luís Ribeiro de Carvalho Segundo
Flávio Leonardo Cavalcanti de Moura
Carlos Olarte
Temur Kutsia
ROCHA-OLIVEIRA, ANA CRISTINA
Schmidt-Schauß, Manfred
van den Heuvel, Bas
Manfred Schmidt-Schauss
Vale, Deivid
Raimundo Bastos Júnior
Giovany Figueiredo
Bruno de Assis Delboni
Ana Sokolova
Sandra Kiefer
Alexander Baumgartner
Franz Baader
Daniel Ventura
Luciana Ávila
Alejandro Díaz-Caro
Igor Lima
Liliane Maia
Serdar Erbatur
Aline Pinto
Emerson Ferreira de Melo
60 Palavras Chave
utilizadas pelo professor
Protocolo Criptográfico
teorias equacionais
Problema da Dedução do Intruso
Sistema de Reescrita
Teorias Localmente Estáveis
Lógica Formal
Unification
Nominal Techniques
alpha-equivalence
Nominal Syntax
AC-convergencia
Teoria de Prova
pi-calculo
Lambda Calculus
Session Types
Formal methods
Disunification
Separation Logic
Non-determinism
Compositional Reasoning
unificação sintática
segurança de protocolos
Equational Problems
commutativity
linear maps
Narrowing
reticulados nominais
Resources
fixed point constraints
Grupos Abelianos
expressivity of programming languages
C-unification
Resource Control
Formalisation
provadores de teoremas
Curry-Howard isomorphism
Ponto-fixo
Commutative theory
PVS
tipos de interseção
logica equacional
Cálculo de Sequentes
Teoria da Computação
Técnicas Nominais
functional programming
Nominal unification
Symbolic Execution
Term Rewriting Systems
concorrência
Resource Lambda Calculus
reduction operators
Linear Logic
Desunificação
Unification modulo Commutativity
Nominal matching
Frame Inference
Program Analysys
Conjuntos nominais
alpha-equivalência
Nondeterminism
CTIT UFMG