Zhaowei Xu

According to our database, Zhaowei Xu authored at least 13 papers between 2013 and 2023.

Collaborative distances:

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

2023

Formal Methods for Quantum Algorithms.

Christophe Chareton, Dongho Lee, Benoît Valiron, Renaud Vilmart, Sébastien Bardin, Zhaowei Xu

Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023

2022

Construction Method of Equipment Software Defect Knowledge Base.

Weihua Zhang, Lijin Wu, Zhaowei Xu, Yang Jian

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2021

COVID-ONE-hi: The One-stop Database for COVID-19-specific Humoral Immunity and Clinical Parameters.

Zhaowei Xu, Yang Li, Qing Lei, Likun Huang, Danyun Lai, Shujuan Guo, Hewei Jiang, Hongyan Hou, Yunxiao Zheng, Xuening Wang, Jiaoxiang Wu, Mingliang Ma, Bo Zhang, Hong Chen, Caizheng Yu, Junbiao Xue, Hainan Zhang, Huan Qi, Siqi Yu, Mingxi Lin, Yandi Zhang, Xiaosong Lin, Zongjie Yao, Huiming Sheng, Ziyong Sun, Feng Wang, Xionglin Fan, Sheng-ce Tao

Genom. Proteom. Bioinform., 2021

Formal Methods for Quantum Programs: A Survey.

Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu

CoRR, 2021

Reasoning about Recursive Quantum Programs.

Zhaowei Xu, Mingsheng Ying, Benoît Valiron

CoRR, 2021

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement.

Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

2017

Linear templates of ACTL formulas with an application to SAT-based verification.

Zhaowei Xu, Wenhui Zhang

Inf. Process. Lett., 2017

On Completeness Results of Hoare Logic Relative to the Standard Model.

Zhaowei Xu, Wenhui Zhang, Yuefei Sui

CoRR, 2017

Completeness of Hoare Logic over Nonstandard Models.

Zhaowei Xu, Yuefei Sui, Wenhui Zhang

CoRR, 2017

Completeness of Hoare Logic Relative to the Standard Model.

Zhaowei Xu, Wenhui Zhang, Yuefei Sui

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints.

Zhaowei Xu, Taolue Chen, Zhilin Wu

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Completeness of Hoare logic with inputs over the standard model.

Zhaowei Xu, Yuefei Sui, Wenhui Zhang

Theor. Comput. Sci., 2016

2013

A New Perspective for Hoare's Logic and Peano's Arithmetic.

Zhaowei Xu

CoRR, 2013