---

Informações resumidas do Currículo Lattes

Currículo Lattes atualizado em 04/07/2013

Nome em citações bibliográficas: DE SIQUEIRA, J.

---

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
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

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.
A hypertext based environment to write literate logic programs
1997. Joint International Conference and Symposium on Logic Programming.

Resumos em congressos

Ì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 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.

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

---

Orientações em andamento

Mestrado

Doutorado

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

---