Xuan-Bach Le

Xuan-Bach Le

Nanyang Technological University - Jurong West / Singapore
Others
AD Scientific Index ID: 5408258
南洋理工大学
person_outline Xuan-Bach Le's MOST POPULAR ARTICLES
1-) Decision procedures over sophisticated fractional permissionsXB Le, C Gherghina, A HoborAsian Symposium on Programming Languages and Systems (APLAS), 368-385, 2012202012
2-) Logical reasoning for disjoint permissionsXB Le, A HoborEuropean Symposium on Programming (ESOP), 2018152018
3-) A quantum interpretation of separating conjunction for local reasoning of quantum programs based on separation logicXB Le, SW Lin, J Sun, D SananProceedings of the ACM on Programming Languages 6 (POPL), 1-27, 2022112022
4-) Monadic Decomposability of Regular RelationsP Barcelo, CD Hong, XB Le, AW Lin, R NiskanenICALP, 201911*2019
5-) A Certified Decision Procedure for Tree SharesXB Le, TT Nguyen, WN Chin, A HoborInternational Conference on Formal Methods and Software Engineering (ICFEM), 2017102017