Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. - Frederico J. R. Barboza; Aline Maria Santos Andrade; Flávio Morais de Assis Silva; George Lima 001 (SBMF, 2006)

A Localized Algorithm Based on Minimum Cost Arborescences for the MECBS Problem with Asymmetric Edge Costs. - Frederico J. R. Barboza; Flávio Assis 001 (ADHOCNETS, 2011)

A Localized Algorithm for the Maximum Lifetime Broadcast Problem with Asymmetric Edge Costs. - Bruno Nunes; Frederico J. R. Barboza; Flávio Morais de Assis Silva (NCA, 2012)

Maximum Lifetime Broadcast in Mobile Sensor Networks. - Bruno Nunes; Frederico J. R. Barboza; Flávio Assis 001 (ADHOC-NOW, 2013)