Notare, M.S.M.A.; Tonin, N.A.; Riso, B.G. "Especificação formal de um sistema de gerenciamento para redes heterogêneas". IX FENASOFT, São Paulo - SP, 17-21/07/95.

Notare, M.S.M.A.; Tonin, N.A.; Riso, B.G. "Experiência na utilização de ferramentas LOTOS em aplicação para o gerenciamento de redes". TELEMÁTICA '95, Porto Alegre - RS, pp. 109-126,22 a 24/08/1995.

Notare, M.S.M.A.; Tonin, N.A.; Riso, B.G. "Algoritmos para a transformação de especificações LOTOS". XXVII Congresso Nacional de Informática e Telecomunicações, SUCESU '94, Salvador BA, pp.20, 21-24/11/94.

Notare, M.S.M.A.; Tonin, N.A.; Riso, B.G. "The TranSP tool". In: Proceedings of the Tool Demonstrations and Poster Displays of FORTE'95, Montreal, Canadá, 17-20/10/1995.

Notare, M.S.M.A.; Tonin, N.A.; Riso, B.G. "TranSP: uma ferramenta para transformar especificações de serviços em especificações de protocolo". INFOSUL'95, Porto Alegre, 23-27/10/1995.

Notare, M.S.M.A.; Tonin, N.A.; Riso, B.G. "LOTOS specification of a flexible assembly cell". In XV International Conference of the Chilean Computer Science Society. Arica, Chile, pp 393-401, 1-3/11/1995.

Notare, M.S.M.A.; Tonin, N.A.; Riso, B.G. "Utilização da ferramenta TranSP na área de gerência de redes". III Semana da Pesquisa, UFSC-SC, 6-10/11/1995.

Grandó,J.C.; Tonin, N.A.; "SIMH - Desenvolvimento de um Software Inteligente para Automatizar a Montagem de Horários".Em II Jornada de Ensino, Pesquisa e Extensão e VI Seminário de Iniciação Científica, Ijui, 1998.