publicações selecionadas Compile-Time Analysis for the Parallel Execution of Logic Programs in Andorra-I
theses/dissertations advising Projeto e Implementação do Compilador YAPc: Um Compilador Otimizador para Linguagens de Programação em Lógica PROJECTO E IMPLEMENTAÇÃO DO COMPILADOR YAPc: UM COMPILADOR OTIMIZADOR PARA LINGUAGENS DE PROGRAMAÇÃO EM LÓGICA An Implementation of the Extended Andorra Model Execução de Prolog com Alta Performance ZOS: Um ambiente para migracao e compartilhamento de contextos de execucao On the Implementation of And/Or Parallel Logic Programming Systems DETECÇAO DE HOMOLOGIAS DISTANTES UTILIZANDO HMMs E INFORMAÇOES ESTRUTURAIS On Applying Or-Parallelism and Tabling to Logic Programs PFORTE: Revisao de Teorias Probabilisticas de Primeira-irdem atraves de Exemplos Uma Ferramenta para Gerenciamento Automatico de Tarefas em Ambientes de Grid. Um Mecanismo Modular e Eficiente para Compartilhamento de Memória em Clusters
