| Decision procedures over sophisticated fractional permissions XB Le, C Gherghina, A Hobor Asian Symposium on Programming Languages and Systems (APLAS), 368-385, 2012 | 20 | 2012 |
| Logical reasoning for disjoint permissions XB Le, A Hobor European Symposium on Programming (ESOP), 2018 | 15 | 2018 |
| A quantum interpretation of separating conjunction for local reasoning of quantum programs based on separation logic XB Le, SW Lin, J Sun, D Sanan Proceedings of the ACM on Programming Languages 6 (POPL), 1-27, 2022 | 11 | 2022 |
| 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 |
| Automatic verification of multi-threaded programs by inference of rely-guarantee specifications XB Le, D Sanán, S Jun, SW Lin 2020 25th International Conference on Engineering of Complex Computer …, 2020 | 2 | 2020 |
| 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 |
Aquinas HoborAssociate Professor, University College LondonVerified email at ucl.ac.uk
