Xuan Bach Le

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 7

Top Topics

Complexity Analysis

Causal Relations

Datalog Queries

Tree Structures

Top Venues

Publications

Xuan Bach Le, Aquinas Hobor, Anthony W. Lin
Complexity Analysis of Tree Share Structure. CoRR (2020)
Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
Monadic Decomposability of Regular Relations. ICALP (2019)
Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
Monadic Decomposability of Regular Relations. CoRR (2019)
Xuan Bach Le, Aquinas Hobor
Logical Reasoning for Disjoint Permissions. ESOP (2018)
Xuan Bach Le, Aquinas Hobor, Anthony W. Lin
Complexity Analysis of Tree Share Structure. APLAS (2018)
Xuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor
A Certified Decision Procedure for Tree Shares. ICFEM (2017)
Xuan Bach Le, Aquinas Hobor, Anthony W. Lin
Decidability and Complexity of Tree Share Formulas. FSTTCS (2016)
Xuan Bach Le, Cristian Gherghina, Aquinas Hobor
Decision Procedures over Sophisticated Fractional Permissions. APLAS (2012)