Copertina

BI-based Reasoning about Quantum Programs with Heap Manipulations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Su, Bonan, Zhou, Li, Feng, Yuan, Ying, Mingsheng
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Quantum Physics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Symbolic Specification and Reasoning for Quantum Data and Operations
di: Ying, Mingsheng
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

Atomicity in Distributed Quantum Computing
di: Zhang, Zhicheng, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

Quantum Büchi Automata
di: Wang, Qisheng, et al.
Pubblicazione: (2018)

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

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

Quantum Speedup for Hypergraph Sparsification
di: Liu, Chenghua, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

Unitarity estimation for quantum channels
di: Chen, Kean, et al.
Pubblicazione: (2022)

Principles of Optics in the Fock Space: Scalable Manipulation of Giant Quantum States
di: Xu, Yifang, et al.
Pubblicazione: (2026)

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