| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yuan Feng, Yuxin Deng, Mingsheng Ying |
Symbolic bisimulation for quantum processes  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yangjia Li, Nengkun Yu, Mingsheng Ying |
Termination of Nondeterministic Quantum Programs |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mingsheng Ying, Yuan Feng |
A Flowchart Language for Quantum Programming. |
IEEE Trans. Software Eng. |
2011 |
DBLP DOI BibTeX RDF |
Quantum programming, flowchart language, while-language, structured programming |
| 1 | Mingsheng Ying |
Floyd-hoare logic for quantum programs. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Mingsheng Ying |
Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting. |
Quantum Information & Computation |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan |
Verification of Quantum Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou |
Translating First-Order Theories into Logic Programs. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Mingsheng Ying |
Bisimulation for quantum processes. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying, Yuan Feng |
Quantum loop programs. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng-Feng Ji, Jianxin Chen, Zhaohui Wei, Mingsheng Ying |
The LU-LC conjecture is false. |
Quantum Information & Computation |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jianxin Chen, Mingsheng Ying |
Ancilla-assisted discrimination of quantum gates. |
Quantum Information & Computation |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Mingsheng Ying |
Bisimulation for quantum processes |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Weiming Liu, Xiaotong Zhang, Sanjiang Li, Mingsheng Ying |
Reasoning about cardinal directions between extended objects. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
Quantum computation, quantum theory and AI. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoxin Su, Mingsheng Ying, Chengqi Zhang |
An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection. |
ECSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
Foundations of Quantum Programming (Extended Abstract). |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Heng Zhang, Mingsheng Ying |
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Guoqing Chen, Mingsheng Ying, Yingming Liu |
Dealing with uncertainty and fuzziness in intelligent systems. |
Int. J. Intell. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying, Yuan Feng |
An Algebraic Language for Distributed Quantum Computing. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying |
Reasoning about Cardinal Directions between Extended Objects |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mingsheng Ying, Yuan Feng, Runyao Duan, Zheng-Feng Ji |
An algebra of quantum processes. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
super-operator, Quantum computation, process algebra, bisimulation, quantum communication |
| 1 | Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying |
Distinguishability of Quantum States by Separable Operations. |
IEEE Transactions on Information Theory |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjiang Li, Mingsheng Ying |
Soft constraint abstraction based on semiring homomorphism. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng-Feng Ji, Guoming Wang, Runyao Duan, Yuan Feng, Mingsheng Ying |
Parameter Estimation of Quantum Channels. |
IEEE Transactions on Information Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying |
Reasoning with Cardinal Directions: An Efficient Algorithm. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan |
Commutativity of quantum weakest preconditions. |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying |
Proof rules for the correctness of quantum programs. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying |
Probabilistic bisimulations for quantum processes. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongzhi Cao, Mingsheng Ying, Guoqing Chen |
Retraction and Generalized Extension of Computing With Words. |
IEEE T. Fuzzy Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjiang Li, Mingsheng Ying |
Soft constraint abstraction based on semiring homomorphism |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yongzhi Cao, Mingsheng Ying, Guoqing Chen |
State-Based Control of Fuzzy Discrete-Event Systems. |
IEEE Transactions on Systems, Man, and Cybernetics, Part B |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingming Liu, Mingsheng Ying, Guoqing Chen |
On fundamentals of fuzzy logic and soft computing and some applications. |
Fuzzy Sets and Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lirong Xia, Jérôme Lang, Mingsheng Ying |
Sequential voting rules and multiple elections paradoxes. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lirong Xia, Jérôme Lang, Mingsheng Ying |
Strongly Decomposable Voting Rules on Multiattribute Domains. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying |
Probabilistic bisimilarities between quantum processes |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yongzhi Cao, Lirong Xia, Mingsheng Ying |
Probabilistic Automata for Computing with Words |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yongzhi Cao, Mingsheng Ying, Guoqing Chen |
Retraction and Generalized Extension of Computing with Words |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mingsheng Ying |
Linguistic quantifiers modeled by Sugeno integrals. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Runyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying |
Some Issues in Quantum Information Theory. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
entanglement transformation, quantum computing, discrimination, quantum information |
| 1 | Mingsheng Ying |
A theory of computation based on quantum logic (I). |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
pi-calculus with noisy channels. |
Acta Inf. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjiang Li, Mingsheng Ying, Yongming Li |
On countable RCC models. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yongming Li, Sanjiang Li, Mingsheng Ying |
Relational reasoning in the region connection calculus |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying |
Proof rules for purely quantum programs |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yongzhi Cao, Mingsheng Ying, Guoqing Chen |
State-Based Control of Fuzzy Discrete Event Systems |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yongzhi Cao, Mingsheng Ying |
Supervisory control of fuzzy discrete event systems. |
IEEE Transactions on Systems, Man, and Cybernetics, Part B |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
Knowledge transformation and fusion in diagnostic systems. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoming Sun, Runyao Duan, Mingsheng Ying |
The existence of quantum entanglement catalysts. |
IEEE Transactions on Information Theory |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Mingsheng Ying |
Catalyst-assisted probabilistic entanglement transformation. |
IEEE Transactions on Information Theory |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
A theory of computation based on quantum logic (I). |
GrC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daowen Qiu, Mingsheng Ying |
Characterizations of quantum automata. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongzhi Cao, Mingsheng Ying |
Similarity-Based Supervisory Control of Discrete Event Systems |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mingsheng Ying |
A Theory of Computation Based on Quantum Logic (I) |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yongzhi Cao, Mingsheng Ying |
Observability and Decentralized Control of Fuzzy Discrete Event Systems |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yongzhi Cao, Mingsheng Ying |
Supervisory Control of Fuzzy Discrete Event Systems |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sanjiang Li, Mingsheng Ying |
Generalized Region Connection Calculus. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Feng, Mingsheng Ying |
Process Algebra Approach to Reasoning About Concurrent Actions. |
J. Comput. Sci. Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
Reasoning about probabilistic sequential programs in a probabilistic logic. |
Acta Inf. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjiang Li, Mingsheng Ying |
Extensionality of the RCC8 Composition Table. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sanjiang Li, Mingsheng Ying |
Region Connection Calculus: Its models and composition table. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
Additive models of probabilistic processes. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
Bisimulation indexes and their applications. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying, Huaiqing Wang |
Lattice-theoretic models of conjectures, hypotheses and consequences. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying, Martin Wirsing |
Recursive equations in higher-order process calculi. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
Topology in process calculus - approximate correctness and infinite evolution of concurrent programs. |
|
2001 |
RDF |
|
| 1 | Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying |
Approximate Reasoning Based on Similarity. |
Math. Log. Q. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
Weak confluence and tau-inertness. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying, Martin Wirsing |
Approximate Bisimilarity. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
Real Time ACP, Process Algebra, Bisimulation |
| 1 | Mingsheng Ying |
A Shorter Proof to Uniqueness of Solutions of Equations. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
Phase semantics for a pure noncommutative linear propositional logic. |
J. Comput. Sci. Technol. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
Topology in process calculus (I): Limit behaviour of agents. |
J. Comput. Sci. Technol. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying, Bernadette Bouchon-Meunier |
Quantifiers, modifiers and qualifiers in fuzzy logic. |
Journal of Applied Non-Classical Logics |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mingsheng Ying |
Putting consistent theories together in institutions. |
J. Comput. Sci. Technol. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
Institutions of variable truth values: An approach in the ordered style. |
J. Comput. Sci. Technol. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
A Logic for Approximate Reasoning. |
J. Symb. Log. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Mingsheng Ying |
Fuzzy semilattices. |
Inf. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")