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 efficient2007. Information Processing Letters.
A Framework to Visualize Equivalences Between Computational Models of Regular Languages2002. Information Processing Letters.
Animations of relations between Computational Models and Their Language Representations2001. Bulletin of the European Association for Theoretical Computer Science.
Trabalhos completos em congressos
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 CLP2001. 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 Hyperpro2000. VI Congreso Argentino de Ciencias de la Computación. 2
Projection of HyperPro Document1999. II Simpósio Brasileiro de Linguagens de Programação. 3
An Intelligent Control System for Visual Languages1999. 1999 IEEE International Conference on Systems, Man and Cybernetics. 4
Resumos expandidos em congressos
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 I2004. VII Semana da Graduação da UFMG.
Implementação do tratamento de igualdade no Sequoia1997. VI Semana de Iniciação Científica da UFMG.
Simsel - Simplificador sintático de expressões lógicas1997. 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 ordem1997. 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ário1999. VIII Semana de Iniciação Científica da UFMG.
Ì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 programação em lógica baseado no paradigma de estilo literário1998. VII Semana de Iniciação Científica da UFMG.
Um ambiente para desenvolver programação em lógica baseado no paradigma de estilo literário1997. VI Semana de Iniciação Cinetífica da UFMG.
A Hypertext Based Environment to Write Literate Logic Programs1996. 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