:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Su, Bonan, Zhou, Li, Feng, Yuan, Ying, Mingsheng
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics
Online Access:	https://arxiv.org/abs/2409.10153
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Borrowing Dirty Qubits in Quantum Programs
by: Su, Bonan, et al.
Published: (2025)

Measurement-based Verification of Quantum Markov Chains
by: Guan, Ji, et al.
Published: (2024)

Symbolic Specification and Reasoning for Quantum Data and Operations
by: Ying, Mingsheng
Published: (2025)

A Tensor Network based Decision Diagram for Representation of Quantum Circuits
by: Hong, Xin, et al.
Published: (2020)

Symbolic Execution for Quantum Error Correction Programs
by: Fang, Wang, et al.
Published: (2023)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
by: Zhang, Zhicheng, et al.
Published: (2024)

Quantum Earth mover's distance, No-go Quantum Kantorovich-Rubinstein theorem, and Quantum Marginal Problem
by: Yu, Nengkun, et al.
Published: (2018)

Efficient Formal Verification of Quantum Error Correcting Programs
by: Huang, Qifan, et al.
Published: (2025)

A Practical Quantum Hoare Logic with Classical Variables, I
by: Ying, Mingsheng
Published: (2024)

Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool
by: Guan, Ji, et al.
Published: (2026)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
by: Huang, Qifan, et al.
Published: (2026)

Automatic Test Pattern Generation for Robust Quantum Circuit Testing
by: Chen, Kean, et al.
Published: (2022)

Atomicity in Distributed Quantum Computing
by: Zhang, Zhicheng, et al.
Published: (2024)

Parallel Quantum Algorithm for Hamiltonian Simulation
by: Zhang, Zhicheng, et al.
Published: (2021)

VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models
by: Lin, Yanling, et al.
Published: (2024)

Access Control Threatened by Quantum Entanglement
by: Zhang, Zhicheng, et al.
Published: (2025)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
by: Dai, Aochu, et al.
Published: (2025)

Verification of Recursively Defined Quantum Circuits
by: Ying, Mingsheng, et al.
Published: (2024)

Quantum Algorithm for Lexicographically Minimal String Rotation
by: Wang, Qisheng, et al.
Published: (2020)

Differential Privacy of Quantum and Quantum-Inspired Classical Recommendation Algorithms
by: Li, Chenjian, et al.
Published: (2025)

Equivalence Checking of Parameterised Quantum Circuits
by: Hong, Xin, et al.
Published: (2024)

Quantum Büchi Automata
by: Wang, Qisheng, et al.
Published: (2018)

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
by: Huang, Mingyu, et al.
Published: (2025)

Quantum State Preparation Based on LimTDD
by: Hong, Xin, et al.
Published: (2025)

Image Computation for Quantum Transition Systems
by: Hong, Xin, et al.
Published: (2025)

Quantum Speedup for Hypergraph Sparsification
by: Liu, Chenghua, et al.
Published: (2025)

New Quantum Algorithms for Computing Quantum Entropies and Distances
by: Wang, Qisheng, et al.
Published: (2022)

Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps
by: Hong, Xin, et al.
Published: (2025)

Control Flow Adaption: An Efficient Simulation Method For Noisy Quantum Networks
by: Lin, Huiping, et al.
Published: (2024)

Dissipative Preparation of Correlated Quantum States in Dipolar Rydberg Arrays
by: Tian, Mingsheng, et al.
Published: (2026)

Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
by: Wu, Huiling, et al.
Published: (2023)

Benchmarking Quantum Circuit Transformation with QKNOB Circuits
by: Li, Sanjiang, et al.
Published: (2023)

Nonreciprocal Amplification Transition in a Driven-Dissipative Quantum Network
by: Tian, Mingsheng, et al.
Published: (2022)

Remote Quantum Networks based on Quantum Memories
by: Zhu, Tian-Xiang, et al.
Published: (2025)

A Query-based Quantum Eigensolver
by: Jin, Shan, et al.
Published: (2020)

Unitarity estimation for quantum channels
by: Chen, Kean, et al.
Published: (2022)

Obfuscation of Unitary Quantum Programs
by: Huang, Mi-Ying, et al.
Published: (2025)

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
by: Li, Zihao, et al.
Published: (2026)

Quantum teleportation based on the elegant joint measurement
by: Ding, Dong, et al.
Published: (2024)

Quantum key distribution based on mid-infrared and telecom band two-color entanglement source
by: Li, Wu-Zhen, et al.
Published: (2024)