Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs. - Raquel de Miranda Barbosa; Antônio Carlos da Rocha Costa; Patrícia Cabral de Azevedo Restelli Tedesco; Alexandre Cabral Mota (RITA, 2010)

Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations. - Raquel de Miranda Barbosa; Antônio Carlos da Rocha Costa (WEIT, 2011)

Using DCOP to Solve Virtual Network Allocation Problems. - Alexander Gularte; Odorico Machado Mendizabal; Raquel de Miranda Barbosa; Diana Francisca Adamatti (WEIT, 2013)

Node and Link Allocation in Network Virtualization Based on Distributed Constraint Optimization. - Alexander Gularte; Odorico Machado Mendizabal; Raquel de Miranda Barbosa; Diana Francisca Adamatti (J. Netw. Syst. Manag., 2018)