Teste Estrutural de Programas Concorrentes como uma Composição de Serviços na Web
Avaliação de um novo modelo de teste estrutural para programas concorrentes
Otimizando a alocação de memória dinâmica em sistemas de memória transacional em s...
Projeto de vigas de CRFA auxiliado por um modelo numérico em multiescala
Estudo e Implementação de Mecanismos para Determinação de Elementos não Executávei...