publicações Aplicação de Redes de Petri à Especificação Formal de Sistemas, via Invariantes. (Valid. Nac. DOU n. 115 p. 18 e p. 20 ISSN 1677-7042 proc. 23001.000066/2010-75 parecer CNE/CES 57/2012) Documento Desenvolvimento de Softwares Educacionais para alunos das Escolas de Educação Infantil e Ensino Fundamental (Ênfase em Interfaces GUI) Documento Desenvolvimento de modelo informatizado, para cálculo de volumes de corpos modeláveis, através da variante do Método de Monte Carlos, para uso em Ensino e Pesquisa Documento Desenvolvimento de um Sistema para Pesquisa em Equivalência e Unidades Verbais Menores utilizando estruturas de dados para texto e imagem Documento Ensino à distância no Brasil: estado atual e perspectivas futuras. Documento Internet Serviços e Tendências Documento Medição de Produtividade no desenvolvimento e Manutenção de Sistemas, baseada na Metodologia Pontos por Função Documento Metodologia Para Seleção de Linguagem de Programação Documento Panorama das Empresas Brasileiras quanto a Questão Segurança na Internet Documento SIPEUM - Sistema de Informação Computadorizada em Equivalência e Controle por Unidades Mínimas Documento Teoria das filas e a automação comercial. Documento UMA CONTRIBUIÇÃO PARA A CONSTRUÇÃO DE ALGORÍTMOS PARA A AVALIAÇÃO DE DESEMPENHO DE PROTOCOLOS DE ACESSO Documento
