论文发表

Yuan Feng, Li Zhou, Yingte Xu, Xiaoquan Xu (2025). Refinement calculus of quantum programs with projective assertions. ACM Trans. Softw. Eng. Methodol..

引用 DOI URL

Michael Bremner, Zhengfeng Ji, Xingjian Li, Luke Mathieson, Mauro Morales (2025). Parameterized Complexity of Weighted Local Hamiltonian Problems and the Quantum Exponential Time Hypothesis. ACM Transactions on Quantum Computing.

引用 DOI URL

Zhen Chen, Weiyang Liu, Yanjun Ma, Weijie Sun, Ruixia Wang, He Wang, Huikai Xu, Guangming Xue, Haisheng Yan, Zhen Yang, Jiayu Ding, Yang Gao, Feiyu Li, Yujia Zhang, Zikang Zhang, Yirong Jin, Haifeng Yu, Jianxin Chen, Fei Yan (2025). Efficient implementation of arbitrary two-qubit gates using unified control. Nature Physics.

引用 DOI URL

Zhaozhen Wang, Xingang Shi, Zhengfeng Ji, Xia Yin (2025). Quantum Network Optimization: From Optimal Routing to Fair Resource Allocation. Proc. ACM Meas. Anal. Comput. Syst..

引用 DOI URL

Ran Gao, Feng Wu, Hantao Sun, Jianjun Chen, Hao Deng, Xizheng Ma, Xiaohe Miao, Zhijun Song, Xin Wan, Fei Wang, Tian Xia, Make Ying, Chao Zhang, Yaoyun Shi, Huihai Zhao, Chunqing Deng (2025). The effects of disorder in superconducting materials on qubit coherence. Nature Communications.

引用 DOI

Ziang Wang, Feng Wu, Huihai Zhao, Xin Wan, Xiaotong Ni (2025). SuperGrad: a differentiable simulator for superconducting processors. Quantum.

引用 DOI URL

Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li, Hakop Pashayan (2025). On the Trainability and Classical Simulability of Learning Matrix Product States Variationally. Proceedings of the AAAI Conference on Artificial Intelligence.

引用 DOI URL

Michael J. Bremner, Bin Cheng, Zhengfeng Ji (2025). Instantaneous Quantum Polynomial-Time Sampling and Verifiable Quantum Advantage: Stabilizer Scheme and Classical Security. PRX Quantum.

引用 DOI URL

Fei Wang, Kannan Lu, Huijuan Zhan, Lu Ma, Feng Wu, Hantao Sun, Hao Deng, Yang Bai, Feng Bao, Xu Chang, Ran Gao, Xun Gao, Guicheng Gong, Lijuan Hu, Ruizi Hu, Honghong Ji, Xizheng Ma, Liyong Mao, Zhijun Song, Chengchun Tang, Hongcheng Wang, Tenghui Wang, Ziang Wang, Tian Xia, Hongxin Xu, Ze Zhan, Gengyan Zhang, Tao Zhou, Mengyu Zhu, Qingbin Zhu, Shasha Zhu, Xing Zhu, Yaoyun Shi, Huihai Zhao, Chunqing Deng (2025). High-coherence fluxonium qubits manufactured with a wafer-scale-uniformity process. Physical Review Applied.

引用 DOI URL

Yuan Feng, Li Zhou (2025). Refinement orders for quantum programs.

引用 arXiv URL

Simon Apers, Minbo Gao, Zhengfeng Ji, Chenghua Liu (2025). Quantum Speedup for Sampling Random Spanning Trees.

引用 arXiv URL

Minbo Gao, Zhengfeng Ji, Qisheng Wang, Wenjun Yu, Qi Zhao (2025). Quantum Hamiltonian Certification.

引用 arXiv URL

Minbo Gao, Zhengfeng Ji, Qisheng Wang (2025). Quantum Approximate k-Minimum Finding. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.

引用 DOI URL

Zhaohui Yang, Dawei Ding, Chenghong Zhu, Jianxin Chen, Yuan Xie (2025). PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices.

引用 arXiv URL

Runshi Zhou, Fang Zhang, Huihai Zhao, Feng Wu, Linghang Kong, Jianxin Chen (2025). Louvre: Relaxing Hardware Requirements of Quantum LDPC Codes by Routing with Expanded Quantum Instruction Set.

引用 arXiv URL

Kai Zhang, Situ Wang, Linghang Kong, Fang Zhang, Zhengfeng Ji, Jianxin Chen (2025). Learning Neural Decoding with Parallelism and Self-Coordination for Quantum Error Correction.

引用 arXiv URL

Kai Zhang, Jubo Xu, Fang Zhang, Linghang Kong, Zhengfeng Ji, Jianxin Chen (2025). LATTE: A Decoding Architecture for Quantum Computing with Temporal and Spatial Scalability.

引用 arXiv URL

Jiayu Zhang (2025). Formulations and Constructions of Remote State Preparation with Verifiability, with Applications.

引用 arXiv URL

Ziyuan Wang, Bin Cheng, Longxiang Yuan, Zhengfeng Ji (2025). FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams. Computer Aided Verification.

引用

Huiping Lin, Ruixuan Deng, Chris Z. Yao, Zhengfeng Ji, Mingsheng Ying (2025). Control Flow Adaption: An Efficient Simulation Method for Noisy Quantum Networks. IEEE INFOCOM 2025 - IEEE Conference on Computer Communications.

引用 DOI

Bin Cheng, Ziyuan Wang, Ruixuan Deng, Jianxin Chen, Zhengfeng Ji (2025). Breaking the Treewidth Barrier in Quantum Circuit Simulation with Decision Diagrams.

引用 arXiv URL

Linghang Kong, Fang Zhang, Jianxin Chen (2025). Benchmarking fault-tolerant quantum computing hardware via QLOPS.

引用 arXiv URL

Chenghua Liu, Zhengfeng Ji (2025). Accelerating Regression Tasks with Quantum Algorithms.

引用 arXiv URL

Jiayu Zhang (2025). A Quantum Approach For Reducing Communications in Classical Secure Computations with Long Outputs.

引用 arXiv URL

Tenghui Wang, Feng Wu, Fei Wang, Xizheng Ma, Gengyan Zhang, Jianjun Chen, Hao Deng, Ran Gao, Ruizi Hu, Lu Ma, Zhijun Song, Tian Xia, Make Ying, Huijuan Zhan, Huihai Zhao, Chunqing Deng (2024). Efficient Initialization of Fluxonium Qubits based on Auxiliary Energy Levels. Physical Review Letters.

引用 DOI URL

Jiawei Ren, Yulei Sui, Xiao Cheng, Yuan Feng, Jianjun Zhao (2024). Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search. ACM Trans. Softw. Eng. Methodol..

引用 DOI URL

Jianxin Chen, Dawei Ding, Weiyuan Gong, Cupjin Huang, Qi Ye (2024). One Gate Scheme to Rule Them All: Introducing a Complex Yet Reduced Instruction Set for Quantum Computing. In ASPLOS.

引用

Xizheng Ma, Gengyan Zhang, Feng Wu, Feng Bao, Xu Chang, Jianjun Chen, Hao Deng, Ran Gao, Xun Gao, Lijuan Hu, Honghong Ji, Hsiang-Sheng Ku, Kannan Lu, Lu Ma, Liyong Mao, Zhijun Song, Hantao Sun, Chengchun Tang, Fei Wang, Hongcheng Wang, Tenghui Wang, Tian Xia, Make Ying, Huijuan Zhan, Tao Zhou, Mengyu Zhu, Qingbin Zhu, Yaoyun Shi, Huihai Zhao, Chunqing Deng (2024). Native Approach to Controlled-Z Gates in Inductively Coupled Fluxonium Qubits. Physical Review Letters.

引用 DOI URL

Wang Fang, Mingsheng Ying (2024). SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. Proceedings of the 61st ACM/IEEE Design Automation Conference.

引用 DOI URL

Minbo Gao, Zhengfeng Ji, Fuchao Wei (2024). Quantum Maximum Entropy Inference and Hamiltonian Learning.

引用 arXiv URL

Aochu Dai, Mingsheng Ying (2024). QReach: A Reachability Analysis Tool for Quantum Markov Chains. Computer Aided Verification.

引用

Runshi Zhou, Fang Zhang, Linghang Kong, Jianxin Chen (2024). Halma: a routing-based technique for defect mitigation in quantum error correction.

引用 arXiv URL

Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Mingsheng Ying (2024). Equivalence Checking of Parameterised Quantum Circuits.

引用 arXiv URL

Jiayu Zhang (2024). Classical Verification of Quantum Computations in Linear Time.

引用 arXiv URL

Sanjiang Li, Xiangzhen Zhou, Yuan Feng (2024). Benchmarking Quantum Circuit Transformation with QKNOB Circuits.

引用 arXiv URL

Xinyu Tan, Fang Zhang, Rui Chao, Yaoyun Shi, Jianxin Chen (2023). Scalable surface code decoders with parallelization in time. Phys. Rev. X Quantum.

引用

Jianxin Chen, Dawei Ding, Cupjin Huang, Linghang Kong (2023). Linear cross-entropy benchmarking with Clifford circuits. Phys. Rev. A.

引用 DOI URL

Wang Fang, Mingsheng Ying, Xiaodi Wu (2023). Differentiable Quantum Programming with Unbounded Loops. ACM Trans. Softw. Eng. Methodol..

引用 DOI URL

Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Li-Jun Zhang (2023). Model Checking for Probabilistic Multiagent Systems. Journal of Computer Science and Technology.

引用 DOI URL

Fang Zhang , Xing Zhu , Rui Chao, Cupjin Huang, Linghang Kong, Guoyang Chen, Dawei Ding, Haishan Feng, Yihuai Gao, Xiaotong Ni, Liwei Qiu, Zhe Wei, Yueming Yang, Yang Zhao, Yaoyun Shi, Weifeng Zhang, Peng Zhou, Jianxin Chen (2023). A Classical Architecture For Digital Quantum Computers. ACM Transactions on Quantum Computing.

引用 DOI URL

Likang Liu, Keke Sun, Chunlai Zhou, Yuan Feng (2023). Two Views of Constrained Differential Privacy: Belief Revision and Update. Proceedings of the AAAI Conference on Artificial Intelligence.

引用 DOI URL

Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li (2023). Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows. Proceedings of the AAAI Conference on Artificial Intelligence.

引用 DOI URL

Jianxin Chen, Dawei Ding, Cupjin Huang, Qi Ye (2023). Compiling arbitrary single-qubit gates via the phase shifts of microwave pulses. Phys. Rev. Res..

引用 DOI URL

Bujiao Wu, Xiaoyang Wang, Xiao Yuan, Cupjin Huang, Jianxin Chen (2023). Leakage Benchmarking for Universal Gate Sets.

PDF 数据集 海报 视频 源文档 ArXiv e-Print

Cupjin Huang , Tenghui Wang , Feng Wu, Dawei Ding, Qi Ye, Linghang Kong, Fang Zhang, Xiaotong Ni, Zhijun Song, Yaoyun Shi, Huihai Zhao, Chunqing Deng, Jianxin Chen (2023). Quantum Instruction Set Design for Performance. PRL.

引用 DOI URL

Yuan Feng, Yingte Xu (2023). Verification of Nondeterministic Quantum Programs. Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3.

引用 DOI URL

Kean Chen, Qisheng Wang, Peixun Long, Mingsheng Ying (2023). Unitarity Estimation for Quantum Channels. IEEE Transactions on Information Theory.

引用 DOI

Xiangzhen Zhou, Yuan Feng, Sanjiang Li (2023). Supervised Learning Enhanced Quantum Circuit Transformation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

引用 DOI

Jingzhe Guo, Mingsheng Ying (2023). Software Pipelining for Quantum Loop Programs. IEEE Transactions on Software Engineering.

引用 DOI

Sanjiang Li, Ky Dan Nguyen, Zachary Clare, Yuan Feng (2023). Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping. 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD).

引用 DOI

Mingsheng Ying, Zhicheng Zhang (2023). Quantum Recursive Programming with Quantum Case Statements.

引用 arXiv URL

Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying (2023). Quantum Algorithm for Fidelity Estimation. IEEE Transactions on Information Theory.

引用 DOI

Minbo Gao, Zhengfeng Ji, Tongyang Li, Qisheng Wang (2023). Logarithmic-Regret Quantum Learning Algorithms for Zero-Sum Games. Advances in Neural Information Processing Systems.

PDF 引用

Jingzhe Guo, Huazhe Lou, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying (2023). isQ: Towards a Practical Software Stack for Quantum Programming.

引用 arXiv URL

Jingzhe Guo, Huazhe Lou, Jintao Yu, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying (2023). isQ: An Integrated Software Stack for Quantum Programming. IEEE Transactions on Quantum Engineering.

引用 DOI

Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying (2023). Detecting Violations of Differential Privacy for Quantum Algorithms. Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security.

引用 DOI URL

Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying (2023). Decision Diagrams for Symbolic Verification of Quantum Circuits. 2023 IEEE International Conference on Quantum Computing and Engineering (QCE).

引用 DOI

Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying (2023). CoqQ: Foundational Verification of Quantum Programs. Proc. ACM Program. Lang..

引用 DOI URL

Hantao Sun, Feng Wu, Hsiang-Sheng Ku, Xizheng Ma, Jin Qin, Zhijun Song, Tenghui Wang, Gengyan Zhang, Jingwei Zhou, Yaoyun Shi, Huihai Zhao, Chunqing Deng (2023). Characterization of loss mechanisms in a fluxonium qubit.

引用 arXiv URL

Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li (2023). Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows.

引用 arXiv URL

Yuan Feng, Sanjiang Li (2023). Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. Information and Computation.

引用 DOI URL

Li Zhou, Nengkun Yu, Shenggang Ying, Mingsheng Ying (2022). Quantum earth mover’s distance, a no-go quantum Kantorovich–Rubinstein theorem, and quantum marginal problem. Journal of Mathematical Physics.

引用 DOI URL

Jianxin Chen, Dawei Ding, Cupjin Huang (2022). Randomized Benchmarking beyond Groups. PRX Quantum.

引用 DOI URL

Ran Gao, Hsiang‐Sheng Ku, Hao Deng, Wenlong Yu, Tian Xia, Feng Wu, Zhijun Song, Minghua Wang, Xiaohe Miao, Chao Zhang, Yue Lin, Yaoyun Shi, Hui‐Hai Zhao, Chunqing Deng (2022). Ultrahigh Kinetic Inductance Superconducting Materials from Spinodal Decomposition. Advanced Materials.

引用 DOI URL

Xiangzhen Zhou, Yuan Feng, Sanjiang Li (2022). Quantum Circuit Transformation: A Monte Carlo Tree Search Framework. ACM Trans. Des. Autom. Electron. Syst..

引用 DOI URL

Feng Bao, Hao Deng, Dawei Ding, Ran Gao, Xun Gao, Cupjin Huang, Xun Jiang, Hsiang-Sheng Ku, Zhisheng Li, Xizheng Ma, Xiaotong Ni, Jin Qin, Zhijun Song, Hantao Sun, Chengchun Tang, Tenghui Wang, Feng Wu, Tian Xia, Wenlong Yu, Fang Zhang, Gengyan Zhang, Xiaohang Zhang, Jingwei Zhou, Xing Zhu, Yaoyun Shi, Jianxin Chen, Huihai Zhao, Chunqing Deng (2022). Fluxonium: An Alternative Qubit Platform for High-Fidelity Operations. Phys. Rev. Lett..

引用 DOI URL

Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying (2022). A Tensor Network based Decision Diagram for Representation of Quantum Circuits. ACM Trans. Des. Autom. Electron. Syst..

引用 DOI URL

Yuan Feng, Sanjiang Li, Mingsheng Ying (2022). Verification of Distributed Quantum Programs. ACM Trans. Comput. Logic.

引用 DOI URL

Linghang Kong, Zi-Wen Liu (2022). Near-Optimal Covariant Quantum Error-Correcting Codes from Random Unitaries with Symmetries. PRX Quantum.

引用 DOI URL

Kean Chen, Wang Fang, Ji Guan, Xin Hong, Mingyu Huang, Junyi Liu, Qisheng Wang, Mingsheng Ying (2022). VeriQBench: A Benchmark for Multiple Types of Quantum Circuits.

引用 arXiv URL

Ji Guan, Wang Fang, Mingsheng Ying (2022). Verifying Fairness in Quantum Machine Learning. Computer Aided Verification.

引用

Hao Deng, Zhijun Song, Ran Gao, Tian Xia, Feng Bao, Xun Jiang, Hsiang-Sheng Ku, Zhisheng Li, Xizheng Ma, Jin Qin, Hantao Sun, Chengchun Tang, Tenghui Wang, Feng Wu, Wenlong Yu, Gengyan Zhang, Xiaohang Zhang, Jingwei Zhou, Xing Zhu, Yaoyun Shi, Huihai Zhao, Chunqing Deng (2022). Titanium Nitride Film on Sapphire Substrate with Low Dielectric Loss for Superconducting Qubits.

引用 arXiv URL

Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen (2022). Quantum soundness of testing tensor codes. 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS).

引用 DOI

Michael J. Bremner, Zhengfeng Ji, Ryan L. Mann, Luke Mathieson, Mauro E. S. Morales, Alexis T. E. Shaw (2022). Quantum Parameterized Complexity.

引用 arXiv URL

Xiaotong Ni, Huihai Zhao, Lei Wang, Feng Wu, Jianxin Chen (2022). Integrating quantum processor device and control optimization in a gradient-based framework. npj Quantum Information.

引用

Yuxin Deng, Yuan Feng (2022). Formal semantics of a classical-quantum language. Theoretical Computer Science.

引用 DOI URL

Qifan Huang, Boxi Li, Minbo Gao, Mingsheng Ying (2022). Fault Models in Superconducting quantum circuits.

引用 arXiv URL

Qisheng Wang, Riling Li, Mingsheng Ying (2022). Equivalence Checking of Sequential Quantum Circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

引用 DOI

Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying (2022). Equivalence Checking of Dynamic Quantum Circuits. Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design.

引用 DOI URL

Kahoko Takahashi, Zhe Sun, Jordi Solé-Casals, Andrzej Cichocki, Anh Huy Phan, Qibin Zhao, Huihai Zhao, Shangkun Deng, Ruggero Micheletto (2022). Data augmentation for Convolutional LSTM based brain computer interface system. Applied Soft Computing.

引用 DOI URL

Zhengfeng Ji (2022). Classical and Quantum Iterative Optimization Algorithms Based on Matrix Legendre-Bregman Projections.

引用 arXiv URL

Mingsheng Ying (2022). Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs.

引用 arXiv URL

Yuxiang Peng, Mingsheng Ying, Xiaodi Wu (2022). Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation.

引用 DOI URL

Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng (2022). A proof system for disjoint parallel quantum programs. Theoretical Computer Science.

引用 DOI URL

Wen-Jun Shi, Qin-Xiang Cao, Yu-Xin Deng, Han-Ru Jiang, Yuan Feng (2021). Symbolic Reasoning About Quantum Circuits in Coq. Journal of Computer Science and Technology.

引用 DOI URL

X. Fu, Jintao Yu, Xing Su, Hanru Jiang, Hua Wu, Fucheng Cheng, Xi Deng, Jinrong Zhang, Lei Jin, Yihang Yang, Le Xu, Chunchao Hu, Anqi Huang, Guangyao Huang, Xiaogang Qiang, Mingtang Deng, Ping Xu, Weixia Xu, Wanwei Liu, Yu Zhang, Yuxin Deng, Junjie Wu, Yuan Feng (2021). Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features. ACM Transactions on Quantum Computing.

引用 DOI URL

Ming Xu, Cheng-Chao Huang, Yuan Feng (2021). Measuring the constrained reachability in quantum Markov chains. Acta Informatica.

引用 DOI URL

Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen (2021). MIP* = RE. Commun. ACM.

引用 DOI URL

Jiayu Zhang (2021). Succinct blind Quantum computation using a random oracle. Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing.

引用 DOI URL

Aram W. Harrow, Linghang Kong, Zi-Wen Liu, Saeed Mehraban, Peter W. Shor (2021). Separation of Out-Of-Time-Ordered Correlation and Entanglement. PRX Quantum.

引用 DOI URL

Cupjin Huang, Dawei Ding, Feng Wu, Linghang Kong, Fang Zhang, Xiaotong Ni, Yaoyun Shi, Huihai Zhao, Jianxin Chen (2021). Towards ultra-high fidelity quantum operations: SQiSW gate as a native two-qubit gate.

PDF 数据集 海报 视频 源文档 ArXiv e-Print

Dawei Ding, Hsiang-Sheng Ku, Yaoyun Shi, Huihai Zhao (2021). Free-mode removal and mode decoupling for simulating general superconducting quantum circuits. Physical Review B.

引用 DOI URL

Ji Guan, Wang Fang, Mingsheng Ying (2021). Robustness Verification of Quantum Classifiers. Computer Aided Verification.

引用

Sanjiang Li, Xiangzhen Zhou, Yuan Feng (2021). Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search. IEEE Transactions on Computers.

引用 DOI

Nai-Hui Chia, Chi-Ning Chou, Jiayu Zhang, Ruizhe Zhang (2021). Quantum Meets the Minimum Circuit Size Problem.

引用 arXiv URL

Cupjin Huang , Fang Zhang , Michael Newman, Xiaotong Ni, Dawei Ding, Junjie Cai, Xun Gao, Tenghui Wang, Feng Wu, Gengyan Zhang, Hsiang-Sheng Ku, Zhengxiong Tian, Junyin Wu, Haihong Xu, Huanjun Yu, Bo Yuan, Mario Szegedy, Yaoyun Shi, Huihai Zhao, Chunqing Deng, Jianxin Chen (2021). Efficient parallelization of tensor network contraction for simulating quantum computation. Nature Computational Science.

引用

Travis S. Humble, Mingsheng Ying (2020). Inaugural Issue Editorial for ACM Transactions on Quantum Computing. ACM Transactions on Quantum Computing.

引用 DOI URL

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie (2020). Projection-based runtime assertions for testing and debugging Quantum programs. Proc. ACM Program. Lang..

引用 DOI URL

Zhengfeng Ji, Debbie Leung, Thomas Vidick (2020). A three-player coherent state embezzlement game. Quantum.

引用 DOI URL

Junqing Xu, Adela Habib, Sushant Kumar, Feng Wu, Ravishankar Sundararaman, Yuan Ping (2020). Spin-phonon relaxation from a universal ab initio density-matrix approach. Nature Communications.

引用 DOI URL

Ze-Feng Gao, Song Cheng, Rong-Qiang He, Z. Y. Xie, Huihai Zhao, Zhong-Yi Lu, Tao Xiang (2020). Compressing deep neural networks by matrix product operators. Physical Review Research.

引用 DOI URL

Bin-Bin Chen, Yuan Gao, Yi-Bin Guo, Yuzhi Liu, Huihai Zhao, Hai-Jun Liao, Lei Wang, Tao Xiang, Wei Li, Z. Y. Xie (2020). Automatic differentiation for second renormalization of tensor networks. Physical Review B.

引用 DOI URL

Cupjin Huang, Fang Zhang, Michael Newman, Xiaotong Ni, Dawei Ding, Junjie Cai, Xun Gao, Tenghui Wang, Feng Wu, Gengyan Zhang, Hsiang-Sheng Ku, Zhengxiong Tian, Junyin Wu, Haihong Xu, Huanjun Yu, Bo Yuan, Mario Szegedy, Yaoyun Shi, Huihai Zhao, Chunqing Deng, Jianxin Chen (2020). Classical simulation of quantum supremacy circuits.

PDF 数据集 海报 视频 源文档 ArXiv e-Print

Cupjin Huang, Xiaotong Ni, Fang Zhang, Michael Newman, Dawei Ding, Xun Gao, Tenghui Wang, Huihai Zhao, Feng Wu, Gengyan Zhang, Chunqing Deng, Hsiang-Sheng Ku, Jianxin Chen, Yaoyun Shi (2020). Alibaba cloud quantum development platform: Surface code simulations with crosstalk.

PDF 数据集 海报 视频 源文档 ArXiv e-Print

Anne Broadbent, Zhengfeng Ji, Fang Song, John Watrous (2020). Zero-Knowledge Proof Systems for QMA. SIAM Journal on Computing.

引用 DOI URL

Mingsheng Ying, Zhengfeng Ji (2020). Symbolic Verification of Quantum Circuits.

引用 arXiv URL

Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying (2020). Strassen's theorem for quantum couplings. Theoretical Computer Science.

引用 DOI URL

Riling Li, Bujiao Wu, Mingsheng Ying, Xiaoming Sun, Guangwen Yang (2020). Quantum Supremacy Circuit Simulation on Sunway TaihuLight. IEEE Transactions on Parallel and Distributed Systems.

引用 DOI

Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen (2020). Quantum soundness of the classical low individual degree test.

引用 arXiv URL

Xiangzhen Zhou, Sanjiang Li, Yuan Feng (2020). Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

引用 DOI

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie (2020). Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer.

引用 arXiv URL

Tianyi Kou, Mingpeng Chen, Feng Wu, Tyler J. Smart, Shanwen Wang, Yishang Wu, Ying Zhang, Shengtong Li, Supriya Lall, Zhonghua Zhang, Yi-Sheng Liu, Jinghua Guo, Gongming Wang, Yuan Ping, Yat Li (2020). Carbon doping switching on the hydrogen adsorption activity of NiO for hydrogen evolution reaction. Nature Communications.

引用 DOI URL

Xiangzhen Zhou, Yuan Feng, Sanjiang Li (2020). A monte carlo tree search framework for quantum circuit transformation. Proceedings of the 39th International Conference on Computer-Aided Design.

引用 DOI URL

Zhengfeng Ji, Zhihan Jin, Pinyan Lu (2019). Approximating Permanent of Random Matrices with Vanishing Mean: Made Better and Simpler. Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA).

引用 DOI URL

Cupjin Huang, Mario Szegedy, Fang Zhang, Xun Gao, Jianxin Chen, Yaoyun Shi (2019). Alibaba cloud quantum development platform: Applications to quantum algorithm design.

PDF 数据集 海报 视频 源文档 ArXiv e-Print

Feng Wu, Tyler J. Smart, Junqing Xu, Yuan Ping (2019). Carrier recombination mechanism at defects in wide band gap two-dimensional materials from first principles. Physical Review B.

引用 DOI URL

Fang Zhang, Cupjin Huang, Michael Newman, Junjie Cai, Huanjun Yu, Zhengxiong Tian, Bo Yuan, Haihong Xu, Junyin Wu, Xun Gao, Jianxin Chen, Mario Szegedy, Yaoyun Shi (2019). Alibaba cloud quantum development platform: Large-scale classical simulation of quantum circuits.

PDF 数据集 海报 视频 源文档 ArXiv e-Print

Jianxin Chen, Zhengfeng Ji, David W Kribs, Bei Zeng, Fang Zhang (2019). Minimum entangling power is close to its maximum. Journal of Physics A: Mathematical and Theoretical.

引用 DOI URL

Fang Zhang, Jianxin Chen (2019). Optimizing T gates in Clifford+T circuit as π/4 rotations around Paulis.

PDF 数据集 海报 视频 源文档 ArXiv e-Print

Mingsheng Ying (2019). Toward automatic verification of quantum programs. Formal Aspects of Computing.

引用 DOI URL

Bingzhang Lu, Lin Guo, Feng Wu, Yi Peng, Jia En Lu, Tyler J. Smart, Nan Wang, Y. Zou Finfrock, David Morris, Peng Zhang, Ning Li, Peng Gao, Yuan Ping, Shaowei Chen (2019). Ruthenium atomically dispersed in carbon outperforms platinum toward hydrogen evolution in alkaline media. Nature Communications.

引用 DOI URL

Guang-Can Guo, Mingsheng Ying (2019). Preface to special topic on quantum computing. National Science Review.

引用 DOI URL

Mingsheng Ying, Li Zhou, Yangjia Li (2019). Reasoning about Parallel Quantum Programs.

引用 arXiv URL

Joseph Fitzsimons, Zhengfeng Ji, Thomas Vidick, Henry Yuen (2019). Quantum proof systems for iterated exponential time, and beyond. Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing.

引用 DOI URL

Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu (2019). Quantitative robustness analysis of quantum programs. Proc. ACM Program. Lang..

引用 DOI URL

Jarrod R. McClean, Kevin J. Sung, Ian D. Kivlichan, Yudong Cao, Chengyu Dai, E. Schuyler Fried, Craig Gidney, Brendan Gimby, Pranav Gokhale, Thomas Häner, Tarini Hardikar, Vojtěch Havlíček, Oscar Higgott, Cupjin Huang, Josh Izaac, Zhang Jiang, Xinle Liu, Sam McArdle, Matthew Neeley, Thomas O'Brien, Bryan O'Gorman, Isil Ozfidan, Maxwell D. Radin, Jhonathan Romero, Nicholas Rubin, Nicolas P. D. Sawaya, Kanav Setia, Sukin Sim, Damian S. Steiger, Mark Steudtner, Qiming Sun, Wei Sun, Daochen Wang, Fang Zhang, Ryan Babbush (2019). OpenFermion: The Electronic Structure Package for Quantum Computers.

引用 arXiv URL

Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying (2019). Model Checking Applied to Quantum Physics.

引用 arXiv URL

Jianxin Chen, Muxin Han, Youning Li, Bei Zeng, Jie Zhou (2019). Local Density Matrices of Many-Body States in the Constant Weight Subspaces. Reports on Mathematical Physics.

引用 DOI URL

Zhengfeng Ji, Youming Qiao, Fang Song, Aaram Yun (2019). General Linear Group Action on Tensors: A Candidate for Post-quantum Cryptography. Theory of Cryptography.

引用

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan (2019). Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. Computer Aided Verification.

引用

Junyi Liu, Li Zhou, Mingsheng Ying (2019). Expected Runtime of Quantum Programs. CoRR.

引用 URL

Feng Wu, Dario Rocca, Yuan Ping (2019). Dimensionality and anisotropicity dependence of radiative recombination in nanostructured phosphorene. Journal of Materials Chemistry C.

引用 DOI URL

Jiayu Zhang (2019). Delegating Quantum Computation in the Quantum Random Oracle Model. Theory of Cryptography.

引用 DOI URL

Li Zhou, Nengkun Yu, Mingsheng Ying (2019). An applied quantum Hoare logic. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation.

引用 DOI URL

Tyler J. Smart, Feng Wu, Marco Govoni, Yuan Ping (2018). Fundamental principles for calculating charged defect ionization energies in ultrathin two-dimensional materials. Physical Review Materials.

引用 DOI URL

Yi Peng, Bingzhang Lu, Feng Wu, Fengqi Zhang, Jia En Lu, Xiongwu Kang, Yuan Ping, Shaowei Chen (2018). Point of Anchor: Impacts on Interfacial Charge Transfer of Metal Oxide Nanoparticles. Journal of the American Chemical Society.

引用 DOI URL

Tyler J. Smart, Allison C. Cardiel, Feng Wu, Kyoung-Shin Choi, Yuan Ping (2018). Mechanistic insights of enhanced spin polaron conduction in CuO through atomic doping. npj Computational Materials.

引用 DOI URL

Mingsheng Ying, Yuan Feng (2018). Model-checking quantum systems. National Science Review.

引用 DOI URL

Zhengfeng Ji (2018). The complexity-theoretic Bell inequality. National Science Review.

引用 DOI URL

Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang (2018). Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-18.

引用 DOI URL

Rui-Zhen Huang, Hai-Jun Liao, Zhi-Yuan Liu, Hai-Dong Xie, Zhi-Yuan Xie, Huihai Zhao, Jing Chen, Tao Xiang (2018). Generalized Lanczos method for systematic optimization of tensor network states. Chinese Physics B.

引用 DOI URL

Markus Grassl, Linghang Kong, Zhaohui Wei, Zhang-Qi Yin, Bei Zeng (2018). Quantum Error-Correcting Codes for Qudit Amplitude Damping. IEEE Transactions on Information Theory.

引用 DOI URL

Jianxin Chen, Fang Zhang, Cupjin Huang, Michael Newman, Yaoyun Shi (2018). Classical simulation of intermediate-size quantum circuits.

PDF 数据集 海报 视频 源文档 ArXiv e-Print

Xinyao Wu, Jianxin Chen (2018). Multiparty quantum data hiding with enhanced security and remote deletion.

PDF 数据集 海报 视频 源文档 ArXiv e-Print

Satoshi Morita, Ryo Igarashi, Huihai Zhao, Naoki Kawashima (2018). Tensor renormalization group with randomized singular value decomposition. Physical Review E.

引用 DOI URL

H. D. Xie, R. Z. Huang, X. J. Han, X. Yan, Huihai Zhao, Z. Y. Xie, H. J. Liao, T. Xiang (2018). Reorthonormalization of Chebyshev matrix product states for dynamical correlation functions. Physical Review B.

引用 DOI URL

Ji Guan, Yuan Feng, Mingsheng Ying (2018). The Structure of Decoherence-free Subsystems.

引用 arXiv URL

Ji Guan, Yuan Feng, Mingsheng Ying (2018). Super-activating Quantum Memory with Entanglement.

引用 arXiv URL

Sirui Lu, Shilin Huang, Keren Li, Jun Li, Jianxin Chen, Dawei Lu, Zhengfeng Ji, Yi Shen, Duanlu Zhou, Bei Zeng (2018). Separability-entanglement classifier via machine learning. Physical Review A.

引用

Shenggang Ying, Mingsheng Ying (2018). Reachability analysis of quantum Markov decision processes. Information and Computation.

引用 DOI URL

ShiLin Huang, Jianxin Chen, YouNing Li, Bei Zeng (2018). Quantum state tomography for generic pure states. Science China Physics, Mechanics & Astronomy.

引用

Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying (2018). Quantum Coupling and Strassen Theorem.

引用 arXiv URL

Jianxin Chen, Andrew M. Childs, Shih-Han Hung (2018). Quantum algorithm for multivariate polynomial interpolation. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

引用 DOI URL

Zhengfeng Ji, Yi-Kai Liu, Fang Song (2018). Pseudorandom Quantum States. Advances in Cryptology – CRYPTO 2018.

引用

Mingsheng Ying, Yuan Feng (2018). Model Checking Quantum Systems --- A Survey.

引用 arXiv URL

Ji Guan, Yuan Feng, Mingsheng Ying (2018). Decomposition of quantum Markov chains and its applications. Journal of Computer and System Sciences.

引用 DOI URL

Feng Wu, Yuan Ping (2018). Combining Landau–Zener theory and kinetic Monte Carlo sampling for small polaron mobility of doped BiVO4 from first-principles. Journal of Materials Chemistry A.

引用 DOI URL

Zhaowei Xu, Mingsheng Ying, Shenggang Ying (2018). A Logic for Recursive Quantum Programs.

引用 arXiv URL

Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying (2018). $$Q|SIbackslashrangle $$ : A Quantum Programming Environment. Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday.

引用 DOI URL

Connor Paddock, Jianxin Chen (2017). A Characterization of Antidegradable Qubit Channels.

PDF 数据集 海报 视频 源文档 ArXiv e-Print

Feng Wu, Andrew Galatas, Ravishankar Sundararaman, Dario Rocca, Yuan Ping (2017). First-principles engineering of charged defects for two-dimensional quantum technologies. Physical Review Materials.

引用 DOI URL

Yangjia Li, Mingsheng Ying (2017). Algorithmic analysis of termination problems for quantum programs. Proc. ACM Program. Lang..

引用 DOI URL

Huihai Zhao, Kota Ido, Satoshi Morita, Masatoshi Imada (2017). Variational Monte Carlo method for fermionic models combined with tensor networks and applications to the hole-doped two-dimensional Hubbard model. Physical Review B.

引用 DOI URL

Yuan Feng, \Ernst Moritz\ Hahn, Andrea Turrini, Shenggang Ying (2017). Model Checking Omega-regular Properties for Quantum Markov Chains. 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany.

引用 DOI

Matthew Amy, Jianxin Chen, Neil Julien Ross (2017). A finite presentation of CNOT-dihedral operators. In QPL.

引用

Tao Xin, Dawei Lu, Joel Klassen, Nengkun Yu, Zhengfeng Ji, Jianxin Chen, Xian Ma, Guilu Long, Bei Zeng, Raymond Laflamme (2017). Quantum State Tomography via Reduced Density Matrices. Phys. Rev. Lett..

引用 DOI URL

Shenggang Ying, Mingsheng Ying, Yuan Feng (2017). Quantum Privacy-Preserving Perceptron.

引用 arXiv URL

Shenggang Ying, Mingsheng Ying, Yuan Feng (2017). Quantum Privacy-Preserving Data Analytics.

引用 arXiv URL

Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum (2017). ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains. 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

引用 DOI

Yuxin Deng, Yuan Feng (2017). Probabilistic bisimilarity as testing equivalence. Information and Computation.

引用 DOI URL

Yuan Feng, Lijun Zhang (2017). Precisely deciding CSL formulas through approximate model checking for CTMCs. Journal of Computer and System Sciences.

引用 DOI URL

Jianxin Chen, Cheng Guo, Zhengfeng Ji, Yiu-Tung Poon, Nengkun Yu, Bei Zeng, Jie Zhou (2017). Joint product numerical range and geometry of reduced density matrices. Science China Physics, Mechanics & Astronomy.

引用

Mingsheng Ying, Shenggang Ying, Xiaodi Wu (2017). Invariants of quantum programs: characterisations and generation. SIGPLAN Not..

引用 DOI URL

Mingsheng Ying, Shenggang Ying, Xiaodi Wu (2017). Invariants of quantum programs: characterisations and generation. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages.

引用 DOI URL

Feng Wu, Huihui Wang, Yu-Chen Shen, Hong Jiang (2017). Electronic properties of ionic surfaces: A systematic theoretical investigation of alkali halides. The Journal of Chemical Physics.

引用 DOI URL

Zhengfeng Ji (2017). Compression of quantum multi-prover interactive proofs. Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing.

引用 DOI URL

Yuxin Deng, Yuan Feng (2017). Bisimulations for probabilistic linear lambda calculi. 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE).

引用 DOI

Ji-Yao Chen, Zhengfeng Ji, Zheng-Xin Liu, Xiaofei Qi, Nengkun Yu, Bei Zeng, Duanlu Zhou (2016). Physical origins of ruled surfaces on the reduced density matrices geometry. Science China Physics, Mechanics & Astronomy.

引用 DOI URL

Jianxin Chen, Shane Grogan, Nathaniel Johnston, Chi-Kwong Li, Sarah Plosker (2016). Quantifying the coherence of pure quantum states. Phys. Rev. A.

引用 DOI URL

Ji-Yao Chen, Zhengfeng Ji, Nengkun Yu, Bei Zeng (2016). Entanglement depth for symmetric states. Phys. Rev. A.

引用 DOI URL

HengYan Wang, WenQiang Zheng, NengKun Yu, KeRen Li, DaWei Lu, Tao Xin, Carson Li, Zhengfeng Ji, David Kribs, Bei Zeng, XinHua Peng, JiangFeng Du (2016). Quantum state and process tomography via adaptive measurements. Science China Physics, Mechanics & Astronomy.

引用 DOI URL

Dawei Lu, Tao Xin, Nengkun Yu, Zhengfeng Ji, Jianxin Chen, Guilu Long, Jonathan Baugh, Xinhua Peng, Bei Zeng, Raymond Laflamme (2016). Tomography is Necessary for Universal Entanglement Detection with Single-Copy Observables. Phys. Rev. Lett..

引用 DOI URL

Xiao Yuan, Ke Liu, Yuan Xu, Weiting Wang, Yuwei Ma, Fang Zhang, Zhaopeng Yan, R. Vijay, Luyan Sun, Xiongfeng Ma (2016). Experimental Quantum Randomness Processing Using Superconducting Qubits. Physical Review Letters.

引用 DOI URL

Huihai Zhao, Zhiyuan Xie, Tao Xiang, Masatoshi Imada (2016). Tensor network algorithm by coarse-graining tensor renormalization on finite periodic lattices. Physical Review B.

引用 DOI URL

Xian Ma, Tyler Jackson, Hui Zhou, Jianxin Chen, Dawei Lu, Michael D. Mazurek, Kent A. G. Fisher, Xinhua Peng, David Kribs, Kevin J. Resch, Zhengfeng Ji, Bei Zeng, Raymond Laflamme (2016). Pure-state tomography with the expectation value of Pauli operators. Phys. Rev. A.

引用 DOI URL

Jianxin Chen, Zhengfeng Ji, Nengkun Yu, Bei Zeng (2016). Detecting consistency of overlapping quantum marginals by separability. Phys. Rev. A.

引用 DOI URL

Anne Broadbent, Zhengfeng Ji, Fang Song, John Watrous (2016). Zero-Knowledge Proof Systems for QMA. 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS).

引用 DOI

Yong Li, Lei Song, Yuan Feng, Lijun Zhang (2016). Verify LTL with Fairness Assumptions Efficiently. 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).

引用 DOI

Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu (2016). Sample-optimal tomography of quantum states. Proceedings of the Forty-Eighth Annual ACM Symposium on Theory of Computing.

引用 DOI URL

Shenggang Ying, Mingsheng Ying, Yuan Feng (2016). Quantum Privacy-Preserving Data Mining.

引用 arXiv URL

Shawn X Cui, Zhengfeng Ji, Nengkun Yu, Bei Zeng (2016). Quantum capacities for entanglement networks. 2016 IEEE International Symposium on Information Theory (ISIT).

引用 DOI

Zhengfeng Ji (2016). Classical verification of quantum proofs. Proceedings of the Forty-Eighth Annual ACM Symposium on Theory of Computing.

引用 DOI URL

Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum (2016). Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters. IEEE Transactions on Software Engineering.

引用 DOI

Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan (2016). An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. Fundamental Approaches to Software Engineering.

引用

Jianxin Chen, Zhengfeng Ji, Chi-Kwong Li, Yiu-Tung Poon, Yi Shen, Nengkun Yu, Bei Zeng, Duanlu Zhou (2015). Discontinuity of maximum entropy inference and quantum phase transitions. New Journal of Physics.

引用 DOI URL

Yuan Feng, Lijun Zhang (2015). A nearly optimal upper bound for the self-stabilization time in Herman's algorithm. Distributed Computing.

引用 DOI URL

Nengkun Yu, Mingsheng Ying (2015). Optimal simulation of Deutsch gates and the Fredkin gate. Phys. Rev. A.

引用 DOI URL

Lin Chen, Jianxin Chen, Dragomir Ž Đoković, Bei Zeng (2015). Universal subspaces for local unitary groups of fermionic systems. Communications in Mathematical Physics.

引用

Yuan Feng, Mingsheng Ying (2015). Toward automatic verification of quantum cryptographic protocols.

引用 arXiv URL

Linghang Kong, Elizabeth Crosson (2015). The performance of the quantum adiabatic algorithm on spike Hamiltonians.

引用 arXiv URL

Jianxin Chen, Nathaniel Johnston (2015). The minimum size of unextendible product bases in the bipartite case (and some multipartite cases). Communications in Mathematical Physics.

引用

Lvzhou Li, Yuan Feng (2015). Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties. Information and Computation.

引用 DOI URL

Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang (2015). QPMC: A Model Checker for Quantum Programs and Protocols. FM 2015: Formal Methods.

引用

Lvzhou Li, Yuan Feng (2015). On hybrid models of quantum finite automata. Journal of Computer and System Sciences.

引用 DOI URL

Yuan Feng, Lei Song, Lijun Zhang (2015). Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata.

引用 arXiv URL

M. P. Qin, Q. N. Chen, Z. Y. Xie, J. Chen, J. F. Yu, Huihai Zhao, B. Normand, T. Xiang (2014). Partial long-range order in antiferromagnetic Potts models. Physical Review B.

引用 DOI URL

Jianxin Chen, Zhengfeng Ji, David Kribs, Norbert Lütkenhaus, Bei Zeng (2014). Symmetric extension of two-qubit states. Phys. Rev. A.

引用 DOI URL

Jianxin Chen, Lin Chen, Bei Zeng (2014). Unextendible product basis for fermionic systems. Journal of Mathematical Physics.

引用 DOI URL

Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng (2014). Model-Checking Linear-Time Properties of Quantum Systems. ACM Trans. Comput. Logic.

引用 DOI URL

Yuan Feng, Yuxin Deng, Mingsheng Ying (2014). Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Logic.

引用 DOI URL

Yangjia Li, Mingsheng Ying (2014). Debugging quantum processes using monitoring measurements. Phys. Rev. A.

引用 DOI URL

Yangjia Li, Nengkun Yu, Mingsheng Ying (2014). Termination of nondeterministic quantum programs. Acta Informatica.

引用 DOI URL

Yuan Feng, Lijun Zhang (2014). When Equivalence and Bisimulation Join Forces in Probabilistic Automata. FM 2014: Formal Methods.

引用

Mingsheng Ying (2014). Quantum Recursion and Second Quantisation.

引用 arXiv URL

Taolue Chen, Yuan Feng, David S. Rosenblum, Guoxin Su (2014). Perturbation Analysis in Verification of Discrete-Time Markov Chains. CONCUR 2014 – Concurrency Theory.

引用

Nengkun Yu, Runyao Duan, Mingsheng Ying (2014). Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose. IEEE Transactions on Information Theory.

引用 DOI

Mingsheng Ying, Nengkun Yu, Yuan Feng (2014). Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs.

引用 arXiv URL

Yangjia Li, Mingsheng Ying (2014). (Un)decidable Problems about Reachability of Quantum Systems. CONCUR 2014 – Concurrency Theory.

引用

Joel Klassen, Jianxin Chen, Bei Zeng (2013). Universal Entangler for Bosonic and Fermionic Systems. In TQC.

引用

Jianxin Chen, Hillary Dawkins, Zhengfeng Ji, Nathaniel Johnston, David Kribs, Frederic Shultz, Bei Zeng (2013). Uniqueness of quantum states compatible with given measurement results. Phys. Rev. A.

引用 DOI URL

Salman Beigi, Jianxin Chen, Markus Grassl, Zhengfeng Ji, Steven Wang, Bei Zeng (2013). Symmetry of Codeword Stabilized Quantum Codes. In TQC.

引用

Mingpu Qin, Jing Chen, Qiaoni Chen, Zhiyuan Xie, Xin Kong, Huihai Zhao, Bruce Normand, Tao Xiang (2013). Partial Order in Potts Models on the Generalized Decorated Square Lattice. Chinese Physics Letters.

引用 DOI URL

Nengkun Yu, Runyao Duan, Mingsheng Ying (2013). Five two-qubit gates are necessary for implementing the Toffoli gate. Phys. Rev. A.

引用 DOI URL

Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan (2013). Verification of quantum programs. Science of Computer Programming.

引用 DOI URL

Shenggang Ying, Mingsheng Ying (2013). Removing measurements from quantum walks. Phys. Rev. A.

引用 DOI URL

Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying (2013). Reachability Probabilities of Quantum Markov Chains. CONCUR 2013 – Concurrency Theory.

引用

Yuan Feng, Nengkun Yu, Mingsheng Ying (2013). Reachability Analysis of Recursive Quantum Markov Chains. Mathematical Foundations of Computer Science 2013.

引用

Mingsheng Ying, Yuan Feng, Nengkun Yu (2013). Quantum Information-Flow Security: Noninterference and Access Control. 2013 IEEE 26th Computer Security Foundations Symposium.

引用 DOI

Nengkun Yu, Mingsheng Ying (2013). Optimal simulation of three-qubit gates.

引用 arXiv URL

Yuan Feng, Nengkun Yu, Mingsheng Ying (2013). Model checking quantum Markov chains. Journal of Computer and System Sciences.

引用 DOI URL

Zhengfeng Ji (2013). Binary Constraint System Games and Locally Commutative Reductions.

引用 arXiv URL

Yuan Feng, Lijun Zhang (2013). A tighter bound for the self-stabilization time in Hermanʼs algorithm. Information Processing Letters.

引用 DOI URL

Jianxin Chen, Zhengfeng Ji, David Kribs, Zhaohui Wei, Bei Zeng (2012). Ground-state spaces of frustration-free Hamiltonians. Journal of Mathematical Physics.

引用 DOI URL

Jianxin Chen, Andreas Winter (2012). Non-Additivity of the Entanglement of Purification (Beyond Reasonable Doubt). In AQIS.

引用

Jianxin Chen, Zhengfeng Ji, Bei Zeng, D. L. Zhou (2012). From ground states to local Hamiltonians. Phys. Rev. A.

引用 DOI URL

Nengkun Yu, Runyao Duan, Mingsheng Ying (2012). Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States. Phys. Rev. Lett..

引用 DOI URL

Jianxin Chen, Zhengfeng Ji, Mary Beth Ruskai, Bei Zeng, Duan-Lu Zhou (2012). Comment on some results of Erdahl and the convex structure of reduced density matrices. Journal of Mathematical Physics.

引用 DOI URL

Jianxin Chen, Andreas Winter (2012). Non-Additivity of the Entanglement of Purification (Beyond Reasonable Doubt).

PDF 数据集 海报 视频 源文档 ArXiv e-Print

Mingsheng Ying, Yuan Feng, RunYao Duan, YangJia Li, NengKun Yu (2012). Quantum programming: From theories to implementations. Chinese Science Bulletin.

引用 DOI URL

Huihai Zhao, Cenke Xu, Q. N. Chen, Z. C. Wei, M. P. Qin, G. M. Zhang, T. Xiang (2012). Plaquette order and deconfined quantum critical point in the spin-1 bilinear-biquadratic Heisenberg model on the honeycomb lattice. Physical Review B.

引用 DOI URL

Jianxin Chen, Zhengfeng Ji, Zhaohui Wei, Bei Zeng (2012). Correlations in excited states of local Hamiltonians. Phys. Rev. A.

引用 DOI URL

Jianxin Chen, Zhengfeng Ji, Alexander Klyachko, David W. Kribs, Bei Zeng (2012). Rank reduction for the local consistency problem. Journal of Mathematical Physics.

引用 DOI URL

Cheng Lu, Jianxin Chen, Runyao Duan (2012). Some Bounds on the Minimum Number of Queries Required for Quantum Channel Perfect Discrimination. Quantum Info. Comput..

引用

Guoxin Su, Mingsheng Ying, Chengqi Zhang (2012). Session Communication and Integration.

引用 arXiv URL

Guoxin Su, Mingsheng Ying, Chengqi Zhang (2012). Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles. 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture.

引用 DOI

Nengkun Yu, Mingsheng Ying (2012). Reachability and Termination Analysis of Concurrent Quantum Programs. CONCUR 2012 – Concurrency Theory.

引用

Yuxin Deng, Yuan Feng (2012). Open Bisimulation for Quantum Processes. Theoretical Computer Science.

引用

Nengkun Yu, Mingsheng Ying (2012). Non-Additivity of Minimum Output p-$mathbfRacuteenyi$ Entropy.

引用 arXiv URL

Mingsheng Ying (2012). Floyd--hoare logic for quantum programs. ACM Trans. Program. Lang. Syst..

引用 DOI URL

Mingsheng Ying, Nengkun Yu, Yuan Feng (2012). Defining Quantum Control Flow.

引用 arXiv URL

Chunlai Zhou, Mingsheng Ying (2012). Approximating Markov processes through filtration. Theoretical Computer Science.

引用 DOI URL

Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, John Watrous (2011). QIP = PSPACE. J. ACM.

引用 DOI URL

Jianxin Chen, Toby S. Cubitt, Aram W. Harrow, Graeme Smith (2011). Entanglement can Completely Defeat Quantum Noise. Phys. Rev. Lett..

引用 DOI URL

Jianwei Cai, Qiaoni Chen, Huihai Zhao, Zhiyuan Xie, Mingpu Qin, Zhongchao Wei, Tao Xiang (2011). Translation invariant tensor product states in a finite lattice system. Chinese Physics B.

引用 DOI URL

Q. N. Chen, M. P. Qin, J. Chen, Z. C. Wei, Huihai Zhao, B. Normand, T. Xiang (2011). Partial Order and Finite-Temperature Phase Transitions in Potts Models on Irregular Lattices. Physical Review Letters.

引用 DOI URL

Zhengfeng Ji, Zhaohui Wei, Bei Zeng (2011). Complete characterization of the ground-space structure of two-body frustration-free Hamiltonians for qubits. Phys. Rev. A.

引用 DOI URL

Nengkun Yu, Runyao Duan, Mingsheng Ying (2011). Any 2⊗n subspace is locally distinguishable. Physical Review A.

引用 DOI URL

Nengkun Yu, Runyao Duan, Mingsheng Ying (2011). Any $2ensuremathbigotimesn$ subspace is locally distinguishable. Phys. Rev. A.

引用 DOI URL

Jianxin Chen, Xie Chen, Runyao Duan, Zhengfeng Ji, Bei Zeng (2011). No-go theorem for one-way quantum computing on naturally occurring two-level systems. Phys. Rev. A.

引用 DOI URL

Samuel A. Ocko, Xie Chen, Bei Zeng, Beni Yoshida, Zhengfeng Ji, Mary Beth Ruskai, Isaac L. Chuang (2011). Quantum Codes Give Counterexamples to the Unique Preimage Conjecture of the $N$-Representability Problem. Phys. Rev. Lett..

引用 DOI URL

Jianxin Chen, Xie Chen, Runyao Duan, Zhengfeng Ji, Zhaohui Wei, Bei Zeng (2011). On the Solution Space of Quantum 2-SAT Problems. In QIP.

引用

Yuan Feng, Runyao Duan, Mingsheng Ying (2011). Bisimulation for quantum processes. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.

引用 DOI URL

Mingsheng Ying (2011). Another Quantum Lovász Local Lemma.

引用 arXiv URL

Mingsheng Ying, Yuan Feng (2011). A Flowchart Language for Quantum Programming. IEEE Transactions on Software Engineering.

引用 DOI

Markus Grassl, Zhengfeng Ji, Zhaohui Wei, Bei Zeng (2010). Quantum-capacity-approaching codes for the detected-jump channel. Phys. Rev. A.

引用 DOI URL

Lin Chen, Eric Chitambar, Runyao Duan, Zhengfeng Ji, Andreas Winter (2010). Tensor Rank and Stochastic Entanglement Catalysis for Multipartite Pure States. Phys. Rev. Lett..

引用 DOI URL

Jianxin Chen, Zhengfeng Ji, Mary Beth Ruskai, Bei Zeng, Duanlu Zhou (2010). Principle of Maximum Entropy and Ground Spaces of Local Hamiltonians.

PDF 数据集 海报 视频 源文档 ArXiv e-Print

Yangjia Li, Runyao Duan, Mingsheng Ying (2010). Local unambiguous discrimination with remaining entanglement. Phys. Rev. A.

引用 DOI URL

Jianxin Chen, Toby Cubitt, Aram Harrow, Graeme Smith (2010). Super-duper-activation of the Zero-error Quantum Capacity. In AQIS.

引用

Xie Chen, Runyao Duan, Zhengfeng Ji, Bei Zeng (2010). Quantum State Reduction for Universal Measurement Based Computation. Phys. Rev. Lett..

引用 DOI URL

Wang Meng-Xiong, Cai Jian-Wei, Xie Zhi-Yuan, Chen Qiao-Ni, Huihai Zhao, Wei Zhong-Chao (2010). Investigation of the Potts Model on Triangular Lattices by the Second Renormalization of Tensor Network States. Chinese Physics Letters.

引用 DOI URL

Heng Zhang, Mingsheng Ying (2010). Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. Proceedings of the AAAI Conference on Artificial Intelligence.

引用 DOI URL

Jianxin Chen, Toby Cubitt, Aram Harrow, Graeme Smith (2010). Super-duper-activation of the Zero-error Quantum Capacity. In ISIT.

引用

Mingsheng Ying, Yuan Feng (2010). Quantum loop programs. Acta Informatica.

引用 DOI URL

Huihai Zhao, Z. Y. Xie, Q. N. Chen, Z. C. Wei, J. W. Cai, T. Xiang (2010). Renormalization of tensor-network states. Physical Review B.

引用 DOI URL

Nengkun Yu, Runyao Duan, Mingsheng Ying (2010). Optimal simulation of a perfect entangler. Phys. Rev. A.

引用 DOI URL

Runyao Duan, Yu Xin, Mingsheng Ying (2010). Locally indistinguishable subspaces spanned by three-qubit unextendible product bases. Phys. Rev. A.

引用 DOI URL

Zhengfeng Ji, Jianxin Chen, Zhaohui Wei, Mingsheng Ying (2010). The LU-LC Conjecture is False. QIC.

引用

Jianxin Chen, Toby Cubitt, Aram Harrow, Graeme Smith (2010). Super-duper-activation of the Zero-error Quantum Capacity. In QIP.

引用

Weiming Liu, Xiaotong Zhang, Sanjiang Li, Mingsheng Ying (2010). Reasoning about cardinal directions between extended objects. Artificial Intelligence.

引用 DOI URL

Mingsheng Ying (2010). Quantum computation, quantum theory and AI. Artificial Intelligence.

引用 DOI URL

Runyao Duan, Markus Grassl, Zhengfeng Ji, Bei Zeng (2010). Multi-error-correcting amplitude damping codes. 2010 IEEE International Symposium on Information Theory.

引用 DOI

Jianxin Chen, Mingsheng Ying (2010). Ancilla-assisted discrimination of quantum gates. Quantum Info. Comput..

引用

Guoxin Su, Mingsheng Ying, Chengqi Zhang (2010). An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection. Software Architecture.

引用

Runyao Duan, Yuan Feng, Mingsheng Ying (2009). Perfect Distinguishability of Quantum Operations. Phys. Rev. Lett..

引用 DOI URL

Mingsheng Ying, Yuan Feng, Runyao Duan, Zhengfeng Ji (2009). An algebra of quantum processes. ACM Trans. Comput. Logic.

引用 DOI URL

Zhengfeng Ji, Xiaodi Wu (2009). Non-Identity Check Remains QMA-Complete for Short Circuits.

引用 arXiv URL

Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying (2009). Distinguishability of Quantum States by Separable Operations. IEEE Transactions on Information Theory.

引用 DOI

Yuan Feng, Yaoyun Shi (2009). Characterizing Locally Indistinguishable Orthogonal Product States. IEEE Transactions on Information Theory.

引用 DOI

Mingsheng Ying, Yuan Feng (2009). An Algebraic Language for Distributed Quantum Computing. IEEE Transactions on Computers.

引用 DOI

Guoming Wang, Mingsheng Ying (2008). Perfect many-to-one teleportation with stabilizer states. Phys. Rev. A.

引用 DOI URL

Guoming Wang, Mingsheng Ying (2008). Deterministic distributed dense coding with stabilizer states. Phys. Rev. A.

引用 DOI URL

Sanjiang Li, Mingsheng Ying (2008). Soft constraint abstraction based on semiring homomorphism. Theoretical Computer Science.

引用 DOI URL

Zhengfeng Ji, Guoming Wang, Runyao Duan, Yuan Feng, Mingsheng Ying (2008). Parameter Estimation of Quantum Channels. IEEE Transactions on Information Theory.

引用 DOI

Yuan Feng, Runyao Duan, Mingsheng Ying (2008). Locally undetermined states, generalized Schmidt decomposition, and an application in distributed computing.

引用 arXiv URL

Runyao Duan, Yuan Feng, Mingsheng Ying (2008). Local Distinguishability of Multipartite Unitary Operations. Phys. Rev. Lett..

引用 DOI URL

Jianxin Chen, Runyao Duan, Zhengfeng Ji, Mingsheng Ying, Jun Yu (2008). Existence of universal entangler. Journal of Mathematical Physics.

引用 DOI URL

Zhaohui Wei, Mingsheng Ying (2007). Quantum adiabatic computation and adiabatic conditions. Phys. Rev. A.

引用 DOI URL

Runyao Duan, Yuan Feng, Zhengfeng Ji, Mingsheng Ying (2007). Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations and Classical Communication. Phys. Rev. Lett..

引用 DOI URL

Chi Zhang, Guoming Wang, Mingsheng Ying (2007). Discrimination between pure states and mixed states. Phys. Rev. A.

引用 DOI URL

Guoming Wang, Mingsheng Ying (2007). Multipartite unlockable bound entanglement in the stabilizer formalism. Phys. Rev. A.

引用 DOI URL

Yingming Liu, Mingsheng Ying, Guoqing Chen (2007). Editorial: On fundamentals of fuzzy logic and soft computing and some applications. Fuzzy Sets Syst..

引用 DOI URL

Mingsheng Ying (2007). Topology, randomness and noise in process calculus. Frontiers of Electrical and Electronic Engineering in China.

引用 DOI URL

Runyao Duan, Yuan Feng, Mingsheng Ying (2007). Entanglement is Not Necessary for Perfect Discrimination between Unitary Operations. Phys. Rev. Lett..

引用 DOI URL

Yongzhi Cao, Mingsheng Ying, Guoqing Chen (2007). State-Based Control of Fuzzy Discrete-Event Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

引用 DOI

Lirong Xia, Jérôme Lang, Mingsheng Ying (2007). Sequential voting rules and multiple elections paradoxes. Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge.

引用 DOI URL

Yongzhi Cao, Mingsheng Ying, Guoqing Chen (2007). Retraction and Generalized Extension of Computing With Words. IEEE Transactions on Fuzzy Systems.

引用 DOI

Yuan Feng, Runyao Duan, Zhengfeng Ji, Mingsheng Ying (2007). Proof rules for the correctness of quantum programs. Theoretical Computer Science.

引用 DOI URL

Yuan Feng, Runyao Duan, Zhengfeng Ji, Mingsheng Ying (2007). Probabilistic bisimulations for quantum processes. Information and Computation.

引用 DOI URL

Zhaohui Wei, Mingsheng Ying (2007). Linearity and Quantum Adiabatic Theorem.

引用 arXiv URL

Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan (2007). Commutativity of quantum weakest preconditions. Information Processing Letters.

引用 DOI URL

Mingsheng Ying (2007). - Quantum logic and automata theory. Handbook of Quantum Logic and Quantum Structures.

引用 DOI URL

Chi Zhang, Mingsheng Ying, Bo Qiao (2006). Universal programmable devices for unambiguous discrimination. Physical Review A.

引用 DOI URL

Chi Zhang, Mingsheng Ying, Bo Qiao (2006). Universal programmable devices for unambiguous discrimination. Phys. Rev. A.

引用 DOI URL

Yuan Feng, Runyao Duan, Mingsheng Ying (2006). Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure states. Phys. Rev. A.

引用 DOI URL

Zhaohui Wei, Zhengfeng Ji, Mingsheng Ying (2006). Majorization in quantum adiabatic algorithms. Phys. Rev. A.

引用 DOI URL

Run-Yao Duan, Zhengfeng Ji, Yuan Feng, Mingsheng Ying (2006). Some Issues in Quantum Information Theory. Journal of Computer Science and Technology.

引用 DOI URL

Yuan Feng, Runyao Duan, Zhengfeng Ji (2006). Optimal dense coding with arbitrary pure entangled states. Phys. Rev. A.

引用 DOI URL

Zhengfeng Ji, Yuan Feng, Runyao Duan, Mingsheng Ying (2006). Identification and Distance Measures of Measurement Apparatus. Phys. Rev. Lett..

引用 DOI URL

Guoming Wang, Mingsheng Ying (2006). Unambiguous discrimination among quantum operations. Phys. Rev. A.

引用 DOI URL

Zhengfeng Ji, Yuan Feng, Runyao Duan, Mingsheng Ying (2006). Boundary effect of deterministic dense coding. Phys. Rev. A.

引用 DOI URL

Chi Zhang, Yuan Feng, Mingsheng Ying (2006). Unambiguous discrimination of mixed quantum states. Physics Letters A.

引用 DOI URL

Yongzhi Cao, Mingsheng Ying (2006). Similarity-based supervisory control of discrete-event systems. IEEE Transactions on Automatic Control.

引用 DOI

Guoming Wang, Mingsheng Ying (2006). Realization of positive-operator-valued measures by projective measurements without introducing ancillary dimensions.

引用 arXiv URL

Zhaohui Wei, Mingsheng Ying (2006). Quantum adiabatic evolutions that can't be used to design efficient algorithms.

引用 arXiv URL

Yongzhi Cao, Lirong Xia, Mingsheng Ying (2006). Probabilistic Automata for Computing with Words.

引用 arXiv URL

Runyao Duan, Yuan Feng, Mingsheng Ying (2006). Partial recovery of quantum entanglement. IEEE Transactions on Information Theory.

引用 DOI

Yongzhi Cao, Mingsheng Ying (2006). Observability and decentralized control of fuzzy discrete-event systems. IEEE Transactions on Fuzzy Systems.

引用 DOI

Mingsheng Ying (2006). Linguistic quantifiers modeled by Sugeno integrals. Artificial Intelligence.

引用 DOI URL

Zhaohui Wei, Mingsheng Ying (2006). A relation between fidelity and quantum adiabatic evolution. Physics Letters A.

引用 DOI URL

Zhaohui Wei, Mingsheng Ying (2006). A modified quantum adiabatic evolution for the Deutsch–Jozsa problem. Physics Letters A.

引用 DOI URL

Mingsheng Ying (2005). $π$-calculus with noisy channels. Acta Informatica.

引用 DOI URL

Zhengfeng Ji, Yuan Feng, Mingsheng Ying (2005). Local cloning of two product states. Phys. Rev. A.

引用 DOI URL

Runyao Duan, Yuan Feng, Mingsheng Ying (2005). Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation. Phys. Rev. A.

引用 DOI URL

Yuan Feng, Runyao Duan, Zhengfeng Ji (2005). Condition and capability of quantum state separation. Phys. Rev. A.

引用 DOI URL

Runyao Duan, Yuan Feng, Xin Li, Mingsheng Ying (2005). Trade-off between multiple-copy transformation and entanglement catalysis. Phys. Rev. A.

引用 DOI URL

Runyao Duan, Yuan Feng, Xin Li, Mingsheng Ying (2005). Multiple-copy entanglement transformation and entanglement catalysis. Phys. Rev. A.

引用 DOI URL

Zhengfeng Ji, Hongen Cao, Mingsheng Ying (2005). Optimal conclusive discrimination of two states can be achieved locally. Phys. Rev. A.

引用 DOI URL

Runyao Duan, Yuan Feng, Zhengfeng Ji, Mingsheng Ying (2005). Efficiency of deterministic entanglement transformation. Phys. Rev. A.

引用 DOI URL

Xiaoming Sun, Runyao Duan, Mingsheng Ying (2005). The existence of quantum entanglement catalysts. IEEE Transactions on Information Theory.

引用 DOI

Yongzhi Cao, Mingsheng Ying (2005). Supervisory control of fuzzy discrete event systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

引用 DOI

Yongming Li, Sanjiang Li, Mingsheng Ying (2005). Relational reasoning in the region connection calculus.

引用 arXiv URL

Sanjiang Li, Mingsheng Ying, Yongming Li (2005). On countable RCC models. Fundamenta Informaticae.

引用 DOI URL

Mingsheng Ying (2005). Knowledge transformation and fusion in diagnostic systems. Artificial Intelligence.

引用 DOI URL

Yuan Feng, Runyao Duan, Mingsheng Ying (2005). Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory.

引用 DOI

Runyao Duan, Yuan Feng, Mingsheng Ying (2005). An Equivalence of Entanglement-Assisted Transformation and Multiple-Copy Entanglement Transformation.

引用 arXiv URL

Mingsheng Ying (2005). A theory of computation based on quantum logic (I). Theoretical Computer Science.

引用 DOI URL

Yuan Feng, Runyao Duan, Mingsheng Ying (2004). Unambiguous discrimination between mixed quantum states. Phys. Rev. A.

引用 DOI URL

Yuan Feng, Runyao Duan, Mingsheng Ying (2004). When catalysis is useful for probabilistic entanglement transformation. Phys. Rev. A.

引用 DOI URL

Yuan Feng, Mingsheng Ying (2004). Process algebra approach to reasoning about concurrent actions. Journal of Computer Science and Technology.

引用 DOI URL

Sanjiang Li, Mingsheng Ying (2004). Abstracting Soft Constraints: An Improvement.

引用 URL

Zhaohui Wei, Mingsheng Ying (2004). Quantum search algorithm by adiabatic evolution under a priori probability.

引用 arXiv URL

Runyao Duan, Zhengfeng Ji, Yuan Feng, Mingsheng Ying (2004). Quantum operation, quantum Fourier transform and semi-definite programming. Physics Letters A.

引用 DOI URL

Hongen Cao, Mingsheng Ying (2004). Local discrimination of maximally entangled states in canonical form. Physics Letters A.

引用 DOI URL

Sanjiang Li, Mingsheng Ying (2004). Generalized Region Connection Calculus. Artificial Intelligence.

引用 DOI URL

Zhengfeng Ji, Runyao Duan, Mingsheng Ying (2004). Comparability of multipartite entanglement. Physics Letters A.

引用 DOI URL

Daowen Qiu, Mingsheng Ying (2004). Characterizations of quantum automata. Theoretical Computer Science.

引用 DOI URL

Mingsheng Ying (2003). Reasoning about probabilistic sequential programs in a probabilistic logic. Acta Informatica.

引用 DOI URL

Sanjiang Li, Mingsheng Ying (2003). Region Connection Calculus: Its models and composition table. Artificial Intelligence.

引用 DOI URL

Sanjiang Li, Mingsheng Ying (2003). Extensionality of the RCC8 Composition Table. Fundamenta Informaticae.

引用 DOI URL

Yuan Feng, Shengyu Zhang, Runyao Duan, Mingsheng Ying (2002). Lower bound on inconclusive probability of unambiguous discrimination. Phys. Rev. A.

引用 DOI URL

Shengyu Zhang, Mingsheng Ying (2002). Set discrimination of quantum states. Phys. Rev. A.

引用 DOI URL

Yuan Feng, Shengyu Zhang, Mingsheng Ying (2002). Probabilistic cloning and deleting of quantum states. Phys. Rev. A.

引用 DOI URL

Xiaoming Sun, Shengyu Zhang, Yuan Feng, Mingsheng Ying (2002). Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination. Phys. Rev. A.

引用 DOI URL

Mingsheng Ying (2002). Wootters–Zurek quantum-copying machine: the higher-dimensional case. Physics Letters A.

引用 DOI URL

Mingsheng Ying (2002). Universal quantum-copying machines: a sufficient and necessary condition. Physics Letters A.

引用 DOI URL

Yuan Feng, Shengyu Zhang, Xiaoming Sun, Mingsheng Ying (2002). Universal and original-preserving quantum copying is impossible. Physics Letters A.

引用 DOI URL

Mingsheng Ying, Huaiqing Wang (2002). Lattice-theoretic models of conjectures, hypotheses and consequences. Artificial Intelligence.

引用 DOI URL

Mingsheng Ying (2002). Implication operators in fuzzy logic. IEEE Transactions on Fuzzy Systems.

引用 DOI

Mingsheng Ying (2002). Bisimulation indexes and their applications. Theoretical Computer Science.

引用 DOI URL

Mingsheng Ying (2002). Additive models of probabilistic processes. Theoretical Computer Science.

引用 DOI URL

Mingsheng Ying (2002). A formal model of computing with words. IEEE Transactions on Fuzzy Systems.

引用 DOI

Shengyu Zhang, Yuan Feng, Xiaoming Sun, Mingsheng Ying (2001). Upper bound for the success probability of unambiguous discrimination among quantum states. Phys. Rev. A.

引用 DOI URL

Mingsheng Ying (2001). Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs. Springer Science+Business Media.

引用 DOI URL

Mingsheng Ying, Martin Wirsing (2001). Recursive equations in higher-order process calculi. Theoretical Computer Science.

引用 DOI URL

Mingsheng Ying (2000). Automata Theory Based on Quantum Logic II. International Journal of Theoretical Physics.

引用 DOI URL

Mingsheng Ying (2000). Weak confluence and $τ$-inertness. Theoretical Computer Science.

引用

Mingsheng Ying (2000). Declarative semantics of programming in residuated lattice-valued logic. 中国科学: 技术科学英文版.

引用

Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying (2000). Approximate Reasoning Based on Similarity. Mathematical Logic Quarterly.

引用 DOI URL

Mingsheng Ying, Martin Wirsing (2000). Approximate Bisimilarity. Algebraic Methodology and Software Technology.

引用

Mingsheng Ying (1999). Topology in process calculus (I): Limit behaviour of agents. Journal of Computer Science and Technology.

引用 DOI URL

Mingsheng Ying (1999). Phase semantics for a pure noncommutative linear propositional logic. Journal of Computer Science and Technology.

引用 DOI URL

Mingsheng Ying, F-C Liu (1999). Three-valued and four-valued approach to logic programming with negation. Chinese Journal of Advanced Software Research.

引用

Mingsheng Ying (1999). Perturbation of fuzzy reasoning. IEEE Transactions on Fuzzy Systems.

引用 DOI

Mingsheng Ying (1999). A shorter proof to uniqueness of solutions of equations. Theoretical Computer Science.

引用

Ruqian Lu, Mingsheng Ying (1998). A model of reasoning about knowledge. Science in China Series E: Technological Sciences.

引用 DOI URL

Ruqian Lu, Mingsheng Ying (1998). A model of reasoning about knowledge. Science in China Series E: Technological Sciences.

引用 DOI URL

陆汝钤, Mingsheng Ying (1998). 知识推理的一个模型. 中国科学: E 辑.

引用

Mingsheng Ying (1998). 模糊逻辑的紧致性. 科学通报.

引用

Mingsheng Ying, Bernadette Bouchon-Meunier (1998). Approximate reasoning with linguistic modifiers. International Journal of Intelligent Systems.

引用 DOI URL

Mingsheng Ying (1997). Institution中自由理论态射的合成. 软件学报.

引用

Mingsheng Ying (1997). 关于 Herbrand 基上的语义映射. 计算机学报.

引用

Mingsheng Ying, Bernadette Bouchon-Meunier (1997). Quantifiers, modifiers and qualifiers in fuzzy logic. Journal of Applied Non-Classical Logics.

引用 DOI URL

Mingsheng Ying (1997). Gentzen 型模糊推理. 系统科学与数学.

引用

Mingsheng Ying (1997). Fuzzy reasoning of Gentzen type. Journal of Systems Science and Mathematical Sciences.

引用

Mingsheng Ying (1996). Institution中合并理论的初始与终结语义. 软件学报.

引用

Mingsheng Ying (1996). 允许修改推理规则的开放逻辑. 科学通报.

引用

Mingsheng Ying (1996). When is the ideal completion of abstract basis algebraic. Theoretical Computer Science.

引用 DOI URL

Mingsheng Ying (1996). An open logic system admitting modification of inference rules. 科学通报: 英文版.

引用

Mingsheng Ying (1995). Putting consistent theories together in institutions. Journal of Computer Science and Technology.

引用 DOI URL

Mingsheng Ying (1995). Institutions of variable truth values: An approach in the ordered style. Journal of Computer Science and Technology.

引用 DOI URL

Mingsheng Ying (1995). 基于非经典逻辑的拓扑及其应用 (英文). 江西师范大学学报: 自然科学版.

引用

Mingsheng Ying (1995). 关于不可分辨性与稳定性的几个结果. 数学研究与评论: 英文版.

引用

Mingsheng Ying (1994). On the method of neighborhood systems in fuzzy topology. Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1994). A logic for approximate reasoning. Journal of Symbolic Logic.

引用 DOI

Mingsheng Ying (1994). $τ$_ (T, L) 型概率内积空间. 江西师范大学学报: 自然科学版.

引用

Mingsheng Ying (1993). Compactness in fuzzifying topology. Fuzzy Sets Syst..

引用 DOI URL

Mingsheng Ying (1993). 概率度量空间中的不分明化拓扑结构. 数学年刊: A 辑.

引用

Mingsheng Ying (1993). Fuzzifying topology based on complete residuated lattice-valued logic (I). Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1993). A new approach for fuzzy topology (III). Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1992). 模糊逻辑的再扩充. 计算机学报.

引用

Mingsheng Ying (1992). 近似匹配下的模糊推理. 科学通报.

引用

Mingsheng Ying (1992). 格值模型的超积基本定理的另一形式. 科学通报.

引用

Mingsheng Ying (1992). THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC. Mathematical Logic Quarterly.

引用 DOI URL

Mingsheng Ying (1992). Fuzzy reasoning under approximate match. Science Bulletin.

引用

Mingsheng Ying (1992). COMPACTNESS, THE LÖWENHEIM-SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES. Mathematical Logic Quarterly.

引用 DOI URL

Mingsheng Ying (1992). Another Version of the Fundamental Theorem of Ultraproduct of Lattice-valued Models. 科学通报: 英文版.

引用

Mingsheng Ying (1992). A new approach for fuzzy topology (II). Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1992). A further extension of fuzzy logic. Journal of Computer Science.

引用

Mingsheng Ying (1991). 基于对称三值逻辑的集合. 江西师范大学学报: 自然科学版.

引用

Mingsheng Ying (1991). 关于格值模型论中的条件 (F′ _1) 和 (F′ _2). 江西师范大学学报: 自然科学版.

引用

Mingsheng Ying (1991). A new approach for fuzzy topology (I). Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1991). $τ$_ (T, L) 型概率赋范空间的线性拓扑性质. 数学进展.

引用

Mingsheng Ying (1990). 语气要求下的最优 Fuzzy 蕴涵. 江西师范大学学报: 自然科学版.

引用

江国彪, Mingsheng Ying (1990). 概率度量空间中映象的不动点定理几点注记. 福州大学学报 (自然科学版).

引用

Mingsheng Ying (1990). The alternativity measures of fuzzy sets. Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1990). Reasonableness of the compositional rule of fuzzy inference. Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1990). On probalistic normed spaces under τT,L. International Journal of Mathematics and Mathematical Sciences.

引用 DOI URL

Mingsheng Ying, 江国彪 (1990). Fuzzy 关系的 Sup—T 可实现性. 福州大学学报: 自然科学版.

引用

Mingsheng Ying (1989). 多值逻辑 Lukasiewicz-T arski 系统的函数保核完备性. 计算机学报.

引用

Mingsheng Ying (1989). On ϵ-fuzzy sets. Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1989). On a class of non-causal triangle functions. Mathematical Proceedings of the Cambridge Philosophical Society.

引用 DOI

Mingsheng Ying (1989). Fuzzy 命题逻辑中的 Fuzzy 推理. 模糊系统与数学.

引用

Mingsheng Ying (1988). 距离分布函数的 $τ$_ (T, L) 半群的共轭变换. 科学通报.

引用

Mingsheng Ying (1988). 环运算 p 值与 ST 逻辑函数的新展开式. 计算机学报.

引用

Mingsheng Ying (1988). SOME NOTES ON MULTIDIMENSIONAL FUZZY REASONING. Cybernetics and Systems.

引用 DOI URL

Mingsheng Ying (1988). Report from Jiangxi Province, People's Republic of China. Fuzzy Sets and Systems.

引用

Mingsheng Ying (1988). On standard models of fuzzy modal logics. Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1988). CONJUGATE TRANSFORMS FOR_ ($τ$T, L)-SEMIGROUPS OF DISTANCE DISTRIBUTION FUNCTIONS. 科学通报: 英文版.

引用

Mingsheng Ying (1987). A counter-example of Gottwald's theorem. Fuzzy Sets Syst..

引用 DOI URL

江国彪, Mingsheng Ying (1987). Fuzzy 性度量. 福州大学学报 (自然科学版).

引用

Mingsheng Ying (1987). Fuzzy semilattices. Information Sciences.

引用 DOI URL

Mingsheng Ying (1986). 情报模糊集隶属函数的确定. 情报学刊.

引用

Mingsheng Ying (1986). The first-order fuzzy logic (I). Proc. 16th IEEE Int. Symposium on Multiple-Valued Logic, Virginia.

引用