I love the vocoder effect Cynic use.
Antares Harmony Engine, not a vocoder (vocoders really cant change notes with your voice, at least up to this point). There's a free demo on their site, I've done a few tests with it and I pretty much got an exact copy of the Traced In Air vocal sound.
Now, the Focus vocal sound is achieved with the Digitech Vocalist II through a keyboard, so you actually have to play the keyboard with your vocal notes to get the sound- Tony Teegarden used to be the keyboard guy playing the notes Paul sang on tour, hence having a keyboard on stage and not actually hearing it in the music.
The Axe FX can do this type of effect, which may be what Cynic uses on tour now, not sure on that. I know they use the Axe Fx for guitars now.