José Lopes de Siqueira Neto


Adjunto  Professor 


Doutor, Université Paris Sud, França, 1992

  jose@dcc.ufmg.br   www
 ICEx/DCC, room 7309, +55 (31) 3409-5898
Research areas

Information extracted from Lattes platform


Last update: 2013/07/04

Degrees

Ph.D. Doctorat En Informatique na Université Paris-Sud 11 em 1992
M.Sc. Engenharia Eletrônica na Netherlands International Foundation For International Cooperation em 1983
B.Sc. Bacharelado Em Física na Universidade Federal de Minas Gerais em 1981

Current projects

Current applied research projects

See all projects in Lattes

Recent publications

Articles in journals

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.

Papers in conferences

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

Extended abstracts in conferences

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.

Abstracts in conferences

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.

See all publications in Lattes

Current students

MS

PhD

See all students in Lattes