×

zbMATH — the first resource for mathematics

Ying, Mingsheng

Compute Distance To:
Author ID: ying.mingsheng Recent zbMATH articles by "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

Publications by Year

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

Citations by Year