área de pesquisa
- "Representação Intermediária (RI) para a TDF E-LOTOS e Tradutor E-LOTOS/RI"
- Editor Gráfico para especificações E-LOTOS
- Especificação formal, em estelle, de sistemas digitais.
- Jose Antonio Monteiro de Queiroz
- Nelson Souto Rosa
- Reprèsentations Graphiques, Transformations et Pré-Implementation de LOTOS
- Simulador para a Técnica de Descrição Formal E-LOTOS