Decision procedures over sophisticated fractional permissions XB Le, C Gherghina, A Hobor Asian Symposium on Programming Languages and Systems (APLAS), 368-385, 2012 | 19 | 2012 |
Logical reasoning for disjoint permissions XB Le, A Hobor European Symposium on Programming (ESOP), 2018 | 15 | 2018 |
Monadic Decomposability of Regular Relations P Barcelo, CD Hong, XB Le, AW Lin, R Niskanen ICALP, 2019 | 11* | 2019 |
A Certified Decision Procedure for Tree Shares XB Le, TT Nguyen, WN Chin, A Hobor International Conference on Formal Methods and Software Engineering (ICFEM), 2017 | 10 | 2017 |
Decidability and Complexity of Tree Share Formulas XB Le, A Hobor, AW Lin IARCS Annual Conference on Foundations of Software Technology and …, 2016 | 7 | 2016 |
Complexity Analysis of Tree Share Structure XB Le, A Hobor, AW Lin Asian Symposium on Programming Languages and Systems (APLAS), 2018 | | 2018 |
Thesis: Disjoint fractional permissions in verification: Applications, Systems and Theory XB Le National University of Singapore, 2017 | | 2017 |