What Are Some Alternative Names For Xenon Tetroxide?

Xenon tetroxide is also known as xenon(IV) oxide, tetraoxoxenon, and oxygenated xenon.