zbMATH — the first resource for mathematics

Ying, Mingsheng

Compute Distance To:
 Author ID: ying.mingsheng Published as: Ying, Mingsheng; Ying, M.; Ying, Ming Sheng; Ying, Ming-Sheng; Ying, M. S.
 Documents Indexed: 115 Publications since 1984, including 4 Books
all top 5

Co-Authors

 57 single-authored 25 Feng, Yuan 17 Duan, Runyao 9 Ji, Zhengfeng 8 Yu, Nengkun 6 Li, Sanjiang 4 Chen, Jianxin 4 Ying, Shenggang 3 Li, Yangjia 3 Wei, Zhaohui 2 Cao, Yongzhi 2 Chen, Guoqing 2 Liu, Yingming 2 Sun, Xiaoming 2 Wirsing, Martin 1 Biacino, Loredana 1 Bouchon-Meunier, Bernadette 1 Cao, Hongen 1 Deng, Yuxin 1 Gerla, Giangiacomo 1 Guan, Ji 1 Li, Yongming 1 Liu, Junyi 1 Liu, Weiming 1 Lu, Ruqian 1 Qiu, Daowen 1 Wang, Guoming 1 Wang, Qisheng 1 Wu, Xiaodi 1 Xia, Lirong 1 Xin, Yu 1 Yu, Jun 1 Zhang, Shengyu 1 Zhang, Xiaotong 1 Zhou, Chunlai 1 Zhou, Li
all top 5

Serials

 13 Fuzzy Sets and Systems 12 Theoretical Computer Science 8 Physics Letters. A 6 IEEE Transactions on Information Theory 5 Artificial Intelligence 5 Journal of Jiangxi Normal University. Natural Science Edition 4 Acta Informatica 4 Journal of Computer and System Sciences 4 Journal of Computer Science and Technology 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 ACM Transactions on Computational Logic 3 Quantum Information & Computation 2 International Journal of Theoretical Physics 2 Fuzzy Mathematics 2 Information and Computation 2 Chinese Science Bulletin 2 Science in China. Series E 2 Fundamenta Informaticae 1 Information Processing Letters 1 Journal of Mathematical Physics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Acta Mathematica Sinica 1 IEEE Transactions on Automatic Control 1 IEEE Transactions on Computers 1 Information Sciences 1 International Journal of Mathematics and Mathematical Sciences 1 The Journal of Symbolic Logic 1 Cybernetics and Systems 1 Journal of Mathematical Research & Exposition 1 Chinese Annals of Mathematics. Series A 1 Advances in Mathematics 1 Journal of Systems Science and Mathematical Sciences 1 International Journal of Intelligent Systems 1 Formal Aspects of Computing 1 Journal of Applied Non-Classical Logics 1 Mathematical Logic Quarterly (MLQ) 1 Acta Mathematica Sinica. English Series 1 Physical Review Letters 1 Journal of Software
all top 5

Fields

 58 Computer science (68-XX) 43 Quantum theory (81-XX) 33 Mathematical logic and foundations (03-XX) 14 General topology (54-XX) 10 Information and communication theory, circuits (94-XX) 7 Probability theory and stochastic processes (60-XX) 3 Functional analysis (46-XX) 2 General and overarching topics; collections (00-XX) 2 Measure and integration (28-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX)

Citations contained in zbMATH Open

83 Publications have been cited 656 times in 394 Documents Cited by Year
A new approach for fuzzy topology. I. Zbl 0718.54017
Ying, Mingsheng
1991
A new approach for fuzzy topology. II. Zbl 0752.54002
Ying, Mingsheng
1992
A new approach for fuzzy topology. III. Zbl 0785.54013
Ying, Mingsheng
1993
Automata theory based on quantum logic. II. Zbl 1047.81007
Ying, Mingsheng
2000
Fuzzifying topology based on complete residuated lattice-valued logic. I. Zbl 0787.54010
Ying, Mingsheng
1993
Linguistic quantifiers modeled by Sugeno integrals. Zbl 1131.68551
Ying, Mingsheng
2006
A theory of computation based on quantum logic. I. Zbl 1079.68035
Ying, Mingsheng
2005
A logic for approximate reasoning. Zbl 0809.03015
Ying, Mingsheng
1994
Automata theory based on quantum logic. I. Zbl 0962.03029
Ying, Mingsheng
2000
Region connection calculus: Its models and composition table. Zbl 1082.68821
Li, Sanjiang; Ying, Mingsheng
2003
Generalized region connection calculus. Zbl 1086.68131
Li, Sanjiang; Ying, Mingsheng
2004
Bisimulation indexes and their applications. Zbl 1015.68134
Ying, Mingsheng
2002
Topology in process calculus. Approximate correctness and infinite evolution of concurrent programs. Zbl 0971.68111
Ying, Mingsheng
2001
Model checking quantum Markov chains. Zbl 1311.68086
Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
2013
Bisimulation for quantum processes. Zbl 1284.68425
Feng, Yuan; Duan, Runyao; Ying, Mingsheng
2011
Distinguishability of quantum states by separable operations. Zbl 1367.81024
Duan, Runyao; Feng, Yuan; Xin, Yu; Ying, Mingsheng
2009
On standard models of fuzzy modal logics. Zbl 0654.03013
Ying, Mingsheng
1988
Compactness in fuzzifying topology. Zbl 0791.54003
Ying, Mingsheng
1993
Probabilistic bisimulations for quantum processes. Zbl 1130.68079
Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng
2007
Characterizations of quantum automata. Zbl 1075.68030
Qiu, Daowen; Ying, Mingsheng
2004
Entanglement is not necessary for perfect discrimination between unitary operations. Zbl 1228.81083
Duan, Runyao; Feng, Yuan; Ying, Mingsheng
2007
An algebra of quantum processes. Zbl 1351.68187
Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng
2009
A modified quantum adiabatic evolution for the Deutsch-Jozsa problem. Zbl 1181.81027
Wei, Zhaohui; Ying, Mingsheng
2006
The fundamental theorem of ultraproduct in Pavelka’s logic. Zbl 0798.03021
Ying, Mingsheng
1992
Approximate bisimilarity. Zbl 0983.68131
Ying, Mingsheng; Wirsing, Martin
2000
Approximate reasoning based on similarity. Zbl 0957.68112
Biacino, Loredana; Gerla, Giangiacomo; Ying, Mingsheng
2000
Parameter estimation of quantum channels. Zbl 1319.81025
Ji, Zheng-Feng; Wang, Guoming; Duan, Runyao; Feng, Yuan; Ying, Mingsheng
2008
Distinguishability of quantum states by positive operator-valued measures with positive partial transpose. Zbl 1360.81128
Yu, Nengkun; Duan, Runyao; Ying, Mingsheng
2014
Reasoning about probabilistic sequential programs in a probabilistic logic. Zbl 1060.68073
Ying, Mingsheng
2003
Extensionality of the RCC8 composition table. Zbl 1030.68084
Li, Sanjiang; Ying, Mingsheng
2003
Fuzzy topology based on residuated lattice-valued logic. Zbl 0999.54001
Ying, Ming Sheng
2001
Additive models of probabilistic processes. Zbl 1026.68100
Ying, Mingsheng
2002
Reachability probabilities of quantum Markov chains. Zbl 1390.68444
Ying, Shenggang; Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
2013
Reasoning about cardinal directions between extended objects. Zbl 1205.68399
Liu, Weiming; Zhang, Xiaotong; Li, Sanjiang; Ying, Mingsheng
2010
An algebraic language for distributed quantum computing. Zbl 1367.81039
Ying, Mingsheng; Feng, Yuan
2009
On the method of neighborhood systems in fuzzy topology. Zbl 0843.54004
Ying, Mingsheng
1994
Fuzzyfying uniform spaces. Zbl 0785.54012
Ying, Mingsheng
1993
The LU-LC conjecture is false. Zbl 1187.81037
Ji, Zhengfeng; Chen, Jianxin; Wei, Zhaohui; Ying, Mingsheng
2010
Deduction theorem for many-valued inference. Zbl 0772.03007
Ying, Mingsheng
1991
Compactness, the Löwenheim-Skolem property and the direct product of lattices of truth values. Zbl 0798.03022
Ying, Mingsheng
1992
Quantifiers, modifiers and qualifiers in fuzzy logic. Zbl 0885.03024
1997
Proof rules for the correctness of quantum programs. Zbl 1137.68038
Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng
2007
$$\pi$$-calculus with noisy channels. Zbl 1079.68067
Ying, Mingsheng
2005
Reachability and termination analysis of concurrent quantum programs. Zbl 1364.68145
Yu, Nengkun; Ying, Mingsheng
2012
Soft constraint abstraction based on semiring homomorphism. Zbl 1158.68044
Li, Sanjiang; Ying, Mingsheng
2008
Symbolic bisimulation for quantum processes. Zbl 1291.68237
Feng, Yuan; Deng, Yuxin; Ying, Mingsheng
2014
Quantum operation, quantum Fourier transform and semi-definite programming. Zbl 1118.81341
Duan, Runyao; Ji, Zhengfeng; Feng, Yuan; Ying, Mingsheng
2004
A shorter proof to uniqueness of solutions of equations. Zbl 0913.68218
Ying, Mingsheng
1999
Existence of universal entangler. Zbl 1153.81338
Chen, Jianxin; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng; Yu, Jun
2008
Predicate transformer semantics of quantum programs. Zbl 1196.68123
Ying, Mingsheng; Duan, Runyao; Feng, Yuan; Ji, Zhengfeng
2010
Toward automatic verification of quantum cryptographic protocols. Zbl 1374.68327
Feng, Yuan; Ying, Mingsheng
2015
Decomposition of quantum Markov chains and its applications. Zbl 1391.68079
Guan, Ji; Feng, Yuan; Ying, Mingsheng
2018
Weak confluence and $$\tau$$-inertness. Zbl 0944.68137
Ying, M.
2000
Universal quantum-copying machines: A sufficient and necessary condition. Zbl 0997.81520
Ying, Mingsheng
2002
Approximating Markov processes through filtration. Zbl 1257.68111
Zhou, Chunlai; Ying, Mingsheng
2012
Commutativity of quantum weakest preconditions. Zbl 1184.68258
Ying, Mingsheng; Chen, Jianxin; Feng, Yuan; Duan, Runyao
2007
Quantum loop programs. Zbl 1214.68168
Ying, Mingsheng; Feng, Yuan
2010
Termination of nondeterministic quantum programs. Zbl 1359.68092
Li, Yangjia; Yu, Nengkun; Ying, Mingsheng
2014
Similarity-based supervisory control of discrete-event systems. Zbl 1366.93343
Cao, Yongzhi; Ying, Mingsheng
2006
Invariants of quantum programs: characterisations and generation. Zbl 1380.68135
Ying, Mingsheng; Ying, Shenggang; Wu, Xiaodi
2017
(Un)decidable problems about reachability of quantum systems. Zbl 1417.68042
Li, Yangjia; Ying, Mingsheng
2014
Infinite variables norm operators and a construction method for a sort of fuzzy measures. Zbl 0647.28015
Ying, Mingsheng
1987
Fuzzifying topological structures in probabilistic metric spaces. Zbl 0849.54006
Ying, Mingsheng
1993
A compactness of cover-style in fuzzy topology. Zbl 0823.54003
Ying, Mingsheng
1994
When is the ideal completion of abstract basis algebraic. Zbl 0871.68064
Ying, Mingsheng
1996
On countable RCC models. Zbl 1096.68146
Li, Sanjiang; Ying, Mingsheng; Li, Yongming
2005
Local discrimination of maximally entangled states in canonical form. Zbl 1123.81309
Cao, Hongen; Ying, Mingsheng
2004
On fuzzy degrees of fuzzy operators. Zbl 0597.94032
Ying, Mingsheng
1984
Topology in process calculus. I: Limit behaviour of agents. Zbl 0937.68048
Ying, Mingsheng
1999
A model of reasoning about knowledge. Zbl 0926.03014
Lu, Ruqian; Ying, Mingsheng
1998
Universal and original-preserving quantum copying is impossible. Zbl 0994.81023
Feng, Yuan; Zhang, Shengyu; Sun, Xiaoming; Ying, Mingsheng
2002
Wootters-Zurek quantum-copying machine: the higher-dimensional case. Zbl 0996.81009
Ying, Mingsheng
2002
Reachability analysis of recursive quantum Markov chains. Zbl 1400.68073
Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
2013
Reasonableness of the compositional rule of fuzzy inference. Zbl 0695.03007
Ying, Mingsheng
1990
Comparability of multipartite entanglement. Zbl 1209.81032
Ji, Zhengfeng; Duan, Runyao; Ying, Mingsheng
2004
Toward automatic verification of quantum programs. Zbl 1425.68271
Ying, Mingsheng
2019
Recursive equations in higher-order process calculi. Zbl 0992.68147
Ying, M.; Wirsing, M.
2001
Strassen’s theorem for quantum couplings. Zbl 1442.81005
Zhou, Li; Ying, Shenggang; Yu, Nengkun; Ying, Mingsheng
2020
A relation between fidelity and quantum adiabatic evolution. Zbl 1160.81351
Wei, Zhaohui; Ying, Mingsheng
2006
Catalyst-assisted probabilistic entanglement transformation. Zbl 1298.81015
Feng, Yuan; Duan, Runyao; Ying, Mingsheng
2005
The existence of quantum entanglement catalysts. Zbl 1298.81026
Sun, Xiaoming; Duan, Runyao; Ying, Mingsheng
2005
Model-checking linear-time properties of quantum systems. Zbl 1354.68090
Ying, Mingsheng; Li, Yangjia; Yu, Nengkun; Feng, Yuan
2014
Probabilistic automata for computing with words. Zbl 1261.68081
Cao, Yongzhi; Xia, Lirong; Ying, Mingsheng
2013
Strassen’s theorem for quantum couplings. Zbl 1442.81005
Zhou, Li; Ying, Shenggang; Yu, Nengkun; Ying, Mingsheng
2020
Toward automatic verification of quantum programs. Zbl 1425.68271
Ying, Mingsheng
2019
Decomposition of quantum Markov chains and its applications. Zbl 1391.68079
Guan, Ji; Feng, Yuan; Ying, Mingsheng
2018
Invariants of quantum programs: characterisations and generation. Zbl 1380.68135
Ying, Mingsheng; Ying, Shenggang; Wu, Xiaodi
2017
Toward automatic verification of quantum cryptographic protocols. Zbl 1374.68327
Feng, Yuan; Ying, Mingsheng
2015
Distinguishability of quantum states by positive operator-valued measures with positive partial transpose. Zbl 1360.81128
Yu, Nengkun; Duan, Runyao; Ying, Mingsheng
2014
Symbolic bisimulation for quantum processes. Zbl 1291.68237
Feng, Yuan; Deng, Yuxin; Ying, Mingsheng
2014
Termination of nondeterministic quantum programs. Zbl 1359.68092
Li, Yangjia; Yu, Nengkun; Ying, Mingsheng
2014
(Un)decidable problems about reachability of quantum systems. Zbl 1417.68042
Li, Yangjia; Ying, Mingsheng
2014
Model-checking linear-time properties of quantum systems. Zbl 1354.68090
Ying, Mingsheng; Li, Yangjia; Yu, Nengkun; Feng, Yuan
2014
Model checking quantum Markov chains. Zbl 1311.68086
Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
2013
Reachability probabilities of quantum Markov chains. Zbl 1390.68444
Ying, Shenggang; Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
2013
Reachability analysis of recursive quantum Markov chains. Zbl 1400.68073
Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
2013
Probabilistic automata for computing with words. Zbl 1261.68081
Cao, Yongzhi; Xia, Lirong; Ying, Mingsheng
2013
Reachability and termination analysis of concurrent quantum programs. Zbl 1364.68145
Yu, Nengkun; Ying, Mingsheng
2012
Approximating Markov processes through filtration. Zbl 1257.68111
Zhou, Chunlai; Ying, Mingsheng
2012
Bisimulation for quantum processes. Zbl 1284.68425
Feng, Yuan; Duan, Runyao; Ying, Mingsheng
2011
Reasoning about cardinal directions between extended objects. Zbl 1205.68399
Liu, Weiming; Zhang, Xiaotong; Li, Sanjiang; Ying, Mingsheng
2010
The LU-LC conjecture is false. Zbl 1187.81037
Ji, Zhengfeng; Chen, Jianxin; Wei, Zhaohui; Ying, Mingsheng
2010
Predicate transformer semantics of quantum programs. Zbl 1196.68123
Ying, Mingsheng; Duan, Runyao; Feng, Yuan; Ji, Zhengfeng
2010
Quantum loop programs. Zbl 1214.68168
Ying, Mingsheng; Feng, Yuan
2010
Distinguishability of quantum states by separable operations. Zbl 1367.81024
Duan, Runyao; Feng, Yuan; Xin, Yu; Ying, Mingsheng
2009
An algebra of quantum processes. Zbl 1351.68187
Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng
2009
An algebraic language for distributed quantum computing. Zbl 1367.81039
Ying, Mingsheng; Feng, Yuan
2009
Parameter estimation of quantum channels. Zbl 1319.81025
Ji, Zheng-Feng; Wang, Guoming; Duan, Runyao; Feng, Yuan; Ying, Mingsheng
2008
Soft constraint abstraction based on semiring homomorphism. Zbl 1158.68044
Li, Sanjiang; Ying, Mingsheng
2008
Existence of universal entangler. Zbl 1153.81338
Chen, Jianxin; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng; Yu, Jun
2008
Probabilistic bisimulations for quantum processes. Zbl 1130.68079
Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng
2007
Entanglement is not necessary for perfect discrimination between unitary operations. Zbl 1228.81083
Duan, Runyao; Feng, Yuan; Ying, Mingsheng
2007
Proof rules for the correctness of quantum programs. Zbl 1137.68038
Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng
2007
Commutativity of quantum weakest preconditions. Zbl 1184.68258
Ying, Mingsheng; Chen, Jianxin; Feng, Yuan; Duan, Runyao
2007
Linguistic quantifiers modeled by Sugeno integrals. Zbl 1131.68551
Ying, Mingsheng
2006
A modified quantum adiabatic evolution for the Deutsch-Jozsa problem. Zbl 1181.81027
Wei, Zhaohui; Ying, Mingsheng
2006
Similarity-based supervisory control of discrete-event systems. Zbl 1366.93343
Cao, Yongzhi; Ying, Mingsheng
2006
A relation between fidelity and quantum adiabatic evolution. Zbl 1160.81351
Wei, Zhaohui; Ying, Mingsheng
2006
A theory of computation based on quantum logic. I. Zbl 1079.68035
Ying, Mingsheng
2005
$$\pi$$-calculus with noisy channels. Zbl 1079.68067
Ying, Mingsheng
2005
On countable RCC models. Zbl 1096.68146
Li, Sanjiang; Ying, Mingsheng; Li, Yongming
2005
Catalyst-assisted probabilistic entanglement transformation. Zbl 1298.81015
Feng, Yuan; Duan, Runyao; Ying, Mingsheng
2005
The existence of quantum entanglement catalysts. Zbl 1298.81026
Sun, Xiaoming; Duan, Runyao; Ying, Mingsheng
2005
Generalized region connection calculus. Zbl 1086.68131
Li, Sanjiang; Ying, Mingsheng
2004
Characterizations of quantum automata. Zbl 1075.68030
Qiu, Daowen; Ying, Mingsheng
2004
Quantum operation, quantum Fourier transform and semi-definite programming. Zbl 1118.81341
Duan, Runyao; Ji, Zhengfeng; Feng, Yuan; Ying, Mingsheng
2004
Local discrimination of maximally entangled states in canonical form. Zbl 1123.81309
Cao, Hongen; Ying, Mingsheng
2004
Comparability of multipartite entanglement. Zbl 1209.81032
Ji, Zhengfeng; Duan, Runyao; Ying, Mingsheng
2004
Region connection calculus: Its models and composition table. Zbl 1082.68821
Li, Sanjiang; Ying, Mingsheng
2003
Reasoning about probabilistic sequential programs in a probabilistic logic. Zbl 1060.68073
Ying, Mingsheng
2003
Extensionality of the RCC8 composition table. Zbl 1030.68084
Li, Sanjiang; Ying, Mingsheng
2003
Bisimulation indexes and their applications. Zbl 1015.68134
Ying, Mingsheng
2002
Additive models of probabilistic processes. Zbl 1026.68100
Ying, Mingsheng
2002
Universal quantum-copying machines: A sufficient and necessary condition. Zbl 0997.81520
Ying, Mingsheng
2002
Universal and original-preserving quantum copying is impossible. Zbl 0994.81023
Feng, Yuan; Zhang, Shengyu; Sun, Xiaoming; Ying, Mingsheng
2002
Wootters-Zurek quantum-copying machine: the higher-dimensional case. Zbl 0996.81009
Ying, Mingsheng
2002
Topology in process calculus. Approximate correctness and infinite evolution of concurrent programs. Zbl 0971.68111
Ying, Mingsheng
2001
Fuzzy topology based on residuated lattice-valued logic. Zbl 0999.54001
Ying, Ming Sheng
2001
Recursive equations in higher-order process calculi. Zbl 0992.68147
Ying, M.; Wirsing, M.
2001
Automata theory based on quantum logic. II. Zbl 1047.81007
Ying, Mingsheng
2000
Automata theory based on quantum logic. I. Zbl 0962.03029
Ying, Mingsheng
2000
Approximate bisimilarity. Zbl 0983.68131
Ying, Mingsheng; Wirsing, Martin
2000
Approximate reasoning based on similarity. Zbl 0957.68112
Biacino, Loredana; Gerla, Giangiacomo; Ying, Mingsheng
2000
Weak confluence and $$\tau$$-inertness. Zbl 0944.68137
Ying, M.
2000
A shorter proof to uniqueness of solutions of equations. Zbl 0913.68218
Ying, Mingsheng
1999
Topology in process calculus. I: Limit behaviour of agents. Zbl 0937.68048
Ying, Mingsheng
1999
A model of reasoning about knowledge. Zbl 0926.03014
Lu, Ruqian; Ying, Mingsheng
1998
Quantifiers, modifiers and qualifiers in fuzzy logic. Zbl 0885.03024
1997
When is the ideal completion of abstract basis algebraic. Zbl 0871.68064
Ying, Mingsheng
1996
A logic for approximate reasoning. Zbl 0809.03015
Ying, Mingsheng
1994
On the method of neighborhood systems in fuzzy topology. Zbl 0843.54004
Ying, Mingsheng
1994
A compactness of cover-style in fuzzy topology. Zbl 0823.54003
Ying, Mingsheng
1994
A new approach for fuzzy topology. III. Zbl 0785.54013
Ying, Mingsheng
1993
Fuzzifying topology based on complete residuated lattice-valued logic. I. Zbl 0787.54010
Ying, Mingsheng
1993
Compactness in fuzzifying topology. Zbl 0791.54003
Ying, Mingsheng
1993
Fuzzyfying uniform spaces. Zbl 0785.54012
Ying, Mingsheng
1993
Fuzzifying topological structures in probabilistic metric spaces. Zbl 0849.54006
Ying, Mingsheng
1993
A new approach for fuzzy topology. II. Zbl 0752.54002
Ying, Mingsheng
1992
The fundamental theorem of ultraproduct in Pavelka’s logic. Zbl 0798.03021
Ying, Mingsheng
1992
Compactness, the Löwenheim-Skolem property and the direct product of lattices of truth values. Zbl 0798.03022
Ying, Mingsheng
1992
A new approach for fuzzy topology. I. Zbl 0718.54017
Ying, Mingsheng
1991
Deduction theorem for many-valued inference. Zbl 0772.03007
Ying, Mingsheng
1991
Reasonableness of the compositional rule of fuzzy inference. Zbl 0695.03007
Ying, Mingsheng
1990
On standard models of fuzzy modal logics. Zbl 0654.03013
Ying, Mingsheng
1988
Infinite variables norm operators and a construction method for a sort of fuzzy measures. Zbl 0647.28015
Ying, Mingsheng
1987
On fuzzy degrees of fuzzy operators. Zbl 0597.94032
Ying, Mingsheng
1984
all top 5

Cited by 533 Authors

 31 Ying, Mingsheng 17 Shi, Fu-Gui 14 Qiu, Daowen 12 Li, Sanjiang 12 Li, Yongming 11 Fang, Jinming 11 Yan, Conghua 9 Feng, Yuan 8 Sayed, Osama Rashed 8 Šostak, Alexander P. 8 Wang, Guojun 7 Pang, Bin 7 Yue, Yueli 7 Zhang, Dexue 6 Lu, Ruqian 6 Xiu, Zhenyu 5 Cao, Yongzhi 5 Chen, Yixiang 5 Gao, Fei 5 Liu, Weiming 5 Lu, Xian 5 Ma, Yanfang 5 Shang, Yun 5 Wen, Qiaoyan 5 Yang, Yinghui 5 Yu, Nengkun 5 Zahran, Ahmed M. 4 Deng, Yuxin 4 Duan, Runyao 4 Holcapek, Michal 4 Leung, Debbie W. 4 Li, Lvzhou 4 Lu, Songfeng 4 Mousa, Ahmed K. 4 Pan, Haiyu 4 Sun, Jie 4 Wu, Hengyang 4 Xu, Luoshan 4 Yao, Wei 4 Zuo, Huijuan 3 Agahi, Hamzeh 3 Cao, Tianqing 3 Ćirić, Miroslav D. 3 Droste, Manfred 3 Düntsch, Ivo 3 Dvořák, Antonín 3 Gerla, Giangiacomo 3 Godo, Lluís 3 Guan, Xuechong 3 Ignjatović, Jelena 3 Jin, Jianhua 3 Jun, Young Bae 3 Leporini, Roberto 3 Li, Hongyan 3 Li, Qingguo 3 Liu, Fang 3 Novák, Vilém 3 Sánchez, Daniel Eduardo 3 Shen, Jizhong 3 Wu, Lihua 3 Wu, Xiuyun 3 Xu, Yang 3 Ying, Shenggang 3 Zhang, Jinjin 3 Zhang, Xiaohong 3 Zhang, Zhichao 3 Zhu, Zhaohui 3 Zomorodi-Moghadam, Mariam 2 Abbas, Salah El-Deen 2 Bai, Shizhong 2 Bertini, Cesarino 2 Binshahnah, H. M. 2 Chen, Liang 2 Chen, Piwei 2 Chitambar, Eric 2 Cui, Licong 2 Cuijpers, Pieter J. L. 2 Dai, Guiping 2 D’Ariano, Giacomo Mauro 2 Delgado, Miguel Ángel 2 El-Saady, Kamal 2 Esteva, Francesc 2 Fei, Shaoming 2 Filippov, Sergey N. 2 Garcia, Pere 2 Ghareeb, A. 2 Giuntini, Roberto 2 Gruninger, Michael 2 Guan, Ji 2 Gutiérrez García, Javier 2 Hahmann, Torsten 2 Houshmand, Mahboobeh 2 Houshmand, Monireh 2 Hsieh, Min-Hsiu 2 Hui, Xiaojing 2 Ji, Zhengfeng 2 Jinming, Fang 2 Khalaf, Mohammed M. 2 Khedr, Fathi H. 2 Lee, Moonho ...and 433 more Authors
all top 5

Cited in 93 Serials

 93 Fuzzy Sets and Systems 24 Theoretical Computer Science 20 Information Sciences 20 Quantum Information Processing 19 International Journal of Theoretical Physics 14 Artificial Intelligence 13 Soft Computing 9 International Journal of Approximate Reasoning 8 Journal of Intelligent and Fuzzy Systems 8 International Journal of Quantum Information 7 Journal of Mathematical Physics 6 Information and Computation 6 Journal of the Egyptian Mathematical Society 5 Computers & Mathematics with Applications 5 Iranian Journal of Fuzzy Systems 5 Science in China. Series F 4 Acta Informatica 4 International Journal of General Systems 4 International Journal of Mathematics and Mathematical Sciences 4 New Journal of Physics 4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 3 Journal of Computer Science and Technology 3 MSCS. Mathematical Structures in Computer Science 2 Communications in Mathematical Physics 2 Journal of Mathematical Analysis and Applications 2 Physics Letters. A 2 Applied Mathematics and Computation 2 Journal of Computer and System Sciences 2 Notre Dame Journal of Formal Logic 2 Formal Aspects of Computing 2 Artificial Intelligence Review 2 Journal of Mathematical Sciences (New York) 2 Mathematical Problems in Engineering 2 Discrete Dynamics in Nature and Society 2 Acta Mathematica Sinica. English Series 2 The Journal of Logic and Algebraic Programming 2 Theory and Practice of Logic Programming 2 Journal of Applied Mathematics 2 ACM Transactions on Computational Logic 2 Foundations of Physics 2 Journal of Physics A: Mathematical and Theoretical 2 Advances in Fuzzy Systems 2 Science China. Information Sciences 1 International Journal of Modern Physics B 1 Astrophysics and Space Science 1 Information Processing Letters 1 Letters in Mathematical Physics 1 Reviews in Mathematical Physics 1 Automatica 1 Czechoslovak Mathematical Journal 1 Demonstratio Mathematica 1 Quaestiones Mathematicae 1 SIAM Journal on Computing 1 Topology and its Applications 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 International Journal of Foundations of Computer Science 1 Designs, Codes and Cryptography 1 Annals of Physics 1 Chinese Science Bulletin 1 Formal Methods in System Design 1 Journal of Applied Non-Classical Logics 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics and Artificial Intelligence 1 Constraints 1 Abstract and Applied Analysis 1 Infinite Dimensional Analysis, Quantum Probability and Related Topics 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Annales Henri Poincaré 1 Physical Review Letters 1 Journal of Modern Optics 1 Bulletin of the Brazilian Mathematical Society. New Series 1 Computational Intelligence 1 Journal of Algebra and its Applications 1 New Mathematics and Natural Computation 1 Proceedings of the Steklov Institute of Mathematics 1 Applications and Applied Mathematics 1 Nonlinear Analysis. Hybrid Systems 1 Journal of Nonlinear Science and Applications 1 The Review of Symbolic Logic 1 Physical Review A, Third Series 1 Applied General Topology 1 Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Advanced Studies in Topology 1 Asian Journal of Control 1 Afrika Matematika 1 Fuzzy Information and Engineering 1 Frontiers of Computer Science in China 1 Journal of Logical and Algebraic Methods in Programming 1 International Journal of Applied and Computational Mathematics 1 Open Mathematics
all top 5

Cited in 31 Fields

 158 Computer science (68-XX) 109 General topology (54-XX) 104 Quantum theory (81-XX) 96 Mathematical logic and foundations (03-XX) 24 Information and communication theory, circuits (94-XX) 23 Order, lattices, ordered algebraic structures (06-XX) 15 Measure and integration (28-XX) 10 Category theory; homological algebra (18-XX) 9 Functional analysis (46-XX) 8 Combinatorics (05-XX) 8 Systems theory; control (93-XX) 7 Convex and discrete geometry (52-XX) 6 Operator theory (47-XX) 6 Probability theory and stochastic processes (60-XX) 4 Associative rings and algebras (16-XX) 4 Group theory and generalizations (20-XX) 3 Topological groups, Lie groups (22-XX) 3 Statistics (62-XX) 3 Relativity and gravitational theory (83-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Partial differential equations (35-XX) 1 Geometry (51-XX) 1 Mechanics of particles and systems (70-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Astronomy and astrophysics (85-XX)