All of the ones marked with pre-vis or modeling had the final results output in another program, yes. But no, that's not neccessarily MAYA, as MAX and SoftImage were used for are lot of those as well.

No offense for MAYA, of course... *cough*

"Stephen Wolfram is the creator of Mathematica and is widely regarded as the most important innovator in scientific and technical computing today." - Stephen Wolfram