área de pesquisa
- Arquitetura de Interconexão em Sistemas Distribuídos - [OCM002]
- Arquitetura de máquinas dirigidas pelo Fluxo de Dados - [OCD002]
- Arquitetura de redes locais: uma análise comparativa - [OCM003]
- Arquitetura e avaliação de Desempenho de redes locais com estrutura tipo PABX (estrela) com tráfego integrado de voz, dados e imagem - [OCD003]
- Avaliação de Desempenho do mecanismo de comunicação do núcleo fe um Sistema Operacional Distribuído - [OCM007]
- Basilio Adada
- Especificação de uma ferramenta de geração de sequências de teste para módulos de comunicação de dados - [OCM106]
- Integração de voz e dados em redes locais de computadores - [OCM005]
- LIDEX:Linguagem de Descrição para arquitetura e organização de computadores digitais - [OCM006]
- Martinho de Souza Leite
- Metodologia para análise de desempenho de sistemas de computação descritos através de redes de Petri temporizadas estendidas - [OCM004]
- Modelo de Segurança da Linguagem Java - Problemas e Soluções - [OCM021]
- Ramses Henrique Martinez
- Um ambiente de programação Distribuído: definição, análise e síntese - [OCD001]
- Um ambiente de programação distribuído: definição, análise e síntese - [OCM001]