UFMG
Somos UFMG
Última atualização do sistema: 04.09.2024
HOME
INDICADORES
CONTATO
SOBRE
Professor
Exibir Gráficos
José Lopes de Siqueira Neto
http://lattes.cnpq.br/0977229380513549
Última atualização do Lattes: 04.07.2013
Unidade:
Instituto de Ciências Exatas
Departamento:
Departamento de Ciência da Computação
Nome de citação:
DE SIQUEIRA, J.
Gráfico de Produção Bibliográfica
Gráfico de Orientações Concluídas
Produção Bibliográfica
Artigos Publicados
(3, 0% com DOI)
+
Demais Tipos de Produção
(1, 0% com DOI)
+
Trabalho em Eventos
(28, 0% com DOI)
+
Orientações Concluídas
Mestrado:
3
Doutorado:
0
Pos-Doutorado:
0
Outras:
53
Propriedade Intelectual
Trabalho Técnico
(5)
+
Ano
1999
Título
Manual do usuário de índices e projeções baseadas em índices para o Hyperpro
Ano
1999
Título
Manual de sistema de índices e projeções baseadas em índices para o Hyperpro
Ano
1999
Título
Aplicação da Computação na identificação de pólen dem produtos apícolas
Ano
1997
Título
HyperPro functionalities and utilities
Ano
1997
Título
A hypertext based environment to write literate logic programs
5 Especialidades
Por ordem de relevância
Nome da especialidade
(número de vezes que aparece no Lattes)
Matemática Simbólica
(6)
+
maiores informações sobre esta especialidade
Análise de Algoritmos e Complexidade de...
(1)
+
maiores informações sobre esta especialidade
Arquitetura de Sistemas de Computação
(1)
+
maiores informações sobre esta especialidade
Linguagem Formais e Autômatos
(1)
+
maiores informações sobre esta especialidade
Lógicas e Semântica de Programas
(1)
+
maiores informações sobre esta especialidade
Coautores
Total: 38
Professor da UFMG (1)
Externo Identificado no Lattes (2)
Não identificado (35)
Mariza Andrade da Silva Bigonha
Pierre Deransart
Roberto da Silva Bigonha
Abdelali. Ed-Dbali
P. Parot
Fabrício Maia Schmidt
Flávia Periglinelli Ribeiro
M. Ayala-Rincón
Newton Jose Vieira
H. W. Poubel
Alexsandro Fernandes da Fonseca
Adilson SIlva
Cristian Paolo da Silva Monteiro
Douglas Aurélio. Marques
Antônio Eduardo Costa Pereira
Arnaldo Albuquerque Araújo
Alves, L.R.
Bruno Teixeira de Abreu
A. H. R. da Silva
Evaristo Mascarenhas de Paula
Ramurti de Alencar Barbosa
Miguel Lima Mendes
Frederico Vagner dos Santos
Daniel Fonseca Mauro
C.J.N. COELHO
Daniela Alvim Seabra dos Santos
Fonseca, N.M.
Pedro Henrique Pinto da Cunha Menezes
Ivan da Costa Vieira
João Rafael de Moura Palotti
J. B. da Mota A.
Jean-François Puget
J. Júlia
R. M. da Silva
Cedric Luiz Carvalho
Rêmulo Dias de Carvalho
C. I. P. S. PÁDUA
Mario Fernando Montenegro Campos
32 Palavras Chave
utilizadas pelo professor
Inteligência Artificial
Sistemas Especialistas
Programação em Lógica
Síntese de Programas
Otimização
Prolog
Controle da Demonstração Automática de Teoremas
Inferência lógica
Sistemas Operacionais
Paradigma de Geração e Teste
Simulação de Tráfego Urbano
Ordenação òtima
Cálculo de Gentzen
COMMONKADS
Sistemas de Controle Descentralizado de Tráfego Ur
Modelo de Conhecimento
análise de algoritmos
Aprendizagem Simbólica de Máquina
Projeto de Redes de Telecomunicações
Sistemas tipográficos
Documentos estruturados
Programas de Geração e Teste
Algoritmos
Árvores de prova
Análise Formal de Conceitos
Demonstração Automática de Teoremas
Multiprocessamento
homeopatia
Programação Automática
Redes Neuronais
Programação em Lógica com Restrições
Lógica de Primeira Ordem
CTIT UFMG