Estima-SIGA - Aplicação de técnicas de estimativas de software ao Sistema Integrado de Gestão Acadêmica (SIGA) da UFVJM (2011)

SISVERONTO: UMA FERRAMENTA PARA VALIDAÇÃO AUTOMATIZADA DE MODELOS CONCEITUAIS (2008)

Apllicação da Teoria dos Grafos em Problemas de Escalonamento - O Problema do Horário de Exames (1993)

UFVLISP - Um Interpretador Portátil para LISP (1992)