Le，Quang Loc公司;Le，Xuan-Bach D。 分离逻辑片段中的一种有效循环蕴涵过程。 （英语） Zbl 07770351号 Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 477-497 (2023).理学硕士：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Q.L.Le}和\textit{X.-B.D.Le}，Lect。注释计算。科学。13992、477--497（2023；Zbl 07770351） 全文： 内政部 arXiv公司 OA许可证
Le，Quang Loc公司 分离逻辑中的组合可满足性求解。 （英语） Zbl 1472.03025号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 578-602 (2021).理学硕士：03B70号 03B25号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Q.L.Le}，莱克特。注释计算。科学。12597，578--602（2021；Zbl 1472.03025） 全文： 内政部 链接
Pham、Long H。;Le，Quang Loc公司;Phan，Quoc-Sang先生;孙骏 并发测试堆操作程序。 （英语） 兹伯利07817390 ter Beek，Maurice H.（编辑）等人，《形式方法——未来30年》。第三届世界大会/第二十三届研讨会，2019年10月7日至11日，葡萄牙波尔图，FM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11800, 442-461 (2019).理学硕士：68号30 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{L.H.Pham}等人，Lect。注释计算。科学。11800，442--461（2019；Zbl 07817390） 全文： 内政部 arXiv公司 链接
Pham、Long H。;Le，Quang Loc公司;Phan，Quoc-Sang先生;孙骏;秦胜超 使用测试输入生成的分离逻辑增强基于堆的程序的符号执行。 （英语） Zbl 1437.68044号 Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 209-227 (2019).理学硕士：68号30 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{L.H.Pham}等人，Lect。注释计算。科学。11781、209--227（2019；Zbl 1437.68044） 全文： 内政部 arXiv公司 链接
Makoto Tatsuta;Le，Quang Loc公司;魏恩根·钦 带有归纳定义和Presburger算法的分离逻辑的决策过程。 （英语） Zbl 1485.03078号 Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10017, 423-443 (2016).理学硕士：03B70号 03B25号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Tatsuta}等人，Lect。注释计算。科学。10017、423--443（2016；Zbl 1485.03078） 全文： 内政部 链接