área de pesquisa
- A Linguagem de Descrição de Arquiteturas ZCLcsp
- Alfio Ricardo de Brito Martini
- Ana Paula Luedtke Ferreira
- Antonia Diana Braga Nogueira
- ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM
- Definição e Especificação Formal do Jogo Diferencial "Lobos e Cordeiros"
- Estendendo CASL para Especificar Sistemas Contínuos
- Interoperabilidade Logica atraves de Mapeamentos entre Instituicoes
- Object-oriented graph grammars
- Paul Denis Etienne Regnier
- Projeto de Sistemas ultilizando Construções Predefinidas aplicadas à Gerência de Redes: A Biblioteca BibLOTOS
- Relating Arrows Between Institutions in a Categorical Framework
- Um compilador para a técnica de descrição formal estelle/83.
- Uma Introducao à Teoria das Categorias e sua Aplicacao à Ciência da Computacão
- Verificação Formal da Função de Controle de Acesso ao Meio do Protocolo IEEE 802.11 e Investigação da sua Aplicabilidade em Sistemas de Tempo-Real