Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas
Processo de Prototipação da Interação em STI que Utiliza a Aprendizagem Baseada em Problemas como Proposta Pedagógica
Simulação do Ambiente WebLab - Um laboratório de acesso remoto educacional através de Redes de Petri Coloridas
SBIE 2005.
SBIE 2011.
SBIE 2005. - Artigos
RBIE - Volume 17
SBIE 2011. - Artigos
José Maria Parente de Oliveira
Nizi Voltareli Morzelli
Bruno Panccioni
José Silvério Edmundo Germano
Diego Ajukas
Frederico Vilela