Xuan Bach Le

According to our database, Xuan Bach Le authored at least 6 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Monadic Decomposability of Regular Relations.

Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2018

Logical Reasoning for Disjoint Permissions.

Xuan Bach Le, Aquinas Hobor

Proceedings of the Programming Languages and Systems, 2018

Complexity Analysis of Tree Share Structure.

Xuan Bach Le, Aquinas Hobor, Anthony W. Lin

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

A Certified Decision Procedure for Tree Shares.

Xuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor

Proceedings of the Formal Methods and Software Engineering, 2017

2016

Decidability and Complexity of Tree Share Formulas.

Xuan Bach Le, Aquinas Hobor, Anthony W. Lin

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

2012

Decision Procedures over Sophisticated Fractional Permissions.

Xuan Bach Le, Cristian Gherghina, Aquinas Hobor

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012