Mingsheng Ying

Latest

• CoqQ: Foundational Verification of Quantum Programs
• Verification of Distributed Quantum Programs
• Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra
• Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs
• Quantum Hoare Logic with Classical Variables
• A proof system for disjoint parallel quantum programs
• A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
• Model Checking Quantum Systems: Principles and Algorithms
• Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
• Formal Verification of Quantum Algorithms Using Quantum Hoare Logic
• An Applied Quantum Hoare Logic
• Quantum Hoare Logic
• Reasoning about Parallel Quantum Programs
• Algorithmic Analysis of Termination Problems for Quantum Programs
• Invariants of Quantum Programs: Characterisations and Generation
• Foundations of Quantum Programming
• Quantum Recursion and Second Quantisation
• Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs
• Verification of Quantum Programs
• Floyd--Hoare Logic for Quantum Programs
• Predicate Transformer Semantics of Quantum Programs
• Hoare Logic for Quantum Programs