Fuzzy semilattices. - Mingsheng Ying (Inf. Sci., 1987)

Deduction Theorem for Many-Valued Inference. - Mingsheng Ying (Math. Log. Q., 1991)

The Fundamental Theorem of Ultraproduct in Pavelka's Logic. - Mingsheng Ying (Math. Log. Q., 1992)

Compactness, the LöWenheim-Skolem Property and the Direct Product of Lattices of Truth Values. - Mingsheng Ying (Math. Log. Q., 1992)

A Logic for Approximate Reasoning. - Mingsheng Ying (J. Symb. Log., 1994)

Putting consistent theories together in institutions. - Mingsheng Ying (J. Comput. Sci. Technol., 1995)

Institutions of variable truth values: An approach in the ordered style. - Mingsheng Ying (J. Comput. Sci. Technol., 1995)

When is the Ideal Completion of Abstract Basis Algebraic. - Mingsheng Ying (Theor. Comput. Sci., 1996)

Quantifiers, modifiers and qualifiers in fuzzy logic. - Mingsheng Ying; Bernadette Bouchon-Meunier (J. Appl. Non Class. Logics, 1997)

Approximate reasoning with linguistic modifiers. - Mingsheng Ying; Bernadette Bouchon-Meunier (Int. J. Intell. Syst., 1998)

Phase semantics for a pure noncommutative linear propositional logic. - Mingsheng Ying (J. Comput. Sci. Technol., 1999)

Topology in process calculus (I): Limit behaviour of agents. - Mingsheng Ying (J. Comput. Sci. Technol., 1999)

A Shorter Proof to Uniqueness of Solutions of Equations. - Mingsheng Ying (Theor. Comput. Sci., 1999)

Perturbation of fuzzy reasoning. - Mingsheng Ying (IEEE Trans. Fuzzy Syst., 1999)

Approximate Bisimilarity. - Mingsheng Ying; Martin Wirsing (AMAST, 2000)

Approximate Reasoning Based on Similarity. - Loredana Biacino; Giangiacomo Gerla; Mingsheng Ying (Math. Log. Q., 2000)

Weak confluence and tau-inertness. - Mingsheng Ying (Theor. Comput. Sci., 2000)

Topology in process calculus - approximate correctness and infinite evolution of concurrent programs. - Mingsheng Ying (Springer, 2001)

Recursive equations in higher-order process calculi. - Mingsheng Ying; Martin Wirsing (Theor. Comput. Sci., 2001)

Lattice-theoretic models of conjectures, hypotheses and consequences. - Mingsheng Ying; Huaiqing Wang (Artif. Intell., 2002)

Bisimulation indexes and their applications. - Mingsheng Ying (Theor. Comput. Sci., 2002)

Additive models of probabilistic processes. - Mingsheng Ying (Theor. Comput. Sci., 2002)

Implication operators in fuzzy logic. - Mingsheng Ying (IEEE Trans. Fuzzy Syst., 2002)

A formal model of computing with words. - Mingsheng Ying (IEEE Trans. Fuzzy Syst., 2002)

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

Region Connection Calculus: Its models and composition table. - Sanjiang Li; Mingsheng Ying (Artif. Intell., 2003)

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

Generalized Region Connection Calculus. - Sanjiang Li; Mingsheng Ying (Artif. Intell., 2004)

Process Algebra Approach to Reasoning About Concurrent Actions. - Yuan Feng 001; Mingsheng Ying (J. Comput. Sci. Technol., 2004)

Characterizations of quantum automata. - Daowen Qiu; Mingsheng Ying (Theor. Comput. Sci., 2004)

pi-calculus with noisy channels. - Mingsheng Ying (Acta Informatica, 2005)

Knowledge transformation and fusion in diagnostic systems. - Mingsheng Ying (Artif. Intell., 2005)

Relational reasoning in the region connection calculus - Yongming Li 001; Sanjiang Li; Mingsheng Ying (CoRR, 2005)

Proof rules for purely quantum programs - Yuan Feng 001; Runyao Duan; Zheng-Feng Ji; Mingsheng Ying (CoRR, 2005)

On countable RCC models. - Sanjiang Li; Mingsheng Ying; Yongming Li 001 (Fundam. Informaticae, 2005)

A theory of computation based on quantum logic (I). - Mingsheng Ying (Theor. Comput. Sci., 2005)

Catalyst-assisted probabilistic entanglement transformation. - Yuan Feng 001; Runyao Duan; Mingsheng Ying (IEEE Trans. Inf. Theory, 2005)

The existence of quantum entanglement catalysts. - Xiaoming Sun 001; Runyao Duan; Mingsheng Ying (IEEE Trans. Inf. Theory, 2005)

Supervisory control of fuzzy discrete event systems. - Yongzhi Cao; Mingsheng Ying (IEEE Trans. Syst. Man Cybern. Part B, 2005)

Linguistic quantifiers modeled by Sugeno integrals. - Mingsheng Ying (Artif. Intell., 2006)

Probabilistic bisimilarities between quantum processes - Yuan Feng 001; Runyao Duan; Zheng-Feng Ji; Mingsheng Ying (CoRR, 2006)

Some Issues in Quantum Information Theory. - Runyao Duan; Zheng-Feng Ji; Yuan Feng 001; Mingsheng Ying (J. Comput. Sci. Technol., 2006)

Similarity-based supervisory control of discrete-event systems. - Yongzhi Cao; Mingsheng Ying (IEEE Trans. Autom. Control., 2006)

Observability and Decentralized Control of Fuzzy Discrete-Event Systems. - Yongzhi Cao; Mingsheng Ying (IEEE Trans. Fuzzy Syst., 2006)

Partial Recovery of Quantum Entanglement. - Runyao Duan; Yuan Feng 001; Mingsheng Ying (IEEE Trans. Inf. Theory, 2006)

Strongly Decomposable Voting Rules on Multiattribute Domains. - Lirong Xia; Jérôme Lang; Mingsheng Ying (AAAI, 2007)

Sequential voting rules and multiple elections paradoxes. - Lirong Xia; Jérôme Lang; Mingsheng Ying (TARK, 2007)

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

Probabilistic bisimulations for quantum processes. - Yuan Feng 001; Runyao Duan; Zheng-Feng Ji; Mingsheng Ying (Inf. Comput., 2007)

Commutativity of quantum weakest preconditions. - Mingsheng Ying; Jianxin Chen; Yuan Feng 001; Runyao Duan (Inf. Process. Lett., 2007)

Proof rules for the correctness of quantum programs. - Yuan Feng 001; Runyao Duan; Zheng-Feng Ji; Mingsheng Ying (Theor. Comput. Sci., 2007)

Retraction and Generalized Extension of Computing With Words. - Yongzhi Cao; Mingsheng Ying; Guoqing Chen (IEEE Trans. Fuzzy Syst., 2007)

State-Based Control of Fuzzy Discrete-Event Systems. - Yongzhi Cao; Mingsheng Ying; Guoqing Chen (IEEE Trans. Syst. Man Cybern. Part B, 2007)

Reasoning with Cardinal Directions: An Efficient Algorithm. - Xiaotong Zhang; Weiming Liu 001; Sanjiang Li; Mingsheng Ying (AAAI, 2008)

Soft constraint abstraction based on semiring homomorphism. - Sanjiang Li; Mingsheng Ying (Theor. Comput. Sci., 2008)

Parameter Estimation of Quantum Channels. - Zheng-Feng Ji; Guoming Wang; Runyao Duan; Yuan Feng 001; Mingsheng Ying (IEEE Trans. Inf. Theory, 2008)

Dealing with uncertainty and fuzziness in intelligent systems. - Guoqing Chen; Mingsheng Ying; Yingming Liu (Int. J. Intell. Syst., 2009)

Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting. - Yuan Feng 001; Runyao Duan; Mingsheng Ying (Quantum Inf. Comput., 2009)

An Algebraic Language for Distributed Quantum Computing. - Mingsheng Ying; Yuan Feng 001 (IEEE Trans. Computers, 2009)

Distinguishability of Quantum States by Separable Operations. - Runyao Duan; Yuan Feng 001; Yu Xin; Mingsheng Ying (IEEE Trans. Inf. Theory, 2009)

An algebra of quantum processes. - Mingsheng Ying; Yuan Feng 001; Runyao Duan; Zheng-Feng Ji (ACM Trans. Comput. Log., 2009)

Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. - Heng Zhang 006; Mingsheng Ying (AAAI, 2010)

Foundations of Quantum Programming (Extended Abstract). - Mingsheng Ying (APLAS, 2010)

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

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

Reasoning about cardinal directions between extended objects. - Weiming Liu 001; Xiaotong Zhang; Sanjiang Li; Mingsheng Ying (Artif. Intell., 2010)

Quantum computation, quantum theory and AI. - Mingsheng Ying (Artif. Intell., 2010)

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

The LU-LC conjecture is false. - Zheng-Feng Ji; Jianxin Chen; Zhaohui Wei; Mingsheng Ying (Quantum Inf. Comput., 2010)

Translating First-Order Theories into Logic Programs. - Heng Zhang 006; Yan Zhang 003; Mingsheng Ying; Yi Zhou 013 (IJCAI, 2011)

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

A Flowchart Language for Quantum Programming. - Mingsheng Ying; Yuan Feng 001 (IEEE Trans. Software Eng., 2011)

Reachability and Termination Analysis of Concurrent Quantum Programs. - Nengkun Yu; Mingsheng Ying (CONCUR, 2012)

Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles. - Guoxin Su; Mingsheng Ying; Chengqi Zhang (WICSA/ECSA, 2012)

Defining Quantum Control Flow - Mingsheng Ying; Nengkun Yu; Yuan Feng 001 (CoRR, 2012)

Session Communication and Integration - Guoxin Su; Mingsheng Ying; Chengqi Zhang (CoRR, 2012)

Approximating Markov processes through filtration. - Chunlai Zhou; Mingsheng Ying (Theor. Comput. Sci., 2012)

Bisimulation for Quantum Processes. - Yuan Feng 001; Runyao Duan; Mingsheng Ying (ACM Trans. Program. Lang. Syst., 2012)

Reachability Probabilities of Quantum Markov Chains. - Shenggang Ying; Yuan Feng 001; Nengkun Yu; Mingsheng Ying (CONCUR, 2013)

Quantum Information-Flow Security: Noninterference and Access Control. - Mingsheng Ying; Yuan Feng 001; Nengkun Yu (CSF, 2013)

Reachability Analysis of Recursive Quantum Markov Chains. - Yuan Feng 001; Nengkun Yu; Mingsheng Ying (MFCS, 2013)

Probabilistic automata for computing with words. - Yongzhi Cao; Lirong Xia; Mingsheng Ying (J. Comput. Syst. Sci., 2013)

Model checking quantum Markov chains. - Yuan Feng 001; Nengkun Yu; Mingsheng Ying (J. Comput. Syst. Sci., 2013)

Verification of quantum programs. - Mingsheng Ying; Nengkun Yu; Yuan Feng 001; Runyao Duan (Sci. Comput. Program., 2013)

(Un)decidable Problems about Reachability of Quantum Systems. - Yangjia Li; Mingsheng Ying (CONCUR, 2014)

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

Debugging Quantum Processes Using Monitoring Measurements. - Yangjia Li; Mingsheng Ying (CoRR, 2014)

Quantum Recursion and Second Quantisation: Basic Ideas and Examples. - Mingsheng Ying (CoRR, 2014)

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

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

Symbolic Bisimulation for Quantum Processes. - Yuan Feng 001; Yuxin Deng; Mingsheng Ying (ACM Trans. Comput. Log., 2014)

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

Toward Automatic Verification of Quantum Cryptographic Protocols. - Yuan Feng 001; Mingsheng Ying (CONCUR, 2015)

Quantum Privacy-Preserving Data Mining. - Shenggang Ying; Mingsheng Ying; Yuan Feng 001 (CoRR, 2015)

A Theorem Prover for Quantum Hoare Logic and Its Applications. - Tao Liu; Yangjia Li; Shuling Wang 003; Mingsheng Ying; Naijun Zhan (CoRR, 2016)

Differential Privacy in Quantum Computation. - Li Zhou 013; Mingsheng Ying (CSF, 2017)

Invariants of quantum programs: characterisations and generation. - Mingsheng Ying; Shenggang Ying; Xiaodi Wu 001 (POPL, 2017)

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

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

Q|SI〉: A Quantum Programming Environment. - Shusen Liu 002; Xin Wang 022; Li Zhou 013; Ji Guan 001; Yinan Li; Yang He; Runyao Duan; Mingsheng Ying (CoRR, 2017)

Q|SI⟩ : A Quantum Programming Environment. - Shusen Liu 002; Xin Wang 022; Li Zhou 013; Ji Guan 001; Yinan Li; Yang He; Runyao Duan; Mingsheng Ying (Symposium on Real-Time and Hybrid Systems, 2018)

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

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

Reasoning about Parallel Quantum Programs. - Mingsheng Ying; Yangjia Li (CoRR, 2018)

Quantitative Robustness Analysis of Quantum Programs (Extended Version). - Shih-Han Hung; Kesha Hietala; Shaopeng Zhu; Mingsheng Ying; Michael Hicks 001; Xiaodi Wu 001 (CoRR, 2018)

Reachability analysis of quantum Markov decision processes. - Shenggang Ying; Mingsheng Ying (Inf. Comput., 2018)

Decomposition of quantum Markov chains and its applications. - Ji Guan 001; Yuan Feng 001; Mingsheng Ying (J. Comput. Syst. Sci., 2018)

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

Super-activating quantum memory with entanglement. - Ji Guan 001; Yuan Feng 001; Mingsheng Ying (Quantum Inf. Comput., 2018)

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. - Junyi Liu 002; Bohua Zhan; Shuling Wang 003; Shenggang Ying; Tao Liu; Yangjia Li; Mingsheng Ying; Naijun Zhan (CAV (2), 2019)

An applied quantum Hoare logic. - Li Zhou 013; Nengkun Yu; Mingsheng Ying (PLDI, 2019)

Quantum Hoare Logic. - Junyi Liu 002; Bohua Zhan; Shuling Wang 003; Shenggang Ying; Tao Liu; Yangjia Li; Mingsheng Ying; Naijun Zhan (Arch. Formal Proofs, 2019)

Coupling Techniques for Reasoning about Quantum Programs. - Gilles Barthe; Justin Hsu; Mingsheng Ying; Nengkun Yu; Li Zhou 013 (CoRR, 2019)

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

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

Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer. - Gushu Li; Li Zhou 013; Nengkun Yu; Yufei Ding 001; Mingsheng Ying; Yuan Xie 001 (CoRR, 2019)

Toward automatic verification of quantum programs. - Mingsheng Ying (Formal Aspects Comput., 2019)

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

Quantum Hoare logic with classical variables. - Yuan Feng 001; Mingsheng Ying (CoRR, 2020)

Robustness Verification of Quantum Machine Learning. - Ji Guan 001; Wang Fang 001; Mingsheng Ying (CoRR, 2020)

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

Relational proofs for quantum programs. - Gilles Barthe; Justin Hsu; Mingsheng Ying; Nengkun Yu; Li Zhou 013 (Proc. ACM Program. Lang., 2020)

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

Strassen's theorem for quantum couplings. - Li Zhou 013; Shenggang Ying; Nengkun Yu; Mingsheng Ying (Theor. Comput. Sci., 2020)

Quantum Supremacy Circuit Simulation on Sunway TaihuLight. - Riling Li; Bujiao Wu; Mingsheng Ying; Xiaoming Sun 001; Guangwen Yang (IEEE Trans. Parallel Distributed Syst., 2020)

Robustness Verification of Quantum Classifiers. - Ji Guan 001; Wang Fang 001; Mingsheng Ying (CAV (1), 2021)

Approximate Equivalence Checking of Noisy Quantum Circuits. - Xin Hong; Mingsheng Ying; Yuan Feng 001; Xiangzhen Zhou; Sanjiang Li (DAC, 2021)

Model Checking for Verification of Quantum Circuits. - Mingsheng Ying (FM, 2021)

A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. - Li Zhou 013; Gilles Barthe; Justin Hsu; Mingsheng Ying; Nengkun Yu (LICS, 2021)

Reasoning about Recursive Quantum Programs. - Zhaowei Xu; Mingsheng Ying; Benoît Valiron (CoRR, 2021)

Optimal Policies for Quantum Markov Decision Processes. - Mingsheng Ying; Yuan Feng 001; Shenggang Ying (Int. J. Autom. Comput., 2021)

Equivalence checking of quantum finite-state machines. - Qisheng Wang; Junyi Liu 002; Mingsheng Ying (J. Comput. Syst. Sci., 2021)

quantum walks. - Ji Guan 001; Qisheng Wang; Mingsheng Ying (Quantum Inf. Comput., 2021)

Verifying Fairness in Quantum Machine Learning. - Ji Guan 001; Wang Fang 001; Mingsheng Ying (CAV (2), 2022)

Equivalence Checking of Dynamic Quantum Circuits. - Xin Hong; Yuan Feng 001; Sanjiang Li; Mingsheng Ying (ICCAD, 2022)

Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. - Yuxiang Peng; Mingsheng Ying; Xiaodi Wu 001 (PLDI, 2022)

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

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

Equivalence Checking of Sequential Quantum Circuits. - Qisheng Wang; Riling Li; Mingsheng Ying (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

A proof system for disjoint parallel quantum programs. - Mingsheng Ying; Li Zhou 013; Yangjia Li; Yuan Feng 001 (Theor. Comput. Sci., 2022)

Verification of Distributed Quantum Programs. - Yuan Feng 001; Sanjiang Li; Mingsheng Ying (ACM Trans. Comput. Log., 2022)

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

Detecting Violations of Differential Privacy for Quantum Algorithms. - Ji Guan 001; Wang Fang 001; Mingyu Huang; Mingsheng Ying (CCS, 2023)

Decision Diagrams for Symbolic Verification of Quantum Circuits. - Xin Hong; Wei-Jia Huang; Wei-Chen Chien; Yuan Feng 001; Min-Hsiu Hsieh; Sanjiang Li; Chia-Shun Yeh; Mingsheng Ying (QCE, 2023)

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

Quantum random access stored-program machines. - Qisheng Wang; Mingsheng Ying (J. Comput. Syst. Sci., 2023)

Quantum Algorithm for Fidelity Estimation. - Qisheng Wang; Zhicheng Zhang; Kean Chen; Ji Guan 001; Wang Fang 001; Junyi Liu 002; Mingsheng Ying (IEEE Trans. Inf. Theory, 2023)

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

Software Pipelining for Quantum Loop Programs. - Jingzhe Guo; Mingsheng Ying (IEEE Trans. Software Eng., 2023)

Unitarity Estimation for Quantum Channels. - Kean Chen; Qisheng Wang; Peixun Long; Mingsheng Ying (IEEE Trans. Inf. Theory, 2023)

QReach: A Reachability Analysis Tool for Quantum Markov Chains. - Aochu Dai; Mingsheng Ying (CAV (3), 2024)

Measurement-Based Verification of Quantum Markov Chains. - Ji Guan 001; Yuan Feng 001; Andrea Turrini; Mingsheng Ying (CAV (3), 2024)

SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. - Wang Fang 001; Mingsheng Ying (DAC, 2024)

Approximation Algorithm for Noisy Quantum Circuit Simulation. - Mingyu Huang; Ji Guan 001; Wang Fang 001; Mingsheng Ying (DATE, 2024)

VeriQR: A Robustness Verification Tool for quantum Machine Learning Models. - Yanling Lin; Ji Guan 001; Wang Fang 001; Mingsheng Ying; Zhaofeng Su 001 (FM (1), 2024)

Verification of Recursively Defined Quantum Circuits. - Mingsheng Ying; Zhicheng Zhang (CoRR, 2024)

Atomicity in Distributed Quantum Computing. - Zhicheng Zhang; Mingsheng Ying (CoRR, 2024)

A Practical Quantum Hoare Logic with Classical Variables, I. - Mingsheng Ying (CoRR, 2024)

Laws of Quantum Programming. - Mingsheng Ying; Li Zhou 013; Gilles Barthe (CoRR, 2024)

Symbolic Execution for Quantum Error Correction Programs. - Wang Fang 001; Mingsheng Ying (Proc. ACM Program. Lang., 2024)

Quantum Büchi automata. - Qisheng Wang; Mingsheng Ying (Theor. Comput. Sci., 2024)

Automatic Test Pattern Generation for Robust Quantum Circuit Testing. - Kean Chen; Mingsheng Ying (ACM Trans. Design Autom. Electr. Syst., 2024)

Parallel Quantum Algorithm for Hamiltonian Simulation. - Zhicheng Zhang; Qisheng Wang; Mingsheng Ying (Quantum, 2024)

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

Quantum Algorithm for Lexicographically Minimal String Rotation. - Qisheng Wang; Mingsheng Ying (Theory Comput. Syst., 2024)

Artifact: Symbolic Execution for Quantum Error Correction Programs. - Wang Fang 001; Mingsheng Ying (Zenodo, 2024)

Artifact for VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models. - Yanling Lin; Ji Guan 001; Wang Fang 001; Mingsheng Ying; Zhaofeng Su 001 (Zenodo, 2024)

New Quantum Algorithms for Computing Quantum Entropies and Distances. - Qisheng Wang; Ji Guan 001; Junyi Liu 002; Zhicheng Zhang; Mingsheng Ying (IEEE Trans. Inf. Theory, 2024)

Image Computation for Quantum Transition Systems. - Xin Hong; Dingchao Gao; Sanjiang Li; Shenggang Ying; Mingsheng Ying (DATE, 2025)

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

Efficient Formal Verification of Quantum Error Correcting Programs. - Qifan Huang; Li Zhou 013; Wang Fang 001; Mengyu Zhao; Mingsheng Ying (Proc. ACM Program. Lang., 2025)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs. - Zhicheng Zhang; Mingsheng Ying (Proc. ACM Program. Lang., 2025)

Differential Privacy of Quantum and Quantum-Inspired-Classical Recommendation Algorithms. - Chenjian Li; Mingsheng Ying (CoRR, 2025)

LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations. - Xin Hong; Aochu Dai; Dingchao Gao; Sanjiang Li; Zhengfeng Ji; Mingsheng Ying (CoRR, 2025)

Quantum Speedup for Hypergraph Sparsification. - Chenghua Liu; Minbo Gao; Zhengfeng Ji; Mingsheng Ying (CoRR, 2025)

Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. - Junyi Liu 002; Li Zhou 013; Gilles Barthe; Mingsheng Ying (J. ACM, 2025)

Access Control Threatened by Quantum Entanglement. - Zhicheng Zhang; Mingsheng Ying (CoRR, 2025)

Quantum State Preparation Based on LimTDD. - Xin Hong; Chenjian Li; Aochu Dai; Sanjiang Li; Shenggang Ying; Mingsheng Ying (CoRR, 2025)

Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps. - Xin Hong; Aochu Dai; Chenjian Li; Sanjiang Li; Shenggang Ying; Mingsheng Ying (CoRR, 2025)