All Stories

  1. Laws of Quantum Programming

    Article • ACM Transactions on Software Engineering and Methodology, June 2026, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  2. Borrowing Dirty Qubits in Quantum Programs

    Article • March 2026, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  3. An Expressive Assertion Language for Quantum Programs

    Article • Proceedings of the ACM on Programming Languages, January 2026, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  4. Efficient Formal Verification of Quantum Error Correcting Programs

    Article • Proceedings of the ACM on Programming Languages, June 2025, ACM (Association for Computing Machinery)

    Mengyu Zhao, Mr Mingsheng Ying, Qifan Huang

  5. Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs

    Article • Proceedings of the ACM on Programming Languages, June 2025, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying, Zhicheng Zhang

  6. Verification of Recursively Defined Quantum Circuits

    Article • Proceedings of the ACM on Programming Languages, June 2025, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  7. Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs

    Article • Journal of the ACM, May 2025, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  8. Automatic Test Pattern Generation for Robust Quantum Circuit Testing

    Article • ACM Transactions on Design Automation of Electronic Systems, August 2024, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  9. Approximate Equivalence Checking of Noisy Quantum Circuits

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Mingsheng Ying, Mr Mingsheng Ying

  10. Projection-based runtime assertions for testing and debugging Quantum programs

    Article • Proceedings of the ACM on Programming Languages, November 2020, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying, Mingsheng Ying

  11. Decomposition of quantum Markov chains and its applications

    Article • Journal of Computer and System Sciences, August 2018, Elsevier

    Mr Mingsheng Ying

  12. Algorithmic analysis of termination problems for quantum programs

    Article • Proceedings of the ACM on Programming Languages, January 2018, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying, Mingsheng Ying

  13. Differential Privacy in Quantum Computation

    Article • August 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying, Mingsheng Ying

  14. Invariants of quantum programs: characterisations and generation

    Article • ACM SIGPLAN Notices, May 2017, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying, Mingsheng Ying

  15. Invariants of quantum programs: characterisations and generation

    Article • January 2017, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  16. Analysis of quantum programs

    Article • January 2016, Elsevier

    Mr Mingsheng Ying, Mingsheng Ying

  17. Introduction

    Article • January 2016, Elsevier

    Mr Mingsheng Ying

  18. Logic for quantum programs

    Article • January 2016, Elsevier

    Mr Mingsheng Ying, Mingsheng Ying

  19. Preliminaries

    Article • January 2016, Elsevier

    Mr Mingsheng Ying

  20. Prospects

    Article • January 2016, Elsevier

    Mr Mingsheng Ying, Mingsheng Ying

  21. Quantum case statements

    Article • January 2016, Elsevier

    Mr Mingsheng Ying

  22. Quantum recursion

    Article • January 2016, Elsevier

    Mr Mingsheng Ying

  23. Syntax and semantics of quantum programs

    Article • January 2016, Elsevier

    Mr Mingsheng Ying

  24. Optimal simulation of Deutsch gates and the Fredkin gate

    Article • Physical Review A, March 2015, American Physical Society (APS)

    Mr Mingsheng Ying

  25. Model-Checking Linear-Time Properties of Quantum Systems

    Article • ACM Transactions on Computational Logic, August 2014, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  26. Symbolic Bisimulation for Quantum Processes

    Article • ACM Transactions on Computational Logic, May 2014, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  27. Debugging quantum processes using monitoring measurements

    Article • Physical Review A, April 2014, American Physical Society (APS)

    Mr Mingsheng Ying

  28. Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose

    Article • IEEE Transactions on Information Theory, April 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  29. (Un)decidable Problems about Reachability of Quantum Systems

    Article • January 2014, Springer Science + Business Media

    Mr Mingsheng Ying

  30. Model checking quantum Markov chains

    Article • Journal of Computer and System Sciences, November 2013, Elsevier

    Mr Mingsheng Ying

  31. Termination of nondeterministic quantum programs

    Article • Acta Informatica, October 2013, Springer Science + Business Media

    Mr Mingsheng Ying

  32. Verification of quantum programs

    Article • Science of Computer Programming, September 2013, Elsevier

    Mr Mingsheng Ying

  33. Five two-qubit gates are necessary for implementing the Toffoli gate

    Article • Physical Review A, July 2013, American Physical Society (APS)

    Mr Mingsheng Ying

  34. Quantum Information-Flow Security: Noninterference and Access Control

    Article • June 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  35. Probabilistic automata for computing with words

    Article • Journal of Computer and System Sciences, February 2013, Elsevier

    Mr Mingsheng Ying

  36. Removing measurements from quantum walks

    Article • Physical Review A, January 2013, American Physical Society (APS)

    Mr Mingsheng Ying

  37. Reachability Analysis of Recursive Quantum Markov Chains

    Article • January 2013, Springer Science + Business Media

    Mr Mingsheng Ying

  38. Reachability Probabilities of Quantum Markov Chains

    Article • January 2013, Springer Science + Business Media

    Mr Mingsheng Ying

  39. Bisimulation for Quantum Processes

    Article • ACM Transactions on Programming Languages and Systems, December 2012, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  40. Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles

    Article • August 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  41. Approximating Markov processes through filtration

    Article • Theoretical Computer Science, August 2012, Elsevier

    Mr Mingsheng Ying

  42. Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States

    Article • Physical Review Letters, July 2012, American Physical Society (APS)

    Mr Mingsheng Ying

  43. Quantum programming: From theories to implementations

    Article • Chinese Science Bulletin, June 2012, Springer Science + Business Media

    Mr Mingsheng Ying

  44. Reachability and Termination Analysis of Concurrent Quantum Programs

    Article • January 2012, Springer Science + Business Media

    Mr Mingsheng Ying

  45. Floyd--hoare logic for quantum programs

    Article • ACM Transactions on Programming Languages and Systems, December 2011, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying, Mingsheng Ying

  46. Any 2 ⊗ n subspace is locally distinguishable

    Article • Physical Review A, July 2011, American Physical Society (APS)

    Mr Mingsheng Ying

  47. A Flowchart Language for Quantum Programming

    Article • IEEE Transactions on Software Engineering, July 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  48. Bisimulation for quantum processes

    Article • ACM SIGPLAN Notices, January 2011, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  49. Bisimulation for quantum processes

    Article • January 2011, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  50. Local unambiguous discrimination with remaining entanglement

    Article • Physical Review A, September 2010, American Physical Society (APS)

    Mr Mingsheng Ying

  51. Reasoning about cardinal directions between extended objects

    Article • Artificial Intelligence, August 2010, Elsevier

    Mr Mingsheng Ying

  52. Quantum loop programs

    Article • Acta Informatica, April 2010, Springer Science + Business Media

    Mr Mingsheng Ying

  53. Locally indistinguishable subspaces spanned by three-qubit unextendible product bases

    Article • Physical Review A, March 2010, American Physical Society (APS)

    Mr Mingsheng Ying

  54. Optimal simulation of a perfect entangler

    Article • Physical Review A, March 2010, American Physical Society (APS)

    Mr Mingsheng Ying

  55. Quantum computation, quantum theory and AI

    Article • Artificial Intelligence, February 2010, Elsevier

    Mr Mingsheng Ying

  56. An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection

    Article • January 2010, Springer Science + Business Media

    Mr Mingsheng Ying

  57. Foundations of Quantum Programming (Extended Abstract)

    Article • January 2010, Springer Science + Business Media

    Mr Mingsheng Ying

  58. Perfect Distinguishability of Quantum Operations

    Article • Physical Review Letters, November 2009, American Physical Society (APS)

    Mr Mingsheng Ying

  59. An Algebraic Language for Distributed Quantum Computing

    Article • IEEE Transactions on Computers, June 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  60. An algebra of quantum processes

    Article • ACM Transactions on Computational Logic, April 2009, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  61. Dealing with uncertainty and fuzziness in intelligent systems

    Article • International Journal of Intelligent Systems, March 2009, Wiley

    Mr Mingsheng Ying

  62. Distinguishability of Quantum States by Separable Operations

    Article • IEEE Transactions on Information Theory, March 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  63. Parameter Estimation of Quantum Channels

    Article • IEEE Transactions on Information Theory, November 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  64. Soft constraint abstraction based on semiring homomorphism

    Article • Theoretical Computer Science, August 2008, Elsevier

    Mr Mingsheng Ying

  65. Perfect many-to-one teleportation with stabilizer states

    Article • Physical Review A, March 2008, American Physical Society (APS)

    Mr Mingsheng Ying

  66. Deterministic distributed dense coding with stabilizer states

    Article • Physical Review A, March 2008, American Physical Society (APS)

    Mr Mingsheng Ying

  67. Local Distinguishability of Multipartite Unitary Operations

    Article • Physical Review Letters, January 2008, American Physical Society (APS)

    Mr Mingsheng Ying

  68. Existence of universal entangler

    Article • Journal of Mathematical Physics, January 2008, American Institute of Physics

    Mr Mingsheng Ying

  69. Retraction and Generalized Extension of Computing With Words

    Article • IEEE Transactions on Fuzzy Systems, December 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  70. Commutativity of quantum weakest preconditions

    Article • Information Processing Letters, November 2007, Elsevier

    Mr Mingsheng Ying

  71. Probabilistic bisimulations for quantum processes

    Article • Information and Computation, November 2007, Elsevier

    Mr Mingsheng Ying

  72. Proof rules for the correctness of quantum programs

    Article • Theoretical Computer Science, October 2007, Elsevier

    Mr Mingsheng Ying

  73. Probabilistic bisimulations for quantum processes

    Article • Information and Computation, September 2007, Elsevier

    Mr Mingsheng Ying

  74. Quantum adiabatic computation and adiabatic conditions

    Article • Physical Review A, August 2007, American Physical Society (APS)

    Mr Mingsheng Ying

  75. Publisher’s Note: Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations and Classical Communication [Phys. Rev. Lett. 98 , 230502 (2007)]

    Article • Physical Review Letters, July 2007, American Physical Society (APS)

    Mr Mingsheng Ying

  76. Discrimination between pure states and mixed states

    Article • Physical Review A, June 2007, American Physical Society (APS)

    Mr Mingsheng Ying

  77. Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations and Classical Communication

    Article • Physical Review Letters, June 2007, American Physical Society (APS)

    Mr Mingsheng Ying

  78. Multipartite unlockable bound entanglement in the stabilizer formalism

    Article • Physical Review A, May 2007, American Physical Society (APS)

    Mr Mingsheng Ying

  79. On fundamentals of fuzzy logic and soft computing and some applications

    Article • Fuzzy Sets and Systems, May 2007, Elsevier

    Mr Mingsheng Ying

  80. State-Based Control of Fuzzy Discrete-Event Systems

    Article • IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics), April 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  81. Topology, randomness and noise in process calculus

    Article • Frontiers of Electrical and Electronic Engineering in China, April 2007, Springer Science + Business Media

    Mr Mingsheng Ying

  82. Publisher’s Note: Entanglement is Not Necessary for Perfect Discrimination between Unitary Operations [Phys. Rev. Lett.PRLTAO0031-9007 98 , 100503 (2007)]

    Article • Physical Review Letters, March 2007, American Physical Society (APS)

    Mr Mingsheng Ying

  83. Entanglement is Not Necessary for Perfect Discrimination between Unitary Operations

    Article • Physical Review Letters, March 2007, American Physical Society (APS)

    Mr Mingsheng Ying

  84. Quantum logic and automata theory

    Article • January 2007, Elsevier

    Mr Mingsheng Ying

  85. Sequential voting rules and multiple elections paradoxes

    Article • January 2007, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying

  86. Majorization in quantum adiabatic algorithms

    Article • Physical Review A, October 2006, American Physical Society (APS)

    Mr Mingsheng Ying

  87. Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure states

    Article • Physical Review A, October 2006, American Physical Society (APS)

    Mr Mingsheng Ying

  88. Universal programmable devices for unambiguous discrimination

    Article • Physical Review A, October 2006, American Physical Society (APS)

    Mr Mingsheng Ying

  89. Some Issues in Quantum Information Theory

    Article • Journal of Computer Science and Technology, September 2006, Springer Science + Business Media

    Mr Mingsheng Ying

  90. A relation between fidelity and quantum adiabatic evolution

    Article • Physics Letters A, August 2006, Elsevier

    Mr Mingsheng Ying

  91. Partial recovery of quantum entanglement

    Article • IEEE Transactions on Information Theory, July 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  92. A modified quantum adiabatic evolution for the Deutsch–Jozsa problem

    Article • Physics Letters A, June 2006, Elsevier

    Mr Mingsheng Ying

  93. Identification and Distance Measures of Measurement Apparatus

    Article • Physical Review Letters, May 2006, American Physical Society (APS)

    Mr Mingsheng Ying

  94. Linguistic quantifiers modeled by Sugeno integrals

    Article • Artificial Intelligence, May 2006, Elsevier

    Mr Mingsheng Ying

  95. Unambiguous discrimination of mixed quantum states

    Article • Physics Letters A, May 2006, Elsevier

    Mr Mingsheng Ying

  96. Unambiguous discrimination among quantum operations

    Article • Physical Review A, April 2006, American Physical Society (APS)

    Mr Mingsheng Ying

  97. Observability and decentralized control of fuzzy discrete-event systems

    Article • IEEE Transactions on Fuzzy Systems, April 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  98. Boundary effect of deterministic dense coding

    Article • Physical Review A, March 2006, American Physical Society (APS)

    Mr Mingsheng Ying

  99. Similarity-Based Supervisory Control of Discrete-Event Systems

    Article • IEEE Transactions on Automatic Control, February 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  100. A theory of computation based on quantum logic (I)

    Article • Theoretical Computer Science, November 2005, Elsevier

    Mr Mingsheng Ying

  101. Local cloning of two product states

    Article • Physical Review A, September 2005, American Physical Society (APS)

    Mr Mingsheng Ying

  102. Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation

    Article • Physical Review A, August 2005, American Physical Society (APS)

    Mr Mingsheng Ying

  103. π-calculus with noisy channels

    Article • Acta Informatica, July 2005, Springer Science + Business Media

    Mr Mingsheng Ying

  104. Trade-off between multiple-copy transformation and entanglement catalysis

    Article • Physical Review A, June 2005, American Physical Society (APS)

    Mr Mingsheng Ying

  105. Multiple-copy entanglement transformation and entanglement catalysis

    Article • Physical Review A, April 2005, American Physical Society (APS)

    Mr Mingsheng Ying

  106. Supervisory Control of Fuzzy Discrete Event Systems

    Article • IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics), April 2005, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  107. Optimal conclusive discrimination of two states can be achieved locally

    Article • Physical Review A, March 2005, American Physical Society (APS)

    Mr Mingsheng Ying

  108. Catalyst-Assisted Probabilistic Entanglement Transformation

    Article • IEEE Transactions on Information Theory, March 2005, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  109. Knowledge transformation and fusion in diagnostic systems

    Article • Artificial Intelligence, March 2005, Elsevier

    Mr Mingsheng Ying

  110. Efficiency of deterministic entanglement transformation

    Article • Physical Review A, February 2005, American Physical Society (APS)

    Mr Mingsheng Ying

  111. A theory of computation based on quantum logic (I)

    Article • January 2005, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  112. The existence of quantum entanglement catalysts

    Article • IEEE Transactions on Information Theory, January 2005, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  113. Generalized Region Connection Calculus

    Article • Artificial Intelligence, December 2004, Elsevier

    Mr Mingsheng Ying

  114. Local discrimination of maximally entangled states in canonical form

    Article • Physics Letters A, December 2004, Elsevier

    Mr Mingsheng Ying

  115. Comparability of multipartite entanglement

    Article • Physics Letters A, October 2004, Elsevier

    Mr Mingsheng Ying

  116. Unambiguous discrimination between mixed quantum states

    Article • Physical Review A, July 2004, American Physical Society (APS)

    Mr Mingsheng Ying

  117. When catalysis is useful for probabilistic entanglement transformation

    Article • Physical Review A, June 2004, American Physical Society (APS)

    Mr Mingsheng Ying

  118. Process algebra approach to reasoning about concurrent actions

    Article • Journal of Computer Science and Technology, May 2004, Springer Science + Business Media

    Mr Mingsheng Ying

  119. Quantum operation, quantum Fourier transform and semi-definite programming

    Article • Physics Letters A, March 2004, Elsevier

    Mr Mingsheng Ying

  120. Characterizations of quantum automata

    Article • Theoretical Computer Science, January 2004, Elsevier

    Mr Mingsheng Ying

  121. Reasoning about probabilistic sequential programs in a probabilistic logic

    Article • Acta Informatica, May 2003, Springer Science + Business Media

    Mr Mingsheng Ying

  122. Region Connection Calculus: Its models and composition table

    Article • Artificial Intelligence, April 2003, Elsevier

    Mr Mingsheng Ying

  123. Lower bound on inconclusive probability of unambiguous discrimination

    Article • Physical Review A, December 2002, American Physical Society (APS)

    Mr Mingsheng Ying

  124. A formal model of computing with words

    Article • IEEE Transactions on Fuzzy Systems, October 2002, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  125. Universal quantum-copying machines: a sufficient and necessary condition

    Article • Physics Letters A, September 2002, Elsevier

    Mr Mingsheng Ying

  126. Lattice-theoretic models of conjectures, hypotheses and consequences

    Article • Artificial Intelligence, August 2002, Elsevier

    Mr Mingsheng Ying

  127. Wootters–Zurek quantum-copying machine: the higher-dimensional case

    Article • Physics Letters A, July 2002, Elsevier

    Mr Mingsheng Ying

  128. Set discrimination of quantum states

    Article • Physical Review A, June 2002, American Physical Society (APS)

    Mr Mingsheng Ying

  129. Universal and original-preserving quantum copying is impossible

    Article • Physics Letters A, May 2002, Elsevier

    Mr Mingsheng Ying

  130. Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination

    Article • Physical Review A, April 2002, American Physical Society (APS)

    Mr Mingsheng Ying

  131. Probabilistic cloning and deleting of quantum states

    Article • Physical Review A, April 2002, American Physical Society (APS)

    Mr Mingsheng Ying

  132. Additive models of probabilistic processes

    Article • Theoretical Computer Science, March 2002, Elsevier

    Mr Mingsheng Ying

  133. Bisimulation indexes and their applications

    Article • Theoretical Computer Science, March 2002, Elsevier

    Mr Mingsheng Ying

  134. Implication operators in fuzzy logic

    Article • IEEE Transactions on Fuzzy Systems, January 2002, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  135. Upper bound for the success probability of unambiguous discrimination among quantum states

    Article • Physical Review A, November 2001, American Physical Society (APS)

    Mr Mingsheng Ying

  136. Recursive equations in higher-order process calculi

    Article • Theoretical Computer Science, September 2001, Elsevier

    Mr Mingsheng Ying

  137. Topology in Process Calculus

    Article • January 2001, Springer Science + Business Media

    Mr Mingsheng Ying, Mingsheng Ying

  138. Bisimulation Indexes Induced by Metrics on Actions

    Article • January 2001, Springer Science + Business Media

    Mr Mingsheng Ying

  139. Bisimulation and Trace Limits of Agents

    Article • January 2001, Springer Science + Business Media

    Mr Mingsheng Ying

  140. Conclusion

    Article • January 2001, Springer Science + Business Media

    Mr Mingsheng Ying

  141. Fuzzy Topology Based on Residuated Lattice-Valued Logic

    Article • Acta Mathematica Sinica English Series, January 2001, Springer Science + Business Media

    Mr Mingsheng Ying

  142. Introduction

    Article • January 2001, Springer Science + Business Media

    Mr Mingsheng Ying

  143. Limit Behavior of Agents

    Article • January 2001, Springer Science + Business Media

    Mr Mingsheng Ying

  144. Near Bisimulations Defined by Closures

    Article • January 2001, Springer Science + Business Media

    Mr Mingsheng Ying

  145. Process Calculus

    Article • January 2001, Springer Science + Business Media

    Mr Mingsheng Ying

  146. Weak confluence and τ-inertness

    Article • Theoretical Computer Science, May 2000, Elsevier

    Mr Mingsheng Ying

  147. Approximate Reasoning Based on Similarity

    Article • Mathematical Logic Quarterly, January 2000, Wiley

    Mr Mingsheng Ying

  148. Approximate Bisimilarity

    Article • January 2000, Springer Science + Business Media

    Mr Mingsheng Ying

  149. Article • International Journal of Theoretical Physics, January 2000, Springer Science + Business Media

    Mr Mingsheng Ying

  150. Article • International Journal of Theoretical Physics, January 2000, Springer Science + Business Media

    Mr Mingsheng Ying

  151. Topology in process calculus (I): Limit behaviour of agents

    Article • Journal of Computer Science and Technology, July 1999, Springer Science + Business Media

    Mr Mingsheng Ying

  152. A shorter proof to uniqueness of solutions of equations

    Article • Theoretical Computer Science, March 1999, Elsevier

    Mr Mingsheng Ying

  153. Phase semantics for a pure noncommutative linear propositional logic

    Article • Journal of Computer Science and Technology, March 1999, Springer Science + Business Media

    Mr Mingsheng Ying

  154. Limits of Agents in Process Calculus

    Article • January 1999, Springer Science + Business Media

    Mr Mingsheng Ying

  155. Perturbation of fuzzy reasoning

    Article • IEEE Transactions on Fuzzy Systems, January 1999, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  156. Fuzzy Logic and Soft Computing

    Article • January 1999, Springer Science + Business Media

    Mr Mingsheng Ying

  157. A model of reasoning about knowledge

    Article • October 1998, Springer Science + Business Media

    Mr Mingsheng Ying

  158. Compactness in fuzzy logic

    Article • Chinese Science Bulletin, July 1998, Springer Science + Business Media

    Mr Mingsheng Ying

  159. Approximate reasoning with linguistic modifiers

    Article • International Journal of Intelligent Systems, May 1998, Wiley

    Mr Mingsheng Ying

  160. Approximate reasoning with linguistic modifiers

    Article • International Journal of Intelligent Systems, May 1998, Wiley

    Mr Mingsheng Ying

  161. Quantifiers, modifiers and qualifiers in fuzzy logic

    Article • Journal of Applied Non-Classical Logics, January 1997, Taylor & Francis

    Mr Mingsheng Ying

  162. When is the ideal completion of abstract basis algebraic

    Article • Theoretical Computer Science, June 1996, Elsevier

    Mr Mingsheng Ying

  163. Institutions of variable truth values: An approach in the ordered style

    Article • Journal of Computer Science and Technology, May 1995, Springer Science + Business Media

    Mr Mingsheng Ying

  164. Putting consistent theories together in institutions

    Article • Journal of Computer Science and Technology, May 1995, Springer Science + Business Media

    Mr Mingsheng Ying

  165. On the method of neighborhood systems in fuzzy topology

    Article • Fuzzy Sets and Systems, December 1994, Elsevier

    Mr Mingsheng Ying

  166. A logic for approximate reasoning

    Article • Journal of Symbolic Logic, September 1994, Cambridge University Press

    Mr Mingsheng Ying

  167. Fuzzifying topology based on complete residuated lattice-valued logic (I)

    Article • Fuzzy Sets and Systems, June 1993, Elsevier

    Mr Mingsheng Ying

  168. A new approach for fuzzy topology (III)

    Article • Fuzzy Sets and Systems, April 1993, Elsevier

    Mr Mingsheng Ying

  169. Compactness in fuzzifying topology

    Article • Fuzzy Sets and Systems, April 1993, Elsevier

    Mr Mingsheng Ying

  170. Fuzzifying uniform spaces

    Article • Fuzzy Sets and Systems, January 1993, Elsevier

    Mr Mingsheng Ying

  171. A new approach for fuzzy topology (II)

    Article • Fuzzy Sets and Systems, April 1992, Elsevier

    Mr Mingsheng Ying

  172. COMPACTNESS, THE LÖWENHEIM-SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES

    Article • Mathematical Logic Quarterly, January 1992, Wiley

    Mr Mingsheng Ying

  173. THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC

    Article • Mathematical Logic Quarterly, January 1992, Wiley

    Mr Mingsheng Ying

  174. A new approach for fuzzy topology (I)

    Article • Fuzzy Sets and Systems, February 1991, Elsevier

    Mr Mingsheng Ying

  175. Deduction Theorem for Many-Valued Inference

    Article • Mathematical Logic Quarterly, January 1991, Wiley

    Mr Mingsheng Ying

  176. The alternativity measures of fuzzy sets

    Article • Fuzzy Sets and Systems, August 1990, Elsevier

    Mr Mingsheng Ying

  177. Reasonableness of the compositional rule of fuzzy inference

    Article • Fuzzy Sets and Systems, June 1990, Elsevier

    Mr Mingsheng Ying

  178. On probalistic normed spaces under τ T , L

    Article • International Journal of Mathematics and Mathematical Sciences, January 1990, Hindawi Publishing Corporation

    Mr Mingsheng Ying

  179. On a class of non-causal triangle functions

    Article • Mathematical Proceedings of the Cambridge Philosophical Society, November 1989, Cambridge University Press

    Mr Mingsheng Ying

  180. On ϵ-fuzzy sets

    Article • Fuzzy Sets and Systems, May 1989, Elsevier

    Mr Mingsheng Ying

  181. On standard models of fuzzy modal logics

    Article • Fuzzy Sets and Systems, June 1988, Elsevier

    Mr Mingsheng Ying

  182. Report from Jiangxi Province, People's Republic of China

    Article • Fuzzy Sets and Systems, March 1988, Elsevier

    Mr Mingsheng Ying

  183. SOME NOTES ON MULTIDIMENSIONAL FUZZY REASONING

    Article • Cybernetics & Systems, January 1988, Taylor & Francis

    Mr Mingsheng Ying

  184. Fuzzy semilattices

    Article • Information Sciences, December 1987, Elsevier

    Mr Mingsheng Ying

  185. A counter-example of Gottwald's theorem

    Article • Fuzzy Sets and Systems, September 1987, Elsevier

    Mr Mingsheng Ying

  186. On Zadeh's method for interpreting linguistically quantified proposition

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying

  187. Predicate Transformer Semantics of Quantum Programs

    Article • Cambridge University Press

    Mr Mingsheng Ying

  188. Quantifiers, modifiers and qualifiers in fuzzy logic

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying