Decision Procedures over Sophisticated Fractional Permissions. - Xuan Bach Le; Cristian Gherghina; Aquinas Hobor (APLAS, 2012)

Decidability and Complexity of Tree Share Formulas. - Xuan Bach Le; Aquinas Hobor; Anthony W. Lin (FSTTCS, 2016)

A Certified Decision Procedure for Tree Shares. - Xuan Bach Le; Thanh-Toan Nguyen; Wei-Ngan Chin; Aquinas Hobor (ICFEM, 2017)

Complexity Analysis of Tree Share Structure. - Xuan Bach Le; Aquinas Hobor; Anthony W. Lin (APLAS, 2018)

Logical Reasoning for Disjoint Permissions. - Xuan Bach Le; Aquinas Hobor (ESOP, 2018)

Monadic Decomposability of Regular Relations. - Pablo Barceló; Chih-Duo Hong; Xuan Bach Le; Anthony W. Lin; Reino Niskanen (ICALP, 2019)