Redes de sensores para deteccao de falhas: analise e proposicao de tecnicas basead...
Ambiente para animacao de algoritmos distribuidos baseado em construcoes progressi...
Identificação de fatores de transcrição CBF em eucalipto e verificação de sua pote...
Tratamento de excecoes no desenvolvimento de "software" confiavel baseado em compo...