The Pixar online library is a really great resource.
Here is a better source for papers (SIGGRAPH, Eurographics and EGSR have the best papers on rendering):
http://kesen.realtimerendering.com/
The Hyperion renderer was made by Disney, not Pixar by the way. Pixar only uses their own RenderMan renderer. Disney uses a mix of Hyperion and RenderMan, as Hyperion is not useable for test renders, as it can take up to 15 minutes until a pixel will appear on the screen, as they trace millions of rays at the same time.
None of the things you claim in this sentence are true. Disney does not use PRman at all anymore.