Proposição, implementação e validação de técnicas para treinamento médico virtual ...
Um ambiente unificado para produção integrada imagem-som em mídia computacional
Ciberarqueologia: realidade virtual e eScience ao encontro da arqueologia
Teste e validação de software: estudos teóricos e aplicações
Automatização de Oráculos de Teste para Sistemas com Saídas Complexas