Zhaowei Xu

14 papers A 1B 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2023 — ch.
Formal Methods for Quantum Algorithms.
Handb. Formal Anal. Verification Cryptogr.
Christophe Chareton, Dongho Lee, Benoît Valiron, Renaud Vilmart, Sébastien Bardin, Zhaowei Xu
2022 — conf
Construction Method of Equipment Software Defect Knowledge Base.
DSA
Weihua Zhang, Lijin Wu, Zhaowei Xu, Yang Jian
2021 J jnl
COVID-ONE-hi: The One-stop Database for COVID-19-specific Humoral Immunity and Clinical Parameters.
Genom. Proteom. Bioinform.
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
2021 — conf
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement.
FSTTCS
Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu
2021 J jnl
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement.
CoRR
Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu
2021 J jnl
Formal Methods for Quantum Programs: A Survey.
CoRR
Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
2021 J jnl
Reasoning about Recursive Quantum Programs.
CoRR
Zhaowei Xu, Mingsheng Ying, Benoît Valiron
2017 B conf
Completeness of Hoare Logic Relative to the Standard Model.
SOFSEM
Zhaowei Xu, Wenhui Zhang, Yuefei Sui
2017 J jnl
Completeness of Hoare Logic over Nonstandard Models.
CoRR
Zhaowei Xu, Yuefei Sui, Wenhui Zhang
2017 J jnl
Linear templates of ACTL formulas with an application to SAT-based verification.
Inf. Process. Lett.
Zhaowei Xu, Wenhui Zhang
2017 J jnl
On Completeness Results of Hoare Logic Relative to the Standard Model.
CoRR
Zhaowei Xu, Wenhui Zhang, Yuefei Sui
2017 A conf
Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints.
CADE
Zhaowei Xu, Taolue Chen, Zhilin Wu
2016 J jnl
Completeness of Hoare logic with inputs over the standard model.
Theor. Comput. Sci.
Zhaowei Xu, Yuefei Sui, Wenhui Zhang
2013 J jnl
A New Perspective for Hoare's Logic and Peano's Arithmetic.
CoRR
Zhaowei Xu