The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Mingsheng Ying: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mingsheng Ying, Martin Wirsing
    Approximate Bisimilarity. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:309-322 [Conf]
  2. Mingsheng Ying
    A theory of computation based on quantum logic (I). [Citation Graph (0, 0)][DBLP]
    GrC, 2005, pp:91- [Conf]
  3. Mingsheng Ying
    Reasoning about probabilistic sequential programs in a probabilistic logic. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2003, v:39, n:5, pp:315-389 [Journal]
  4. Mingsheng Ying
    pi-calculus with noisy channels. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:41, n:9, pp:525-593 [Journal]
  5. Sanjiang Li, Mingsheng Ying
    Region Connection Calculus: Its models and composition table. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:145, n:1-2, pp:121-146 [Journal]
  6. Sanjiang Li, Mingsheng Ying
    Generalized Region Connection Calculus. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:160, n:1-2, pp:1-34 [Journal]
  7. Mingsheng Ying
    Knowledge transformation and fusion in diagnostic systems. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:163, n:1, pp:1-45 [Journal]
  8. Mingsheng Ying
    Linguistic quantifiers modeled by Sugeno integrals. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2006, v:170, n:6-7, pp:581-606 [Journal]
  9. Mingsheng Ying, Huaiqing Wang
    Lattice-theoretic models of conjectures, hypotheses and consequences. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:139, n:2, pp:253-267 [Journal]
  10. Yongzhi Cao, Mingsheng Ying
    Supervisory Control of Fuzzy Discrete Event Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  11. Yongzhi Cao, Mingsheng Ying
    Observability and Decentralized Control of Fuzzy Discrete Event Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  12. Yongzhi Cao, Mingsheng Ying
    Similarity-Based Supervisory Control of Discrete Event Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  13. Mingsheng Ying
    A Theory of Computation Based on Quantum Logic (I) [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  14. Sanjiang Li, Mingsheng Ying
    Extensionality of the RCC8 Composition Table. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:55, n:3-4, pp:363-385 [Journal]
  15. Sanjiang Li, Mingsheng Ying, Yongming Li
    On countable RCC models. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:65, n:4, pp:329-351 [Journal]
  16. Mingsheng Ying
    Fuzzy semilattices. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1987, v:43, n:3, pp:155-159 [Journal]
  17. Mingsheng Ying, Bernadette Bouchon-Meunier
    Quantifiers, modifiers and qualifiers in fuzzy logic. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1997, v:7, n:3, pp:- [Journal]
  18. Yuan Feng, Mingsheng Ying
    Process Algebra Approach to Reasoning About Concurrent Actions. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2004, v:19, n:3, pp:364-0 [Journal]
  19. Runyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying
    Some Issues in Quantum Information Theory. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2006, v:21, n:5, pp:776-789 [Journal]
  20. Mingsheng Ying
    A Logic for Approximate Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:830-837 [Journal]
  21. Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying
    Approximate Reasoning Based on Similarity. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:1, pp:77-86 [Journal]
  22. Daowen Qiu, Mingsheng Ying
    Characterizations of quantum automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:312, n:2-3, pp:479-489 [Journal]
  23. Mingsheng Ying
    Weak confluence and tau-inertness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:238, n:1-2, pp:465-475 [Journal]
  24. Mingsheng Ying
    Bisimulation indexes and their applications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:275, n:1-2, pp:1-68 [Journal]
  25. Mingsheng Ying
    Additive models of probabilistic processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:275, n:1-2, pp:481-519 [Journal]
  26. Mingsheng Ying
    A theory of computation based on quantum logic (I). [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:344, n:2-3, pp:134-207 [Journal]
  27. Mingsheng Ying
    A Shorter Proof to Uniqueness of Solutions of Equations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:395-397 [Journal]
  28. Mingsheng Ying, Martin Wirsing
    Recursive equations in higher-order process calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:839-852 [Journal]
  29. Yuan Feng, Runyao Duan, Mingsheng Ying
    Catalyst-assisted probabilistic entanglement transformation. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 2005, v:51, n:3, pp:1090-1101 [Journal]
  30. Xiaoming Sun, Runyao Duan, Mingsheng Ying
    The existence of quantum entanglement catalysts. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 2005, v:51, n:1, pp:75-80 [Journal]
  31. Yongzhi Cao, Mingsheng Ying
    Supervisory control of fuzzy discrete event systems. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2005, v:35, n:2, pp:366-371 [Journal]
  32. Lirong Xia, Jérôme Lang, Mingsheng Ying
    Strongly Decomposable Voting Rules on Multiattribute Domains. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:776-781 [Conf]
  33. Sanjiang Li, Mingsheng Ying
    Soft constraint abstraction based on semiring homomorphism [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  34. Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
    Probabilistic bisimilarities between quantum processes [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  35. Yongzhi Cao, Mingsheng Ying, Guoqing Chen
    Retraction and Generalized Extension of Computing with Words [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  36. Yongzhi Cao, Lirong Xia, Mingsheng Ying
    Probabilistic Automata for Computing with Words [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  37. Yingming Liu, Mingsheng Ying, Guoqing Chen
    On fundamentals of fuzzy logic and soft computing and some applications. [Citation Graph (0, 0)][DBLP]
    Fuzzy Sets and Systems, 2007, v:158, n:9, pp:927-928 [Journal]
  38. Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan
    Commutativity of quantum weakest preconditions. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:104, n:4, pp:152-158 [Journal]
  39. Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
    Proof rules for the correctness of quantum programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:386, n:1-2, pp:151-166 [Journal]

  40. Reasoning with Cardinal Directions: An Efficient Algorithm. [Citation Graph (, )][DBLP]


  41. Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. [Citation Graph (, )][DBLP]


  42. Sequential voting rules and multiple elections paradoxes. [Citation Graph (, )][DBLP]


  43. An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection. [Citation Graph (, )][DBLP]


  44. Quantum computation, quantum theory and AI. [Citation Graph (, )][DBLP]


  45. Reasoning about cardinal directions between extended objects. [Citation Graph (, )][DBLP]


  46. Relational reasoning in the region connection calculus [Citation Graph (, )][DBLP]


  47. Proof rules for purely quantum programs [Citation Graph (, )][DBLP]


  48. State-Based Control of Fuzzy Discrete Event Systems [Citation Graph (, )][DBLP]


  49. Reasoning about Cardinal Directions between Extended Objects [Citation Graph (, )][DBLP]


  50. Bisimulation for quantum processes [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.307secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002