Ying, Mingsheng
- A Tensor Network based Decision Diagram for Representation of Quantum Circuits
2020/09/06 by Xin Hong, Xiangzhen Zhou, Hong, Xin +7 · 11 citations
Computer Science · Engineering · #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Physical sciences #Low-power high-performance VLSI design #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- Quantum Supremacy Circuit Simulation on Sunway TaihuLight
2018/04/13 by Riling Li, Bujiao Wu, Li, Riling +7 · 6 citations
Computer Science · #FOS: Physical sciences #Neural Networks and Reservoir Computing #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- VeriQBench: A Benchmark for Multiple Types of Quantum Circuits
2022/06/22 by Kean Chen, Chen, Kean, Wang Fang +13 · 6 citations
Computer Science · Engineering · #Quantum Computing Algorithms and Architecture #Parallel Computing and Optimization Techniques #Radiation Effects in Electronics
- Locally Indistinguishable Subspaces Spanned by Three-Qubit Unextendible Product Bases
2007/08/27 by Runyao Duan, Xin Yu, Duan, Runyao +3 · 2 citations
Computer Science · #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Quantum-Dot Cellular Automata
- Quantum Recursion and Second Quantisation
2014/05/17 by Ying, Mingsheng · 2 citations
#FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Physics (quant-ph)
- Equivalence Checking of Dynamic Quantum Circuits
2021/06/03 by Hong, Xin, Feng, Yuan, Li, Sanjiang +1 · 3 citations
#FOS: Physical sciences #Quantum Physics (quant-ph)
- CoqQ: Foundational Verification of Quantum Programs
2022/07/22 by Zhou Li, Gilles Barthe, Zhou, Li +7 · 4 citations
Computer Science · #Quantum Computing Algorithms and Architecture #Computability, Logic, AI Algorithms #Logic, programming, and type systems
- Reachability and Termination Analysis of Concurrent Quantum Programs
2012/06/09 by Nengkun Yu, Mingsheng Ying, Yu, Nengkun +1 · 4 citations
Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum Physics (quant-ph)
- Realization of positive-operator-valued measures by projective measurements without introducing ancillary dimensions
2006/08/30 by Guoming Wang, Mingsheng Ying, Wang, Guoming +1 · 1 citation
Mathematics · #Numerical methods in inverse problems
- A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
2021/01/30 by Li Zhou, Gilles Barthe, Zhou, Li +7 · 3 citations
Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications
- Termination of Nondeterministic Quantum Programs
2012/01/04 by Li, Yangjia, Yu, Nengkun, Ying, Mingsheng · 1 citation
#F.3.1 #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
- Symbolic bisimulation for quantum processes
2012/02/16 by Feng, Yuan, Deng, Yuxin, Ying, Mingsheng · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Quantum Information-Flow Security: Noninterference and Access Control
2013/01/28 by Mingsheng Ying, Yuang Feng, Ying, Mingsheng +3 · 1 citation
Computer Science · Physics and Astronomy · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum Physics (quant-ph)
- VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models
2024/07/18 by Lin, Yanling, Guan, Ji, Fang, Wang +2 · 3 citations
#FOS: Physical sciences #Quantum Physics (quant-ph)
- Toward automatic verification of quantum cryptographic protocols
2015/07/19 by Feng, Yuan, Ying, Mingsheng · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph)
- SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits
2023/11/07 by Fang, Wang, Ying, Mingsheng · 2 citations
#Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph)
- Reasoning about Parallel Quantum Programs
2018/10/26 by Ying, Mingsheng, Zhou, Li, Li, Yangjia · 1 citation
#FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Physics (quant-ph)
- Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
2019/11/28 by Gushu Li, Li Zhou, Li, Gushu +9 · 1 citation
Computer Science · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Parallel Computing and Optimization Techniques
- Approximate Equivalence Checking of Noisy Quantum Circuits
2021/03/22 by Xin Hong, Mingsheng Ying, Hong, Xin +7 · 1 citation
Computer Science · Engineering · #Quantum Computing Algorithms and Architecture #Low-power high-performance VLSI design #Parallel Computing and Optimization Techniques
- Efficient Formal Verification of Quantum Error Correcting Programs
2025/04/10 by Huang, Qifan, Zhou, Li, Fang, Wang +2 · 4 citations
#FOS: Computer and information sciences #FOS: Physical sciences #Programming Languages (cs.PL) #Quantum Physics (quant-ph)
- Verification of Recursively Defined Quantum Circuits
2024/04/09 by Ying, Mingsheng, Zhang, Zhicheng · 2 citations
#FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Physics (quant-ph)
- Fault Models in Superconducting quantum circuits
2022/12/01 by Huang, Qifan, Li, Boxi, Gao, Minbo +1 · 1 citation
#Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Physical sciences #Quantum Physics (quant-ph) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Measurement-based Verification of Quantum Markov Chains
2024/05/09 by Ji Guan, Yuan Feng, Guan, Ji +5 · 1 citation
Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #Data Quality and Management #FOS: Physical sciences #Quantum Physics (quant-ph)
- Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
2024/08/19 by Zhang, Zhicheng, Ying, Mingsheng · 1 citation
#FOS: Computer and information sciences #FOS: Physical sciences #Hardware Architecture (cs.AR) #Programming Languages (cs.PL) #Quantum Physics (quant-ph)
- Laws of Quantum Programming
2024/12/27 by Ying, Mingsheng, Zhou, Li, Barthe, Gilles · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- (Un)decidable Problems about Reachability of Quantum Systems
2014/01/24 by Yangjia Li, Li, Yangjia, Mingsheng Ying +1 · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations
2025/04/01 by Xin Hong, A. D’Aì, Hong, Xin +9 · 3 citations
Computer Science · #Data Management and Algorithms #Data Structures and Algorithms (cs.DS) #Data Visualization and Analytics #FOS: Computer and information sciences #Time Series Analysis and Forecasting