Raquel de Miranda Barbosa

According to our database, Raquel de Miranda Barbosa authored at least 4 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

2013

Using DCOP to Solve Virtual Network Allocation Problems.

Alexander Gularte, Odorico Machado Mendizabal, Raquel de Miranda Barbosa, Diana Francisca Adamatti

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

2011

Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations.

Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

2010

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