I capture at my native screen resolution (1920 x 1080). I use Camtasia Studio and use their Techsmith 2 codec. I also nearly always capture full screen, highest quality setting, at a frame rate of 30fps.
Both my main studio DAW and laptop are fairly powerful though, laptop's the least spec'd - i7@ 2.2 Ghz with 12 GB RAM if that makes a difference.
Export depends on who I am exporting for. Most of the time it's as an avi at capture resolution, but I sometimes use WMV.
I also export separate video and audio files although any Sonar output tends to go into the main video, unless that's requested separately or sometimes not required. Voiceovers are generally kept separate.
Most of my work's post production is done elsewhere though so I'm not sure what formats are used after I've done my bit.
Camtasia is a great piece of software for screen captures if a little pricey just for the odd capture. There are some pretty good freebies out there as well, but all the ones I have tried fall well short of Camtasia for post capture editing ability.
HTH