Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes. - Hyggo O. Almeida; Elthon A. S. Oliveira; Nadia Barbosa; Frederico Bublitz; Leandro Dias da Silva; Angelo Perkusich (SBSI, 2005)

A Flexible Middleware for Service Provision Over Heterogeneous Pervasive Networks. - Emerson Loureiro; Frederico Bublitz; Nadia Barbosa; Angelo Perkusich; Hyggo Oliveira de Almeida; Glauber Ferreira (WOWMOM, 2006)