I haven't seen anything that references their names. In the "Art of Disneyland", there is a side bar showing all of the characters (with a Yeti for Fantasyland), but they don't mention names.
When we took my mom in 2001 and 2004 to WDW, we locked up her wheelchair everytime we left it. We never really had any fears, but it was her personal chair and it was pretty expensive.
When my brother went in 2007, he did what you did and left the strollers with bags in them and their backpacks. Egads...in hindsight, I told him that he should have been more careful (since that is what big brothers are for!).