There was also Bicentennial Man, Patch Adams, Moscow On The Hudson, Good Morning Vietnam, The Fisher King, and The Birdcage. And he was also in one of my three favorite Terry Gilliam movies, The Adventures Of Baron Munchhausen. But if you could only pick nine movies and Mork and Mindy to show his evolution as an actor, the ones you chose are all right on the money.
I remember right after he passed, Disney ran Aladdin, commercial free on TV (even had a tribute to Robin Williams at the end). (Side note, wish I could see the original Aladdin that ran in theater, the opening song was different)