Somos UnB
UnB
Última atualização do sistema: 02.09.2024
HOME
INDICADORES
CONTATO
SOBRE
Professor
Cláudia Nalon
http://lattes.cnpq.br/7793795625581127
Última atualização do Lattes: 08.08.2024
Unidade:
Instituto de Ciências Exatas (IE)
Departamento:
DEPTO CIENCIAS DA COMPUTACAO
Nomes de citação:
NALON, C. / NALON, CLÁUDIA / Nalon, Cláudia / Cláudia Nalon
Exibir Gráficos
Gráfico de Produção Bibliográfica
Gráfico de Orientações Concluídas
Produção Bibliográfica
Artigos Publicados
(11, 100% com DOI)
+
Demais Tipos de Produção
(14, 29% com DOI)
+
Trabalho em Eventos
(43, 19% com DOI)
+
Orientações Concluídas
Mestrado:
4
Doutorado:
0
Pos-Doutorado:
0
Outras:
39
Produção Técnica
Software
(4)
+
Ano
2018
Título
ltl2snf
Ano
2015
Título
KSP
Ano
2013
Título
CLProver: A Theorem-Prover for Coalition Logic
Ano
2003
Título
Synchronous Systems with No Learning
19 Especialidades
Por ordem de relevância
Nome da especialidade
(número de vezes que aparece no Lattes)
Lógicas e Semântica de Programas
(122)
+
maiores informações sobre esta especialidade
Análise de Algoritmos e Complexidade de...
(4)
+
maiores informações sobre esta especialidade
Computabilidade e Modelos de Computação
(3)
+
maiores informações sobre esta especialidade
Computabilidade e Modelos de Computação
(3)
+
maiores informações sobre esta especialidade
Lógicas e Semântica de Programas
(3)
+
maiores informações sobre esta especialidade
Banco de Dados
(2)
+
maiores informações sobre esta especialidade
Modelos Analíticos e de Simulação
(2)
+
maiores informações sobre esta especialidade
Teleinformática
(2)
+
maiores informações sobre esta especialidade
Análise de Algoritmos e Complexidade de...
(1)
+
maiores informações sobre esta especialidade
Engenharia de Software
(1)
+
maiores informações sobre esta especialidade
Engenharia de Software
(1)
+
maiores informações sobre esta especialidade
Hardware
(1)
+
maiores informações sobre esta especialidade
Linguagem Formais e Autômatos
(1)
+
maiores informações sobre esta especialidade
Linguagens de Programação
(1)
+
maiores informações sobre esta especialidade
Lógica Matemática
(1)
+
maiores informações sobre esta especialidade
Matemática Simbólica
(1)
+
maiores informações sobre esta especialidade
Métodos e Técnicas de Ensino
(1)
+
maiores informações sobre esta especialidade
Sistemas de Informação
(1)
+
maiores informações sobre esta especialidade
Tecnologia Educacional
(1)
+
maiores informações sobre esta especialidade
Coautores
Total: 56
Professor da UnB (6)
Externo Identificado no Lattes (4)
Não identificado (46)
Clare Dixon
Ullrich Hustadt
HUSTADT, ULLRICH
Edward Hermann Haeusler
Pimentel, Elaine
Fabio Papacchini
ZHANG, LAN
Daniele Nantes Sobrinho
Pattinson, Dirk
João Marcos de Almeida
LOPES, BRUNO
Oliver Kutz
Flávio Leonardo Cavalcanti de Moura
JACQUES WAINER
Thiago Coelho Vieira
Meena Mahajan
Olaf Beyersdorff
Felipe Rodopoulos de Oliveira
Daniella Angelos
George Bezerra Silva
Giselle Reis
Mauricio Ayala Rincon
Claudia Schon
Pascal Fontaine
Carlos Olarte
Maria Paola Bonacina
Uwe Egly
André Queiroz Lacerda e Silva
DOWEK, GILLES
Martin Suda
Alexander Steen
Daniela Kaufmann
Christopher W. Brown
Renate A. Schmidt
Lucas Amaral
Ramanujam, Ram
Ricardo Arôso Mendes Kury
José Marcos Leite
Nicola Olivetti
Bernardo Alkmin
MATHEUS C. S. C. PIMENTA
SILVA, GUILHERME G. F. DA
Fernando Oliveira Paulino
marcelo correa
martin musicante
ANJOLINA G. DE OLIVEIRA
Eliane Aparecida dos Santos
dawar
ruy de queiroz
Gentil Veloso Barbosa
Álvaro Nunes Prestes
Maria Clotilde Prado
Aletéia Patrícia Favacho de Araújo
Guilherme Albuquerque Pinto
Gilles Dowek
Perci Coelho de Souza
171 Palavras Chave
utilizadas pelo professor
RESOLUTION METHOD
Automated Reasoning
Normal Modal Logics
TEMPORAL LOGICS
THEOREM PROVING
Modal Logics
COMBINED LOGICS
EPISTEMIC LOGICS
INTERACTING LOGICS
lógicas modais normais
lógica e semântica de programas
Normal Forms
Verificação Formal
NON NORMAL MODAL LOGICS
raciocínio automático
TABLEAUX METHODS
COALITION LOGIC
Knowledge representation
Resolução
preprocessing
prova automática de teoremas
Artificial Intelligence
TABLEAUX METHOD
reasoning
E-connections
Ciência da Computação
NON-MONOTONIC LOGICS
Linguagens de Programação
Propositional Logic
lógica proposicional
Petri Nets
logics of confluence
Logic, language and information
logica
hardware verification
prova interativa de teoremas
Protocolos de comunicação
CONDITIONAL LOGICS
Teoria da Computação
non-classical logics
formalização da matemática
lógicas epistêmico-temporais
MODAL LOGICS OF KNOWLEDGE AND BELIEF
description logic
sat
strategies
Satisfiablity
métodos polinomiais
Lógicas Nao-Monotônicas
proof complexity
reduções polinominais
MULTI-AGENT AND DISTRIBUTED SYSTEMS
Lógicas Clássicas
Deductive Systems
Métodos Formais
SAT SOLVER
formas normais
simplificação
Lógicas Dinâmicas
Prenexing
LOGIC IN MULTI-AGENT SYSTEMS
Combined Proof Methods
logical and semantic frameworks
SYNCHRONY
Anti-Prenexing
Coq
sistemas de comando e controle
Dynamic Logics
verificação de modelos
Bridge Principles
Sistemas Tutores Inteligentes
Multiple-valued Logics
Satisfatibilidade Booleana
Complexity
biologia computacional
First-order system
Java
lógicas paracompletas
fibra multinúcleo
Asymmetric Unification
protocol formalisation
Paraconsistent Logics
first-order unification
related methods
REO
Fixed-point equations
spin
Preferential Logics
Paracomplete Logics
QBF
iALC
No Learning
DFT
Decidability
Natural deduction
Model Construction
Nominal unification
combinações de lógicas
Clause Learning
código correto por construção
FOP
algoritmos de aproximação
crosstalk
Equational Theory
Legibilidade de Provas
Inteligência Artificial
digital mathematical libraries
REPRESENTACAO DE CONHECIMENTO
raciocínio
INTERACTION BETWEEN LOGICS
inductive method
mathematical knowledge management
direito penal e civil
Estratégias
Unification modulo equational theories
deep inference
Legislação
Formalisation
Identificação
Substituições Explícitas
inclusão digital
Análise de Algoritmos
language design
Bancos de Dados
Análise Combinatória
Pensamento Computacional
História da Computação
Benchmarks
Privacidade
lógicas descritivas
problema da ordenação por transversões
Ferramentas de Ensino à Distância
Ontologias
intuitionistic logic
LOGIC IN GAMES
Nominal Logic
Teoria de Reescrita de Termos
lógicas fuzzy
INTERNET BANKING
Convergence Modal Logic
Explicit substitutions
Unification
redes ópticas elásticas
FPGA
semântica modal
MAX-SAT
Cálculo Lambda
language semantics
avaliação do ensino superior
Satisfação de Restrições
ENSINO BÁSICO
Automata Theory
Lógicas Condicionais
aplicações de AR
computer algebra
Geometry
radiofrequência
Rearranjo de Genomas
multiplexação por divisão espacial
especificação formal
Proof Method
Bivalent Semantics
alpha-equivalence
Teoria de Categorias
Lógicas Paraconsistentes
axiomatisation
security protocols
Fuzzy Logics
de Brujin indices
Disunification
VHDL
CTIT UFMG