Luis Eduardo Muñoz Guerrero, “Certified Bounds on the Live Migrations Needed to Reclaim Servers Fragmented by Online Vector Bin Packing on a Production Cloud Trace”, IJCISIM, vol. 15, pp. 01–28, Jun. 2023.