Indicadores
Sobre
● Palavra-chave
Symbolic Model Checking
Relacionadas
Comércio Eletrônico
Bioinformática
Eletrofisiologia
Algoritmos Simbolicos
Analise de Sistemas
Canais iônicos
Ranking no sistema
8178ª de 130k palavras-chave
Professores
2
que já usaram o termo
Usos
13
menções no Lattes
Publicações
13
marcadas com o termo
Unidades
2
com produção na área
Departamentos
2
envolvidos
Visão geral
Professores
Publicações
Quem mais utilizou a palavra-chave
top 5
01
Sergio Vale Aguiar Campos
Instituto de Ciências Exatas · Ciência da Computação
12
usos
02
Carlos Roberto Venâncio de Carvalho
Escola de Engenharia · Engenharia de Produção
1
usos
Menções por ano
2000–2013
Artigos Publicados
Trabalho em Eventos
Textos em Jornais ou Revistas
Demais Tipos de Produção
Artigos Aceitos para Publicação
1
3
2
1
1
3
2
'00
'02
'03
'04
'11
'12
'13
Distribuição por unidade
2 unidades
Instituto de Ciências Exatas
12
Escola de Engenharia
1
Palavras-chave relacionadas
coocorrência
01
Comércio Eletrônico
5
02
Bioinformática
5
03
Eletrofisiologia
3
04
Algoritmos Simbolicos
2
05
Analise de Sistemas
2
06
Canais iônicos
2
07
Job-Shop Scheduling Problem
1
08
scheduling problem
1