Image Computation for Quantum Transition Systems

Authors: Hong, Xin, Gao, Dingchao, Li, Sanjiang, Ying, Shenggang, Ying, Mingsheng

Subject Terms: Computer Science - Data Structures and Algorithms, Computer Science - Emerging Technologies, Quantum Physics

Access URL: http://arxiv.org/abs/2503.04146

Differential Privacy of Quantum and Quantum-Inspired-Classical Recommendation Algorithms

Authors: Li, Chenjian, Ying, Mingsheng

Subject Terms: Quantum Physics, Computer Science - Cryptography and Security, Computer Science - Emerging Technologies, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2502.04758

Laws of Quantum Programming

Authors: Ying, Mingsheng, Zhou, Li, Barthe, Gilles

Subject Terms: Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2412.19463

A Practical Quantum Hoare Logic with Classical Variables, I

Authors: Ying, Mingsheng

Subject Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Quantum Physics

Access URL: http://arxiv.org/abs/2412.09869

Control Flow Adaption: An Efficient Simulation Method For Noisy Quantum Networks

Authors: Lin, Huiping, Deng, Ruixuan, Yao, Chris Z., Ji, Zhengfeng, Ying, Mingsheng

Subject Terms: Quantum Physics

Access URL: http://arxiv.org/abs/2412.08956

Approximation Algorithm for Noisy Quantum Circuit Simulation

Authors: Huang, Mingyu, Guan, Ji, Fang, Wang, Ying, Mingsheng

Source: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024. :1-6 Mar, 2024

Relation: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)

BI-based Reasoning about Quantum Programs with Heap Manipulations

Authors: Su, Bonan, Zhou, Li, Feng, Yuan, Ying, Mingsheng

Subject Terms: Quantum Physics

Access URL: http://arxiv.org/abs/2409.10153

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs

Authors: Zhang, Zhicheng, Ying, Mingsheng

Subject Terms: Quantum Physics, Computer Science - Hardware Architecture, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2408.10054

VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models

Authors: Lin, Yanling, Guan, Ji, Fang, Wang, Ying, Mingsheng, Su, Zhaofeng

Subject Terms: Quantum Physics

Access URL: http://arxiv.org/abs/2407.13533

Measurement-based Verification of Quantum Markov Chains

Authors: Guan, Ji, Feng, Yuan, Turrini, Andrea, Ying, Mingsheng

Subject Terms: Quantum Physics

Access URL: http://arxiv.org/abs/2405.05825

Atomicity in Distributed Quantum Computing

Authors: Zhang, Zhicheng, Ying, Mingsheng

Subject Terms: Quantum Physics, Computer Science - Distributed, Parallel, and Cluster Computing

Access URL: http://arxiv.org/abs/2404.18592

Equivalence Checking of Parameterised Quantum Circuits

Authors: Hong, Xin, Huang, Wei-Jia, Chien, Wei-Chen, Feng, Yuan, Hsieh, Min-Hsiu, Li, Sanjiang, Ying, Mingsheng

Subject Terms: Quantum Physics

Access URL: http://arxiv.org/abs/2404.18456

Verification of Recursively Defined Quantum Circuits

Authors: Ying, Mingsheng, Zhang, Zhicheng

Subject Terms: Quantum Physics, Computer Science - Logic in Computer Science, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2404.05934

Decision Diagrams for Symbolic Verification of Quantum Circuits

Authors: Hong, Xin, Huang, Wei-Jia, Chien, Wei-Chen, Feng, Yuan, Hsieh, Min-Hsiu, Li, Sanjiang, Yeh, Chia-Shun, Ying, Mingsheng

Source: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE) QCE Quantum Computing and Engineering (QCE), 2023 IEEE International Conference on. 01:970-977 Sep, 2023

Relation: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE)

Equivalence Checking of Dynamic Quantum Circuits

Authors: Hong, Xin, Feng, Yuan, Li, Sanjiang, Ying, Mingsheng

Source: 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) Computer Aided Design (ICCAD)2022 IEEE/ACM International Conference On. :1-8 Oct, 2022

Relation: 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD)

Symbolic Execution for Quantum Error Correction Programs

Authors: Fang, Wang, Ying, Mingsheng

Subject Terms: Quantum Physics, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2311.11313

SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits

Authors: Fang, Wang, Ying, Mingsheng

Subject Terms: Quantum Physics, Computer Science - Emerging Technologies

Access URL: http://arxiv.org/abs/2311.03906

Quantum Recursive Programming with Quantum Case Statements

Authors: Ying, Mingsheng, Zhang, Zhicheng

Subject Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Quantum Physics

Access URL: http://arxiv.org/abs/2311.01725

Detecting Violations of Differential Privacy for Quantum Algorithms

Authors: Guan, Ji, Fang, Wang, Huang, Mingyu, Ying, Mingsheng

Source: In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS 2023)

Subject Terms: Quantum Physics, Computer Science - Cryptography and Security, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2309.04819

Approximate Equivalence Checking of Noisy Quantum Circuits

Authors: Hong, Xin, Ying, Mingsheng, Feng, Yuan, Zhou, Xiangzhen, Li, Sanjiang

Source: 2021 58th ACM/IEEE Design Automation Conference (DAC) Design Automation Conference (DAC), 2021 58th ACM/IEEE. :637-642 Dec, 2021

Relation: 2021 58th ACM/IEEE Design Automation Conference (DAC)