On Modelling Virtual Machine Consolidation to Pseudo-Boolean Constraints. - Bruno César Ribas; Rubens Massayuki Suguimoto; Razer A. N. R. Montaño; Fabiano Silva; Luis Carlos Erpen De Bona; Marcos A. Castilho (IBERAMIA, 2012)

PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation. - Bruno César Ribas; Rubens Massayuki Suguimoto; Razer A. N. R. Montaño; Fabiano Silva; Marcos A. Castilho (BRACIS, 2013)

The Planning Net: A Structure to Improve Planning Solvers with Petri Nets. - Marcos A. Schreiner; Marcos A. Castilho; Fabiano Silva; Luis Allan Künzle; Razer A. N. R. Montaño (Int. J. Nat. Comput. Res., 2015)