Xuan-Bach Le
Título
Citado por
Citado por
Año
Decision procedures over sophisticated fractional permissions
XB Le, C Gherghina, A Hobor
Asian Symposium on Programming Languages and Systems (APLAS), 368-385, 2012
172012
Logical reasoning for disjoint permissions
XB Le, A Hobor
European Symposium on Programming (ESOP), 2018
62018
Decidability and Complexity of Tree Share Formulas
XB Le, A Hobor, AW Lin
IARCS Annual Conference on Foundations of Software Technology and …, 2016
62016
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
52017
Monadic Decomposability of Regular Relations
P Barcelo, CD Hong, XB Le, AW Lin, R Niskanen
ICALP, 2019
32019
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–7