Formal Methods for Quantum Algorithms.
Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023
Construction Method of Equipment Software Defect Knowledge Base.
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022
COVID-ONE-hi: The One-stop Database for COVID-19-specific Humoral Immunity and Clinical Parameters.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Genom. Proteom. Bioinform., 2021
Formal Methods for Quantum Programs: A Survey.
CoRR, 2021
Reasoning about Recursive Quantum Programs.
CoRR, 2021
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement.
Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021
Linear templates of ACTL formulas with an application to SAT-based verification.
Inf. Process. Lett., 2017
On Completeness Results of Hoare Logic Relative to the Standard Model.
CoRR, 2017
Completeness of Hoare Logic over Nonstandard Models.
CoRR, 2017
Completeness of Hoare Logic Relative to the Standard Model.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017
Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints.
Proceedings of the Automated Deduction - CADE 26, 2017
Completeness of Hoare logic with inputs over the standard model.
Theor. Comput. Sci., 2016
A New Perspective for Hoare's Logic and Peano's Arithmetic.
CoRR, 2013