FDT-MAC e FDMR-MAC : protocolos de controle de acesso ao meio projetados para explorar o potencial das comunicações full-duplex Veja

Uma arquitetura resiliente baseada em agentes para instâncias transientes na computação em nuvem Veja

A Machine-Verified Theory of commuting strategies for product-line reliability analysis Veja

Gestão de riscos no direito fundamental à privacidade de dados pessoais no Processo Judicial Eletrônico / Diário de Justiça Eletrônico Veja