An Efficient Data Transfer Protocol for Distributed Systems. - May Thu Aung (ICETC, 2009)

Clustering Based on Task Dependency for Data-Intensive Workflow Scheduling Optimization. - Ei Ei Mon; Myint Myint Thein; May Thu Aung (MTAGS@SC, 2016)

Guessing Properties of the Qlock Mutual Exclusion Protocol based on its Graphical Animations and confirming the Properties by Model Checking. - May Thu Aung; Tam Thi Thanh Nguyen; Kazuhiro Ogata 001 (ICSCA, 2018)

Analysis of Two Flawed Versions of A Mutual Exclusion Protocol with Maude and SMGA. - May Thu Aung; Tam Thi Thanh Nguyen; Kazuhiro Ogata 001 (ICSCA, 2018)