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
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...
Otimizando a alocação de memória dinâmica em sistemas de memória transacional em s...