Zhaowei Xu

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 12

Top Topics

Public Key Encryption Scheme

Description Language

Top Venues

Inf. Process. Lett.

Genom. Proteom. Bioinform.

Publications

Weihua Zhang, Lijin Wu, Zhaowei Xu, Yang Jian
Construction Method of Equipment Software Defect Knowledge Base. DSA (2022)
Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. FSTTCS (2021)
Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
Formal Methods for Quantum Programs: A Survey. CoRR (2021)
Zhaowei Xu, Yang Li, Qing Lei, Likun Huang, Dan-yun Lai, Shu-juan Guo, He-wei Jiang, Hongyan Hou, Yun-xiao Zheng, Xue-ning Wang, Jiaoxiang Wu, Ming-liang Ma, Bo Zhang, Hong Chen, Caizheng Yu, Jun-biao Xue, Hai-nan Zhang, Huan Qi, Siqi Yu, Mingxi Lin, Yandi Zhang, Xiaosong Lin, Zongjie Yao, Huiming Sheng, Ziyong Sun, Feng Wang, Xionglin Fan, Sheng-ce Tao
COVID-ONE-hi: The One-stop Database for COVID-19-specific Humoral Immunity and Clinical Parameters. Genom. Proteom. Bioinform. 19 (5) (2021)
Zhaowei Xu, Mingsheng Ying, Benoît Valiron
Reasoning about Recursive Quantum Programs. CoRR (2021)
Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. CoRR (2021)
Zhaowei Xu, Wenhui Zhang
Linear templates of ACTL formulas with an application to SAT-based verification. Inf. Process. Lett. 127 (2017)
Zhaowei Xu, Yuefei Sui, Wenhui Zhang
Completeness of Hoare Logic over Nonstandard Models. CoRR (2017)
Zhaowei Xu, Wenhui Zhang, Yuefei Sui
Completeness of Hoare Logic Relative to the Standard Model. SOFSEM (2017)
Zhaowei Xu, Wenhui Zhang, Yuefei Sui
On Completeness Results of Hoare Logic Relative to the Standard Model. CoRR (2017)
Zhaowei Xu, Taolue Chen, Zhilin Wu
Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints. CADE (2017)
Zhaowei Xu, Yuefei Sui, Wenhui Zhang
Completeness of Hoare logic with inputs over the standard model. Theor. Comput. Sci. 612 (2016)
Zhaowei Xu
A New Perspective for Hoare's Logic and Peano's Arithmetic. CoRR (2013)