Mingsheng Ying

234 papers A* 15A 6B 9Misc 2Journal 191Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A practical quantum Hoare logic with classical variables, I. Inf. Comput. Mingsheng Ying
2026	J	`jnl`	An Expressive Assertion Language for Quantum Programs. Proc. ACM Program. Lang. Bonan Su, Yuan Feng, Mingsheng Ying, Li Zhou
2026	—	`conf`	Borrowing Dirty Qubits in Quantum Programs. ASPLOS (2) Bonan Su, Li Zhou, Yuan Feng, Mingsheng Ying
2025	J	`jnl`	A Divide-And-Conquer Pebbling Strategy for Oracle Synthesis in Quantum Computing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Kezhen Zhang, Riling Li, Mingsheng Ying
2025	J	`jnl`	Access Control Threatened by Quantum Entanglement. CoRR Zhicheng Zhang, Mingsheng Ying
2025	J	`jnl`	Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps. CoRR Xin Hong, Aochu Dai, Chenjian Li, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025	J	`jnl`	Borrowing Dirty Qubits in Quantum Programs. CoRR Bonan Su, Li Zhou, Yuan Feng, Mingsheng Ying
2025	A*	`conf`	Control Flow Adaption: An Efficient Simulation Method for Noisy Quantum Networks. INFOCOM Huiping Lin, Ruixuan Deng, Chris Z. Yao, Zhengfeng Ji, Mingsheng Ying
2025	J	`jnl`	Differential Privacy of Quantum and Quantum-Inspired-Classical Recommendation Algorithms. CoRR Chenjian Li, Mingsheng Ying
2025	J	`jnl`	Efficient Formal Verification of Quantum Error Correcting Programs. CoRR Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying
2025	J	`jnl`	Efficient Formal Verification of Quantum Error Correcting Programs. Proc. ACM Program. Lang. Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying
2025	A	`conf`	Image Computation for Quantum Transition Systems. DATE Xin Hong, Dingchao Gao, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025	J	`jnl`	Image Computation for Quantum Transition Systems. CoRR Xin Hong, Dingchao Gao, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025	J	`jnl`	LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations. CoRR Xin Hong, Aochu Dai, Dingchao Gao, Sanjiang Li, Zhengfeng Ji, Mingsheng Ying
2025	J	`jnl`	QReach: A Reachability Analysis Tool for Quantum Markov Chains. CoRR Aochu Dai, Mingsheng Ying
2025	J	`jnl`	Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs. Proc. ACM Program. Lang. Zhicheng Zhang, Mingsheng Ying
2025	A*	`conf`	Quantum Speedup for Hypergraph Sparsification. ICML Chenghua Liu, Minbo Gao, Zhengfeng Ji, Mingsheng Ying
2025	J	`jnl`	Quantum Speedup for Hypergraph Sparsification. CoRR Chenghua Liu, Minbo Gao, Zhengfeng Ji, Mingsheng Ying
2025	A	`conf`	Quantum State Preparation Based on LimTDD. ICCAD Xin Hong, Chenjian Li, Aochu Dai, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025	J	`jnl`	Quantum State Preparation Based on LimTDD. CoRR Xin Hong, Chenjian Li, Aochu Dai, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025	J	`jnl`	Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. J. ACM Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying
2025	J	`jnl`	Symbolic Specification and Reasoning for Quantum Data and Operations. CoRR Mingsheng Ying
2024	J	`jnl`	A Practical Quantum Hoare Logic with Classical Variables, I. CoRR Mingsheng Ying
2024	A	`conf`	Approximation Algorithm for Noisy Quantum Circuit Simulation. DATE Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying
2024	J	`jnl`	Atomicity in Distributed Quantum Computing. CoRR Zhicheng Zhang, Mingsheng Ying
2024	J	`jnl`	Automatic Test Pattern Generation for Robust Quantum Circuit Testing. ACM Trans. Design Autom. Electr. Syst. Kean Chen, Mingsheng Ying
2024	J	`jnl`	Differentiable Quantum Programming with Unbounded Loops. ACM Trans. Softw. Eng. Methodol. Wang Fang, Mingsheng Ying, Xiaodi Wu
2024	J	`jnl`	Laws of Quantum Programming. CoRR Mingsheng Ying, Li Zhou, Gilles Barthe
2024	—	`conf`	Measurement-Based Verification of Quantum Markov Chains. CAV (3) Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
2024	J	`jnl`	New Quantum Algorithms for Computing Quantum Entropies and Distances. IEEE Trans. Inf. Theory Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying
2024	J	`jnl`	Parallel Quantum Algorithm for Hamiltonian Simulation. Quantum Zhicheng Zhang, Qisheng Wang, Mingsheng Ying
2024	—	`conf`	QReach: A Reachability Analysis Tool for Quantum Markov Chains. CAV (3) Aochu Dai, Mingsheng Ying
2024	J	`jnl`	Quantum Algorithm for Lexicographically Minimal String Rotation. Theory Comput. Syst. Qisheng Wang, Mingsheng Ying
2024	J	`jnl`	Quantum Büchi automata. Theor. Comput. Sci. Qisheng Wang, Mingsheng Ying
2024	J	`jnl`	Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs. CoRR Zhicheng Zhang, Mingsheng Ying
2024	A*	`conf`	SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. DAC Wang Fang, Mingsheng Ying
2024	J	`jnl`	Symbolic Execution for Quantum Error Correction Programs. Proc. ACM Program. Lang. Wang Fang, Mingsheng Ying
2024	—	`conf`	VeriQR: A Robustness Verification Tool for quantum Machine Learning Models. FM (1) Yanling Lin, Ji Guan, Wang Fang, Mingsheng Ying, Zhaofeng Su
2024	J	`jnl`	Verification of Recursively Defined Quantum Circuits. CoRR Mingsheng Ying, Zhicheng Zhang
2023	J	`jnl`	CoqQ: Foundational Verification of Quantum Programs. Proc. ACM Program. Lang. Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying
2023	Misc	`conf`	Decision Diagrams for Symbolic Verification of Quantum Circuits. QCE Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying
2023	A*	`conf`	Detecting Violations of Differential Privacy for Quantum Algorithms. CCS Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying
2023	J	`jnl`	Detecting Violations of Differential Privacy for Quantum Algorithms. CoRR Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying
2023	J	`jnl`	Quantum Algorithm for Fidelity Estimation. IEEE Trans. Inf. Theory Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying
2023	J	`jnl`	Quantum Recursive Programming with Quantum Case Statements. CoRR Mingsheng Ying, Zhicheng Zhang
2023	J	`jnl`	Quantum random access stored-program machines. J. Comput. Syst. Sci. Qisheng Wang, Mingsheng Ying
2023	J	`jnl`	Software Pipelining for Quantum Loop Programs. IEEE Trans. Software Eng. Jingzhe Guo, Mingsheng Ying
2023	J	`jnl`	SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. CoRR Wang Fang, Mingsheng Ying
2023	J	`jnl`	Symbolic Execution for Quantum Error Correction Programs. CoRR Wang Fang, Mingsheng Ying
2023	J	`jnl`	Unitarity Estimation for Quantum Channels. IEEE Trans. Inf. Theory Kean Chen, Qisheng Wang, Peixun Long, Mingsheng Ying
2022	J	`jnl`	A Tensor Network based Decision Diagram for Representation of Quantum Circuits. ACM Trans. Design Autom. Electr. Syst. Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
2022	J	`jnl`	A proof system for disjoint parallel quantum programs. Theor. Comput. Sci. Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng
2022	A*	`conf`	Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. PLDI Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
2022	J	`jnl`	Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs. CoRR Mingsheng Ying
2022	J	`jnl`	CoqQ: Foundational Verification of Quantum Programs. CoRR Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying
2022	J	`jnl`	Differentiable Quantum Programming with Unbounded Loops. CoRR Wang Fang, Mingsheng Ying, Xiaodi Wu
2022	A	`conf`	Equivalence Checking of Dynamic Quantum Circuits. ICCAD Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying
2022	J	`jnl`	Equivalence Checking of Sequential Quantum Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Qisheng Wang, Riling Li, Mingsheng Ying
2022	J	`jnl`	Fault Models in Superconducting quantum circuits. CoRR Qifan Huang, Boxi Li, Minbo Gao, Mingsheng Ying
2022	J	`jnl`	New Quantum Algorithms for Computing Quantum Entropies and Distances. CoRR Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying
2022	A*	`conf`	Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. LICS Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying
2022	J	`jnl`	Verification of Distributed Quantum Programs. ACM Trans. Comput. Log. Yuan Feng, Sanjiang Li, Mingsheng Ying
2022	—	`conf`	Verifying Fairness in Quantum Machine Learning. CAV (2) Ji Guan, Wang Fang, Mingsheng Ying
2022	J	`jnl`	Verifying Fairness in Quantum Machine Learning. CoRR Ji Guan, Wang Fang, Mingsheng Ying
2021	A*	`conf`	A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. LICS Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu
2021	J	`jnl`	A Quantum Interpretation of Bunched Logic for Quantum Separation Logic. CoRR Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu
2021	J	`jnl`	Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra. CoRR Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
2021	A*	`conf`	Approximate Equivalence Checking of Noisy Quantum Circuits. DAC Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li
2021	J	`jnl`	Approximate Equivalence Checking of Noisy Quantum Circuits. CoRR Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li
2021	J	`jnl`	Editorial on Celebrating Quantum Computing with ACM. ACM Trans. Quantum Comput. Travis S. Humble, Mingsheng Ying
2021	J	`jnl`	Equivalence checking of quantum finite-state machines. J. Comput. Syst. Sci. Qisheng Wang, Junyi Liu, Mingsheng Ying
2021	B	`conf`	Model Checking for Verification of Quantum Circuits. FM Mingsheng Ying
2021	J	`jnl`	Model Checking for Verification of Quantum Circuits. CoRR Mingsheng Ying
2021	J	`jnl`	Optimal Policies for Quantum Markov Decision Processes. Int. J. Autom. Comput. Mingsheng Ying, Yuan Feng, Shenggang Ying
2021	J	`jnl`	Quantum Hoare Logic with Classical Variables. ACM Trans. Quantum Comput. Yuan Feng, Mingsheng Ying
2021	J	`jnl`	Reasoning about Recursive Quantum Programs. CoRR Zhaowei Xu, Mingsheng Ying, Benoît Valiron
2021	—	`conf`	Robustness Verification of Quantum Classifiers. CAV (1) Ji Guan, Wang Fang, Mingsheng Ying
2021	J	`jnl`	Verification of Distributed Quantum Programs. CoRR Yuan Feng, Sanjiang Li, Mingsheng Ying
2021	J	`jnl`	quantum walks. Quantum Inf. Comput. Ji Guan, Qisheng Wang, Mingsheng Ying
2020	J	`jnl`	A Tensor Network based Decision Diagram for Representation of Quantum Circuits. CoRR Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
2020	J	`jnl`	Inaugural Issue Editorial for ACM Transactions on Quantum Computing. ACM Trans. Quantum Comput. Travis S. Humble, Mingsheng Ying
2020	J	`jnl`	Projection-based runtime assertions for testing and debugging Quantum programs. Proc. ACM Program. Lang. Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
2020	J	`jnl`	Quantum Algorithm for Lexicographically Minimal String Rotation. CoRR Qisheng Wang, Mingsheng Ying
2020	J	`jnl`	Quantum Hoare logic with classical variables. CoRR Yuan Feng, Mingsheng Ying
2020	J	`jnl`	Quantum Random Access Stored-Program Machines. CoRR Qisheng Wang, Mingsheng Ying
2020	J	`jnl`	Quantum Supremacy Circuit Simulation on Sunway TaihuLight. IEEE Trans. Parallel Distributed Syst. Riling Li, Bujiao Wu, Mingsheng Ying, Xiaoming Sun, Guangwen Yang
2020	J	`jnl`	Relational proofs for quantum programs. Proc. ACM Program. Lang. Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou
2020	J	`jnl`	Robustness Verification of Quantum Machine Learning. CoRR Ji Guan, Wang Fang, Mingsheng Ying
2020	J	`jnl`	Software Pipelining for Quantum Loop Programs. CoRR Jingzhe Guo, Mingsheng Ying
2020	J	`jnl`	Strassen's theorem for quantum couplings. Theor. Comput. Sci. Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying
2020	J	`jnl`	Symbolic Verification of Quantum Circuits. CoRR Mingsheng Ying, Zhengfeng Ji
2019	A*	`conf`	An applied quantum Hoare logic. PLDI Li Zhou, Nengkun Yu, Mingsheng Ying
2019	J	`jnl`	Coupling Techniques for Reasoning about Quantum Programs. CoRR Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou
2019	J	`jnl`	Equivalence Checking of Quantum Finite-State Machines. CoRR Qisheng Wang, Junyi Liu, Mingsheng Ying
2019	J	`jnl`	Expected Runtime of Quantum Programs. CoRR Junyi Liu, Li Zhou, Mingsheng Ying
2019	—	`conf`	Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. CAV (2) Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
2019	J	`jnl`	Model Checking Applied to Quantum Physics. CoRR Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
2019	J	`jnl`	Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer. CoRR Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
2019	J	`jnl`	Quantitative robustness analysis of quantum programs. Proc. ACM Program. Lang. Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
2019	J	`jnl`	Quantum Hoare Logic. Arch. Formal Proofs Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
2019	J	`jnl`	Toward automatic verification of quantum programs. Formal Aspects Comput. Mingsheng Ying
2018	J	`jnl`	Algorithmic analysis of termination problems for quantum programs. Proc. ACM Program. Lang. Yangjia Li, Mingsheng Ying
2018	J	`jnl`	Decomposition of quantum Markov chains and its applications. J. Comput. Syst. Sci. Ji Guan, Yuan Feng, Mingsheng Ying
2018	J	`jnl`	Model Checking Quantum Systems - A Survey. CoRR Mingsheng Ying, Yuan Feng
2018	J	`jnl`	Quantitative Robustness Analysis of Quantum Programs (Extended Version). CoRR Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
2018	J	`jnl`	Quantum Büchi Automata. CoRR Qisheng Wang, Mingsheng Ying
2018	J	`jnl`	Quantum Coupling and Strassen Theorem. CoRR Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying
2018	—	`ch.`	Q\|SI⟩ : A Quantum Programming Environment. Symposium on Real-Time and Hybrid Systems Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying
2018	J	`jnl`	Reachability analysis of quantum Markov decision processes. Inf. Comput. Shenggang Ying, Mingsheng Ying
2018	J	`jnl`	Reasoning about Parallel Quantum Programs. CoRR Mingsheng Ying, Yangjia Li
2018	J	`jnl`	Super-activating quantum memory with entanglement. Quantum Inf. Comput. Ji Guan, Yuan Feng, Mingsheng Ying
2018	J	`jnl`	Toward Automatic Verification of Quantum Programs. CoRR Mingsheng Ying
2017	A	`conf`	Differential Privacy in Quantum Computation. CSF Li Zhou, Mingsheng Ying
2017	A*	`conf`	Invariants of quantum programs: characterisations and generation. POPL Mingsheng Ying, Shenggang Ying, Xiaodi Wu
2017	J	`jnl`	Quantum Privacy-Preserving Data Analytics. CoRR Shenggang Ying, Mingsheng Ying, Yuan Feng
2017	J	`jnl`	Quantum Privacy-Preserving Perceptron. CoRR Shenggang Ying, Mingsheng Ying, Yuan Feng
2017	J	`jnl`	Q\|SI〉: A Quantum Programming Environment. CoRR Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying
2017	J	`jnl`	Super-activating Quantum Memory with Entanglement. CoRR Ji Guan, Yuan Feng, Mingsheng Ying
2016	J	`jnl`	A Theorem Prover for Quantum Hoare Logic and Its Applications. CoRR Tao Liu, Yangjia Li, Shuling Wang, Mingsheng Ying, Naijun Zhan
2015	J	`jnl`	Quantum Privacy-Preserving Data Mining. CoRR Shenggang Ying, Mingsheng Ying, Yuan Feng
2015	B	`conf`	Toward Automatic Verification of Quantum Cryptographic Protocols. CONCUR Yuan Feng, Mingsheng Ying
2015	J	`jnl`	Toward automatic verification of quantum cryptographic protocols. CoRR Yuan Feng, Mingsheng Ying
2014	B	`conf`	(Un)decidable Problems about Reachability of Quantum Systems. CONCUR Yangjia Li, Mingsheng Ying
2014	J	`jnl`	(Un)decidable Problems about Reachability of Quantum Systems. CoRR Yangjia Li, Mingsheng Ying
2014	J	`jnl`	Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs. CoRR Mingsheng Ying, Nengkun Yu, Yuan Feng
2014	J	`jnl`	Debugging Quantum Processes Using Monitoring Measurements. CoRR Yangjia Li, Mingsheng Ying
2014	J	`jnl`	Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose. IEEE Trans. Inf. Theory Nengkun Yu, Runyao Duan, Mingsheng Ying
2014	J	`jnl`	Model-Checking Linear-Time Properties of Quantum Systems. ACM Trans. Comput. Log. Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng
2014	J	`jnl`	Quantum Recursion and Second Quantisation: Basic Ideas and Examples. CoRR Mingsheng Ying
2014	J	`jnl`	Reachability Analysis of Quantum Markov Decision Processes. CoRR Shenggang Ying, Mingsheng Ying
2014	J	`jnl`	Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Log. Yuan Feng, Yuxin Deng, Mingsheng Ying
2014	J	`jnl`	Termination of nondeterministic quantum programs. Acta Informatica Yangjia Li, Nengkun Yu, Mingsheng Ying
2013	J	`jnl`	Model checking quantum Markov chains. J. Comput. Syst. Sci. Yuan Feng, Nengkun Yu, Mingsheng Ying
2013	J	`jnl`	Probabilistic automata for computing with words. J. Comput. Syst. Sci. Yongzhi Cao, Lirong Xia, Mingsheng Ying
2013	J	`jnl`	Quantum Information-Flow Security: Noninterference and Access Control CoRR Mingsheng Ying, Yuan Feng, Nengkun Yu
2013	A	`conf`	Quantum Information-Flow Security: Noninterference and Access Control. CSF Mingsheng Ying, Yuan Feng, Nengkun Yu
2013	B	`conf`	Reachability Analysis of Recursive Quantum Markov Chains. MFCS Yuan Feng, Nengkun Yu, Mingsheng Ying
2013	B	`conf`	Reachability Probabilities of Quantum Markov Chains. CONCUR Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying
2013	J	`jnl`	Verification of quantum programs. Sci. Comput. Program. Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan
2012	J	`jnl`	Approximating Markov processes through filtration. Theor. Comput. Sci. Chunlai Zhou, Mingsheng Ying
2012	J	`jnl`	Bisimulation for Quantum Processes. ACM Trans. Program. Lang. Syst. Yuan Feng, Runyao Duan, Mingsheng Ying
2012	J	`jnl`	Defining Quantum Control Flow CoRR Mingsheng Ying, Nengkun Yu, Yuan Feng
2012	J	`jnl`	Model checking quantum Markov chains CoRR Yuan Feng, Nengkun Yu, Mingsheng Ying
2012	J	`jnl`	Reachability and Termination Analysis of Concurrent Quantum Programs CoRR Nengkun Yu, Mingsheng Ying
2012	B	`conf`	Reachability and Termination Analysis of Concurrent Quantum Programs. CONCUR Nengkun Yu, Mingsheng Ying
2012	—	`conf`	Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles. WICSA/ECSA Guoxin Su, Mingsheng Ying, Chengqi Zhang
2012	J	`jnl`	Session Communication and Integration CoRR Guoxin Su, Mingsheng Ying, Chengqi Zhang
2012	J	`jnl`	Symbolic bisimulation for quantum processes CoRR Yuan Feng, Yuxin Deng, Mingsheng Ying
2012	J	`jnl`	Termination of Nondeterministic Quantum Programs CoRR Yangjia Li, Nengkun Yu, Mingsheng Ying
2011	J	`jnl`	A Flowchart Language for Quantum Programming. IEEE Trans. Software Eng. Mingsheng Ying, Yuan Feng
2011	A*	`conf`	Bisimulation for quantum processes. POPL Yuan Feng, Runyao Duan, Mingsheng Ying
2011	J	`jnl`	Floyd-hoare logic for quantum programs. ACM Trans. Program. Lang. Syst. Mingsheng Ying
2011	A*	`conf`	Translating First-Order Theories into Logic Programs. IJCAI Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou
2011	J	`jnl`	Verification of Quantum Programs CoRR Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan
2010	B	`conf`	An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection. ECSA Guoxin Su, Mingsheng Ying, Chengqi Zhang
2010	J	`jnl`	Ancilla-assisted discrimination of quantum gates. Quantum Inf. Comput. Jianxin Chen, Mingsheng Ying
2010	J	`jnl`	Bisimulation for quantum processes CoRR Yuan Feng, Runyao Duan, Mingsheng Ying
2010	A*	`conf`	Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. AAAI Heng Zhang, Mingsheng Ying
2010	B	`conf`	Foundations of Quantum Programming (Extended Abstract). APLAS Mingsheng Ying
2010	J	`jnl`	Quantum computation, quantum theory and AI. Artif. Intell. Mingsheng Ying
2010	J	`jnl`	Quantum loop programs. Acta Informatica Mingsheng Ying, Yuan Feng
2010	J	`jnl`	Reasoning about cardinal directions between extended objects. Artif. Intell. Weiming Liu, Xiaotong Zhang, Sanjiang Li, Mingsheng Ying
2010	J	`jnl`	The LU-LC conjecture is false. Quantum Inf. Comput. Zheng-Feng Ji, Jianxin Chen, Zhaohui Wei, Mingsheng Ying
2009	J	`jnl`	An Algebraic Language for Distributed Quantum Computing. IEEE Trans. Computers Mingsheng Ying, Yuan Feng
2009	J	`jnl`	An algebra of quantum processes. ACM Trans. Comput. Log. Mingsheng Ying, Yuan Feng, Runyao Duan, Zheng-Feng Ji
2009	J	`jnl`	Dealing with uncertainty and fuzziness in intelligent systems. Int. J. Intell. Syst. Guoqing Chen, Mingsheng Ying, Yingming Liu
2009	J	`jnl`	Distinguishability of Quantum States by Separable Operations. IEEE Trans. Inf. Theory Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying
2009	J	`jnl`	Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting. Quantum Inf. Comput. Yuan Feng, Runyao Duan, Mingsheng Ying
2009	J	`jnl`	Reasoning about Cardinal Directions between Extended Objects CoRR Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying
2008	J	`jnl`	Parameter Estimation of Quantum Channels. IEEE Trans. Inf. Theory Zheng-Feng Ji, Guoming Wang, Runyao Duan, Yuan Feng, Mingsheng Ying
2008	A*	`conf`	Reasoning with Cardinal Directions: An Efficient Algorithm. AAAI Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying
2008	J	`jnl`	Soft constraint abstraction based on semiring homomorphism. Theor. Comput. Sci. Sanjiang Li, Mingsheng Ying
2007	J	`jnl`	Commutativity of quantum weakest preconditions. Inf. Process. Lett. Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan
2007	J	`jnl`	On fundamentals of fuzzy logic and soft computing and some applications. Fuzzy Sets Syst. Yingming Liu, Mingsheng Ying, Guoqing Chen
2007	J	`jnl`	Probabilistic bisimulations for quantum processes. Inf. Comput. Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
2007	J	`jnl`	Proof rules for the correctness of quantum programs. Theor. Comput. Sci. Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
2007	J	`jnl`	Retraction and Generalized Extension of Computing With Words. IEEE Trans. Fuzzy Syst. Yongzhi Cao, Mingsheng Ying, Guoqing Chen
2007	B	`conf`	Sequential voting rules and multiple elections paradoxes. TARK Lirong Xia, Jérôme Lang, Mingsheng Ying
2007	J	`jnl`	Soft constraint abstraction based on semiring homomorphism CoRR Sanjiang Li, Mingsheng Ying
2007	J	`jnl`	State-Based Control of Fuzzy Discrete-Event Systems. IEEE Trans. Syst. Man Cybern. Part B Yongzhi Cao, Mingsheng Ying, Guoqing Chen
2007	A*	`conf`	Strongly Decomposable Voting Rules on Multiattribute Domains. AAAI Lirong Xia, Jérôme Lang, Mingsheng Ying
2006	J	`jnl`	Linguistic quantifiers modeled by Sugeno integrals. Artif. Intell. Mingsheng Ying
2006	J	`jnl`	Observability and Decentralized Control of Fuzzy Discrete-Event Systems. IEEE Trans. Fuzzy Syst. Yongzhi Cao, Mingsheng Ying
2006	J	`jnl`	Partial Recovery of Quantum Entanglement. IEEE Trans. Inf. Theory Runyao Duan, Yuan Feng, Mingsheng Ying
2006	J	`jnl`	Probabilistic Automata for Computing with Words CoRR Yongzhi Cao, Lirong Xia, Mingsheng Ying
2006	J	`jnl`	Probabilistic bisimilarities between quantum processes CoRR Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
2006	J	`jnl`	Retraction and Generalized Extension of Computing with Words CoRR Yongzhi Cao, Mingsheng Ying, Guoqing Chen
2006	J	`jnl`	Similarity-based supervisory control of discrete-event systems. IEEE Trans. Autom. Control. Yongzhi Cao, Mingsheng Ying
2006	J	`jnl`	Some Issues in Quantum Information Theory. J. Comput. Sci. Technol. Runyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying
2005	Misc	`conf`	A theory of computation based on quantum logic (I). GrC Mingsheng Ying
2005	J	`jnl`	A theory of computation based on quantum logic (I). Theor. Comput. Sci. Mingsheng Ying
2005	J	`jnl`	Catalyst-assisted probabilistic entanglement transformation. IEEE Trans. Inf. Theory Yuan Feng, Runyao Duan, Mingsheng Ying
2005	J	`jnl`	Knowledge transformation and fusion in diagnostic systems. Artif. Intell. Mingsheng Ying
2005	J	`jnl`	On countable RCC models. Fundam. Informaticae Sanjiang Li, Mingsheng Ying, Yongming Li
2005	J	`jnl`	Proof rules for purely quantum programs CoRR Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
2005	J	`jnl`	Relational reasoning in the region connection calculus CoRR Yongming Li, Sanjiang Li, Mingsheng Ying
2005	J	`jnl`	State-Based Control of Fuzzy Discrete Event Systems CoRR Yongzhi Cao, Mingsheng Ying, Guoqing Chen
2005	J	`jnl`	Supervisory control of fuzzy discrete event systems. IEEE Trans. Syst. Man Cybern. Part B Yongzhi Cao, Mingsheng Ying
2005	J	`jnl`	The existence of quantum entanglement catalysts. IEEE Trans. Inf. Theory Xiaoming Sun, Runyao Duan, Mingsheng Ying
2005	J	`jnl`	pi-calculus with noisy channels. Acta Informatica Mingsheng Ying
2004	J	`jnl`	A Theory of Computation Based on Quantum Logic (I) CoRR Mingsheng Ying
2004	J	`jnl`	Characterizations of quantum automata. Theor. Comput. Sci. Daowen Qiu, Mingsheng Ying
2004	J	`jnl`	Generalized Region Connection Calculus. Artif. Intell. Sanjiang Li, Mingsheng Ying
2004	J	`jnl`	Observability and Decentralized Control of Fuzzy Discrete Event Systems CoRR Yongzhi Cao, Mingsheng Ying
2004	J	`jnl`	Process Algebra Approach to Reasoning About Concurrent Actions. J. Comput. Sci. Technol. Yuan Feng, Mingsheng Ying
2004	J	`jnl`	Similarity-Based Supervisory Control of Discrete Event Systems CoRR Yongzhi Cao, Mingsheng Ying
2004	J	`jnl`	Supervisory Control of Fuzzy Discrete Event Systems CoRR Yongzhi Cao, Mingsheng Ying
2003	J	`jnl`	Extensionality of the RCC8 Composition Table. Fundam. Informaticae Sanjiang Li, Mingsheng Ying
2003	J	`jnl`	Reasoning about probabilistic sequential programs in a probabilistic logic. Acta Informatica Mingsheng Ying
2003	J	`jnl`	Region Connection Calculus: Its models and composition table. Artif. Intell. Sanjiang Li, Mingsheng Ying
2002	J	`jnl`	A formal model of computing with words. IEEE Trans. Fuzzy Syst. Mingsheng Ying
2002	J	`jnl`	Additive models of probabilistic processes. Theor. Comput. Sci. Mingsheng Ying
2002	J	`jnl`	Bisimulation indexes and their applications. Theor. Comput. Sci. Mingsheng Ying
2002	J	`jnl`	Implication operators in fuzzy logic. IEEE Trans. Fuzzy Syst. Mingsheng Ying
2002	J	`jnl`	Lattice-theoretic models of conjectures, hypotheses and consequences. Artif. Intell. Mingsheng Ying, Huaiqing Wang
2001	J	`jnl`	Recursive equations in higher-order process calculi. Theor. Comput. Sci. Mingsheng Ying, Martin Wirsing
2001	—	`book`	Topology in process calculus - approximate correctness and infinite evolution of concurrent programs. Mingsheng Ying
2000	—	`conf`	Approximate Bisimilarity. AMAST Mingsheng Ying, Martin Wirsing
2000	J	`jnl`	Approximate Reasoning Based on Similarity. Math. Log. Q. Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying
2000	J	`jnl`	Weak confluence and tau-inertness. Theor. Comput. Sci. Mingsheng Ying
1999	J	`jnl`	A Shorter Proof to Uniqueness of Solutions of Equations. Theor. Comput. Sci. Mingsheng Ying
1999	J	`jnl`	Perturbation of fuzzy reasoning. IEEE Trans. Fuzzy Syst. Mingsheng Ying
1999	J	`jnl`	Phase semantics for a pure noncommutative linear propositional logic. J. Comput. Sci. Technol. Mingsheng Ying
1999	J	`jnl`	Topology in process calculus (I): Limit behaviour of agents. J. Comput. Sci. Technol. Mingsheng Ying
1998	J	`jnl`	Approximate reasoning with linguistic modifiers. Int. J. Intell. Syst. Mingsheng Ying, Bernadette Bouchon-Meunier
1997	J	`jnl`	Quantifiers, modifiers and qualifiers in fuzzy logic. J. Appl. Non Class. Logics Mingsheng Ying, Bernadette Bouchon-Meunier
1996	J	`jnl`	When is the Ideal Completion of Abstract Basis Algebraic. Theor. Comput. Sci. Mingsheng Ying
1995	J	`jnl`	Institutions of variable truth values: An approach in the ordered style. J. Comput. Sci. Technol. Mingsheng Ying
1995	J	`jnl`	Putting consistent theories together in institutions. J. Comput. Sci. Technol. Mingsheng Ying
1994	J	`jnl`	A Logic for Approximate Reasoning. J. Symb. Log. Mingsheng Ying
1992	J	`jnl`	Compactness, the LöWenheim-Skolem Property and the Direct Product of Lattices of Truth Values. Math. Log. Q. Mingsheng Ying
1992	J	`jnl`	The Fundamental Theorem of Ultraproduct in Pavelka's Logic. Math. Log. Q. Mingsheng Ying
1991	J	`jnl`	Deduction Theorem for Many-Valued Inference. Math. Log. Q. Mingsheng Ying
1987	J	`jnl`	Fuzzy semilattices. Inf. Sci. Mingsheng Ying