Yes, the proofs have been published at peer-reviewed conferences. Let me look for the exact references tomorrow.