Verification of the CVM algorithm with a New Recursive Analysis Technique by Emin Karayel, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan and Seng Joe Watt Feb 05
Strong Eventual Consistency of the Collaborative Editing Framework WOOT by Emin Karayel and Edgar Gonzàlez Mar 25