All this math is way over most of our heads ( at least mine)
But the 2 simplest reward systems -PPS and Proportional are Implemented very nicely
by two of the bigger pools.
BTCguild with their 1 hour delay on stats makes the simplest PP system practically hopper proof. (Basically possible on fast pools only)
ARSbitcoin and their SMPPS seems to be very good and so far has "survived " having a negative Buffer for short periods.