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 2023, 15, 01-28.