A New Perspective for Hoare's Logic and Peano's Arithmetic. - Zhaowei Xu (CoRR, 2013)

Completeness of Hoare logic with inputs over the standard model. - Zhaowei Xu; Yuefei Sui; Wenhui Zhang (Theor. Comput. Sci., 2016)

Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints. - Zhaowei Xu; Taolue Chen 001; Zhilin Wu (CADE, 2017)

Completeness of Hoare Logic Relative to the Standard Model. - Zhaowei Xu; Wenhui Zhang; Yuefei Sui (SOFSEM, 2017)

Completeness of Hoare Logic over Nonstandard Models. - Zhaowei Xu; Yuefei Sui; Wenhui Zhang (CoRR, 2017)

On Completeness Results of Hoare Logic Relative to the Standard Model. - Zhaowei Xu; Wenhui Zhang; Yuefei Sui (CoRR, 2017)

Linear templates of ACTL formulas with an application to SAT-based verification. - Zhaowei Xu; Wenhui Zhang (Inf. Process. Lett., 2017)

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. - Dongho Lee; Valentin Perrelle; Benoît Valiron; Zhaowei Xu (FSTTCS, 2021)

Reasoning about Recursive Quantum Programs. - Zhaowei Xu; Mingsheng Ying; Benoît Valiron (CoRR, 2021)

Formal Methods for Quantum Programs: A Survey. - Christophe Chareton; Sébastien Bardin; Dongho Lee; Benoît Valiron; Renaud Vilmart; Zhaowei Xu (CoRR, 2021)

COVID-ONE-hi: The One-stop Database for COVID-19-specific Humoral Immunity and Clinical Parameters. - Zhaowei Xu; Yang Li 168; Qing Lei; Likun Huang; Danyun Lai; Shujuan Guo; Hewei Jiang; Hongyan Hou; Yunxiao Zheng; Xuening Wang; Jiaoxiang Wu; Mingliang Ma; et al. (Genom. Proteom. Bioinform., 2021)

Construction Method of Equipment Software Defect Knowledge Base. - Weihua Zhang; Lijin Wu; Zhaowei Xu; Yang Jian (DSA, 2022)

Formal Methods for Quantum Algorithms. - Christophe Chareton; Dongho Lee; Benoît Valiron; Renaud Vilmart; Sébastien Bardin; Zhaowei Xu (Handb. Formal Anal. Verification Cryptogr., 2023)