José Lopes de Siqueira Neto
Research areas: Degrees:
Doutor, Université Paris Sud, França, 1992
Phone: 5898
jose@dcc.ufmg.br
Home page
Lattes
Google scholar
Information extracted from Lattes platform
Last update: 2013/07/04Current projects
Current applied research projects
Recent publications
Articles in journals
A variant of the Ford-Johnson algorithm that is more space efficient2007. 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 PLC2001. 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 Programming2001. 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
An Intelligent Control System for Visual Languages
1999. 1999 IEEE International Conference on Systems, Man and Cybernetics. 3
Projection of HyperPro Document
1999. II Simpósio Brasileiro de Linguagens de Programação. 4
Extended abstracts in conferences
Sistemas de Inferência Baseados em Lógica Matemática II2005. 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.
A hypertext based environment to write literate logic programs
1997. Joint International Conference and Symposium on Logic Programming.
Abstracts in conferences
Ìndices e Projeções baseadas em índices para o sistema Hyperpro básico1999. VIII Semana de Iniciação Científica da UFMG.
Um ambiente para desenvolver programas em Machina baseado em paradigmas de estilo literário
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