Atari800 is the emulator and it emulates many platforms just as gambatte emulates both GB and gbc.
The Atari 5200 should function in the same way as the Atari 800 as its the same emulator.
(If we really wanted to be picky we could split it out to the XE, and all the other 8 bit variants)
