José Lopes de Siqueira Neto

Informações resumidas do Currículo Lattes

Currículo Lattes atualizado em 04/07/2013

Formação acadêmica

Doutorado em Doctorat En Informatique na Université Paris-Sud 11 em 1992
Mestrado em Engenharia Eletrônica na Netherlands International Foundation For International Cooperation em 1983
Graduado em Bacharelado Em Física na Universidade Federal de Minas Gerais em 1981

---

Projetos de pesquisa em andamento

Projetos de desenvolvimento em andamento

Veja todos os projetos no Currículo Lattes

---

Últimas publicações

Artigos em periódicos

A variant of the Ford-Johnson algorithm that is more space efficient
2007. Information Processing Letters.
A Framework to Visualize Equivalences Between Computational Models of Regular Languages
2002. Information Processing Letters.
Animations of relations between Computational Models and Their Language Representations
2001. Bulletin of the European Association for Theoretical Computer Science.

Trabalhos completos em congressos

HyperPro - Un environnement integré de documentation pour la PLC
2001. Journées Francophones de Programmation en Logique et par Contraintes. 0
HyperPro - An integrated documentation environment for CLP
2001. Eleventh International Workshop on Logic Programming Environments (WLPE'01). 1
Urban Traffic Simulation and Optimization with Constraint Logic Programming
2001. IASTED International Conference on Applied Simulation and Modeling.
Sistema de Indexação e Projeções de Hyperpro
2000. VI Congreso Argentino de Ciencias de la Computación. 2
Projection of HyperPro Document
1999. II Simpósio Brasileiro de Linguagens de Programação. 3
An Intelligent Control System for Visual Languages
1999. 1999 IEEE International Conference on Systems, Man and Cybernetics. 4

Resumos expandidos em congressos

Sistemas de Inferência Baseados em Lógica Matemática II
2005. VIII Semana da Graduação da UFMG.
Sistemas de Inferência Baseados em Lógica Matemática I
2004. VII Semana da Graduação da UFMG.
Implementação do tratamento de igualdade no Sequoia
1997. VI Semana de Iniciação Científica da UFMG.
Simsel - Simplificador sintático de expressões lógicas
1997. VI Semana de Iniciação Científica da UFMG.
Implementação Prolog de um avaliador parcial guiado pela entrada para a lógica de primeira ordem
1997. V Semana de Iniciação Científica da UFMG.

Resumos em congressos

Um ambiente para desenvolver programas em Machina baseado em paradigmas de estilo literário
1999. VIII Semana de Iniciação Científica da UFMG.
Ìndices e Projeções baseadas em índices para o sistema Hyperpro básico
1999. VIII Semana de Iniciação Científica da UFMG.
Um ambiente para desenvolver programação em lógica baseado no paradigma de estilo literário
1998. VII Semana de Iniciação Científica da UFMG.
Um ambiente para desenvolver programação em lógica baseado no paradigma de estilo literário
1997. VI Semana de Iniciação Cinetífica da UFMG.
A Hypertext Based Environment to Write Literate Logic Programs
1996. Joint International Conference and Synposium on Logic Programming.

Veja todas as publicações no Currículo Lattes

---

Orientações em andamento

Mestrado

Doutorado

Veja todas as orientações no Currículo Lattes

---