- Aplicação de Métodos de Avaliação de Usabilidade e Comunicabilidade para Sistemas de Gestão Acadêmica: Um Estudo de Caso do SIGA-Ensino da UFVJM (2011)
- SISVERONTO: ferramenta para validação automatizada de modelos conceituais com o uso de propriedades ontológicas (2010)
- Validação Automatizada de Modelos Conceituais com o Uso de Propriedades Ontológicas (2008)
- Aplicação da Teoria dos Grafos em Problemas de Escalonamento - O Problema do Horário de Exames (1994)
- UFVLISP - Um Interpretador Portátil para LISP (1993)