×
Edit Profile (opens in new tab)

Feng, Yuan

Co-Author Distance
Author ID: feng.yuan Recent zbMATH articles by "Feng, Yuan"
Published as: Feng, Yuan
Documents Indexed: 70 Publications since 2002, including 1 Book
1 Further Contribution
Co-Authors: 75 Co-Authors with 70 Joint Publications
1,905 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
28 Ying, Mingsheng
14 Duan, Runyao
7 Gao, Wei
7 Wu, Di
6 Ji, Zhengfeng
5 Deng, Yuxin
4 Feng, Guo
4 Yang, Lixing
4 Yu, Nengkun
4 Zhang, Lijun
3 Luo, Zhen
3 Wang, Qihan
2 Driessen, Theo S. H.
2 Li, Lvzhou
2 Li, Sanjiang
2 Li, Yangjia
2 Still, Georg J.
2 Tin-Loi, Francis
2 Ying, Shenggang
2 Zhang, Yanpeng
1 Alamdari, Mehrisadat Makki
1 Cao, Yuejing
1 Chen, Jianxin
1 Chen, Taolue
1 Chi, Eric C.
1 Dal Lago, Ugo
1 Fan, Wenhui
1 Fang, Yuzhi
1 Guan, Ji
1 Hahn, Ernst Moritz
1 Hu, Hongchang
1 Huang, Chengchao
1 Jeremić, Boris
1 Li, Baochun
1 Li, Bo
1 Li, Guoyin
1 Li, Kangkang
1 Li, Sifan
1 Li, Wei
1 Li, Yameng
1 Li, Yufeng
1 Liu, Xinhong
1 Liu, Yang
1 Liu, Yiyang
1 Liu, Zhenyu
1 McCallen, David B.
1 Mu, Fan
1 Qin, Yisha
1 Rosenblum, David S.
1 Ruan, Dong
1 Shi, Yaoyun
1 Sinha, Sumeet Kumar
1 Stewart, Mark G.
1 Su, Guoxin
1 Sun, Xiaoming
1 Tian, Yuhang
1 Turrini, Andrea
1 Wang, Guoming
1 Wang, Li
1 Wu, Zhangming
1 Xiao, Luo
1 Xin, Yu
1 Xiong, Siqi
1 Xu, Ming
1 Xu, Minqiang
1 Yang, Chengwei
1 Yang, Han
1 Yu, Xiaojun
1 Zhang, Lei
1 Zhang, Qiang
1 Zhang, Shengyu
1 Zhang, Siqiang
1 Zhang, Tianyu
1 Zhao, Yuan
1 Zhou, Li
all top 5

Serials

7 Computer Methods in Applied Mechanics and Engineering
5 IEEE Transactions on Information Theory
4 Journal of Computer and System Sciences
4 Information and Computation
4 ACM Transactions on Computational Logic
3 Theoretical Computer Science
2 Acta Informatica
2 Information Processing Letters
2 Physics Letters. A
2 IEEE Transactions on Computers
2 Journal of Inequalities and Applications
2 Physical Review Letters
2 Journal of Mathematical Inequalities
2 Fuzzy Systems and Mathematics
1 International Journal of Engineering Science
1 Journal of Computational and Applied Mathematics
1 Mathematics in Practice and Theory
1 Applied Mathematics Letters
1 Annals of Physics
1 Applied Mathematical Modelling
1 Journal of Statistical Computation and Simulation
1 Linear Algebra and its Applications
1 Distributed Computing
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Journal of Zhejiang University. Science Edition
1 Journal of Software
1 Quantum Information & Computation
1 Algorithms
1 Journal of Computational and Graphical Statistics
1 Annalen der Physik
all top 5

Fields

36 Quantum theory (81-XX)
33 Computer science (68-XX)
8 Mechanics of deformable solids (74-XX)
7 Operations research, mathematical programming (90-XX)
6 Statistics (62-XX)
5 Mathematical logic and foundations (03-XX)
4 Approximations and expansions (41-XX)
4 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
4 Information and communication theory, circuits (94-XX)
3 Numerical analysis (65-XX)
2 Probability theory and stochastic processes (60-XX)
2 Optics, electromagnetic theory (78-XX)
1 Measure and integration (28-XX)
1 Partial differential equations (35-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Fluid mechanics (76-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

49 Publications have been cited 364 times in 246 Documents Cited by ▼ Year ▼
Characterizing locally indistinguishable orthogonal product states. Zbl 1367.81015
Feng, Yuan; Shi, Yaoyun
30
2009
Model checking quantum Markov chains. Zbl 1311.68086
Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
27
2013
A bicriteria solid transportation problem with fixed charge under stochastic environment. Zbl 1173.90331
Yang, Lixing; Feng, Yuan
20
2007
An algebra of quantum processes. Zbl 1351.68187
Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng
19
2009
Bisimulation for quantum processes. Zbl 1284.68425
Feng, Yuan; Duan, Runyao; Ying, Mingsheng
19
2011
Entanglement is not necessary for perfect discrimination between unitary operations. Zbl 1228.81083
Duan, Runyao; Feng, Yuan; Ying, Mingsheng
19
2007
Parameter estimation of quantum channels. Zbl 1319.81025
Ji, Zheng-Feng; Wang, Guoming; Duan, Runyao; Feng, Yuan; Ying, Mingsheng
19
2008
Distinguishability of quantum states by separable operations. Zbl 1367.81024
Duan, Runyao; Feng, Yuan; Xin, Yu; Ying, Mingsheng
19
2009
Probabilistic bisimulations for quantum processes. Zbl 1130.68079
Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng
16
2007
Reachability probabilities of quantum Markov chains. Zbl 1390.68444
Ying, Shenggang; Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
12
2013
Open bisimulation for quantum processes. Zbl 1362.68210
Deng, Yuxin; Feng, Yuan
11
2012
An algebraic language for distributed quantum computing. Zbl 1367.81039
Ying, Mingsheng; Feng, Yuan
11
2009
On hybrid models of quantum finite automata. Zbl 1323.68273
Li, Lvzhou; Feng, Yuan
9
2015
Model-checking linear-time properties of quantum systems. Zbl 1354.68090
Ying, Mingsheng; Li, Yangjia; Yu, Nengkun; Feng, Yuan
9
2014
Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties. Zbl 1329.68119
Li, Lvzhou; Feng, Yuan
8
2015
Machine learning aided phase field method for fracture mechanics. Zbl 07444795
Feng, Yuan; Wang, Qihan; Wu, Di; Luo, Zhen; Chen, Xiaojun; Zhang, Tianyu; Gao, Wei
8
2021
Symbolic bisimulation for quantum processes. Zbl 1291.68237
Feng, Yuan; Deng, Yuxin; Ying, Mingsheng
7
2014
Machine learning aided stochastic elastoplastic analysis. Zbl 1442.74041
Feng, Yuan; Gao, Wei; Wu, Di; Tin-Loi, Francis
7
2019
Perturbation analysis in verification of discrete-time Markov chains. Zbl 1417.68100
Chen, Taolue; Feng, Yuan; Rosenblum, David S.; Su, Guoxin
7
2014
A two-objective fuzzy \(k\)-cardinality assignment problem. Zbl 1098.90064
Feng, Yuan; Yang, Lixing
7
2006
Proof rules for the correctness of quantum programs. Zbl 1137.68038
Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng
7
2007
Quantum loop programs. Zbl 1214.68168
Ying, Mingsheng; Feng, Yuan
6
2010
Stochastic nonlocal damage analysis by a machine learning approach. Zbl 1506.74019
Feng, Yuan; Wang, Qihan; Wu, Di; Gao, Wei; Tin-Loi, Francis
6
2020
Energy dissipation analysis of elastic-plastic materials. Zbl 1439.74071
Yang, Han; Sinha, Sumeet Kumar; Feng, Yuan; McCallen, David B.; Jeremić, Boris
5
2018
Predicate transformer semantics of quantum programs. Zbl 1196.68123
Ying, Mingsheng; Duan, Runyao; Feng, Yuan; Ji, Zhengfeng
5
2010
Decomposition of quantum Markov chains and its applications. Zbl 1391.68079
Guan, Ji; Feng, Yuan; Ying, Mingsheng
4
2018
Price competition in an oligopoly market with multiple IaaS cloud providers. Zbl 1364.91090
Feng, Yuan; Li, Baochun; Li, Bo
4
2014
Reachability analysis of recursive quantum Markov chains. Zbl 1400.68073
Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
3
2013
Model checking \(\omega\)-regular properties for quantum Markov chains. Zbl 1442.68106
Feng, Yuan; Hahn, Ernst Moritz; Turrini, Andrea; Ying, Shenggang
3
2017
Model checking quantum systems. Principles and algorithms. Zbl 1496.68008
Ying, Mingsheng; Feng, Yuan
3
2021
Quantum operation, quantum Fourier transform and semi-definite programming. Zbl 1118.81341
Duan, Runyao; Ji, Zhengfeng; Feng, Yuan; Ying, Mingsheng
3
2004
Past, current and future trends and challenges in non-deterministic fracture mechanics: a review. Zbl 1539.74401
Feng, Yuan; Wu, Di; Stewart, Mark G.; Gao, Wei
3
2023
A proof system for disjoint parallel quantum programs. Zbl 1478.68047
Ying, Mingsheng; Zhou, Li; Li, Yangjia; Feng, Yuan
3
2022
Polymorphic uncertainty quantification for engineering structures via a hyperplane modelling technique. Zbl 1507.74279
Wang, Qihan; Feng, Yuan; Wu, Di; Li, Guoyin; Liu, Zhenyu; Gao, Wei
3
2022
A matrix approach to associated consistency of the Shapley value for games in generalized characteristic function form. Zbl 1286.91013
Feng, Yuan; Driessen, Theo S. H.; Still, Georg
2
2013
Triphoton correlations in six-wave mixing. Zbl 1435.81282
Zhang, Siqiang; Li, Wei; Li, Kangkang; Li, Yameng; Mu, Fan; Feng, Yuan; Liu, Yang; Zhang, Yanpeng
2
2020
Commutativity of quantum weakest preconditions. Zbl 1184.68258
Ying, Mingsheng; Chen, Jianxin; Feng, Yuan; Duan, Runyao
2
2007
Probabilistic bisimilarity as testing equivalence. Zbl 1380.68293
Deng, Yuxin; Feng, Yuan
2
2017
On coinduction and quantum lambda calculi. Zbl 1374.68097
Deng, Yuxin; Feng, Yuan; Dal Lago, Ugo
2
2015
Toward automatic verification of quantum cryptographic protocols. Zbl 1374.68327
Feng, Yuan; Ying, Mingsheng
2
2015
Measuring the constrained reachability in quantum Markov chains. Zbl 1483.68140
Xu, Ming; Huang, Cheng-Chao; Feng, Yuan
2
2021
A tighter bound for the self-stabilization time in Herman’s algorithm. Zbl 1291.68428
Feng, Yuan; Zhang, Lijun
1
2013
A system dynamics-based simulation model of production line with cross-trained workers. Zbl 1453.90065
Feng, Yuan; Fan, Wenhui
1
2014
A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. Zbl 1417.68296
Feng, Yuan; Zhang, Lijun
1
2014
Verification of distributed quantum programs. Zbl 1508.68218
Feng, Yuan; Li, Sanjiang; Ying, Mingsheng
1
2022
Universal and original-preserving quantum copying is impossible. Zbl 0994.81023
Feng, Yuan; Zhang, Shengyu; Sun, Xiaoming; Ying, Mingsheng
1
2002
Catalyst-assisted probabilistic entanglement transformation. Zbl 1298.81015
Feng, Yuan; Duan, Runyao; Ying, Mingsheng
1
2005
Sparse single index models for multivariate responses. Zbl 07499886
Feng, Yuan; Xiao, Luo; Chi, Eric C.
1
2021
Gradient recovery based finite element methods for the two-dimensional quad-curl problem. Zbl 1522.65208
Fang, Yuzhi; Feng, Yuan; Xu, Minqiang; Zhang, Lei
1
2023
Past, current and future trends and challenges in non-deterministic fracture mechanics: a review. Zbl 1539.74401
Feng, Yuan; Wu, Di; Stewart, Mark G.; Gao, Wei
3
2023
Gradient recovery based finite element methods for the two-dimensional quad-curl problem. Zbl 1522.65208
Fang, Yuzhi; Feng, Yuan; Xu, Minqiang; Zhang, Lei
1
2023
A proof system for disjoint parallel quantum programs. Zbl 1478.68047
Ying, Mingsheng; Zhou, Li; Li, Yangjia; Feng, Yuan
3
2022
Polymorphic uncertainty quantification for engineering structures via a hyperplane modelling technique. Zbl 1507.74279
Wang, Qihan; Feng, Yuan; Wu, Di; Li, Guoyin; Liu, Zhenyu; Gao, Wei
3
2022
Verification of distributed quantum programs. Zbl 1508.68218
Feng, Yuan; Li, Sanjiang; Ying, Mingsheng
1
2022
Machine learning aided phase field method for fracture mechanics. Zbl 07444795
Feng, Yuan; Wang, Qihan; Wu, Di; Luo, Zhen; Chen, Xiaojun; Zhang, Tianyu; Gao, Wei
8
2021
Model checking quantum systems. Principles and algorithms. Zbl 1496.68008
Ying, Mingsheng; Feng, Yuan
3
2021
Measuring the constrained reachability in quantum Markov chains. Zbl 1483.68140
Xu, Ming; Huang, Cheng-Chao; Feng, Yuan
2
2021
Sparse single index models for multivariate responses. Zbl 07499886
Feng, Yuan; Xiao, Luo; Chi, Eric C.
1
2021
Stochastic nonlocal damage analysis by a machine learning approach. Zbl 1506.74019
Feng, Yuan; Wang, Qihan; Wu, Di; Gao, Wei; Tin-Loi, Francis
6
2020
Triphoton correlations in six-wave mixing. Zbl 1435.81282
Zhang, Siqiang; Li, Wei; Li, Kangkang; Li, Yameng; Mu, Fan; Feng, Yuan; Liu, Yang; Zhang, Yanpeng
2
2020
Machine learning aided stochastic elastoplastic analysis. Zbl 1442.74041
Feng, Yuan; Gao, Wei; Wu, Di; Tin-Loi, Francis
7
2019
Energy dissipation analysis of elastic-plastic materials. Zbl 1439.74071
Yang, Han; Sinha, Sumeet Kumar; Feng, Yuan; McCallen, David B.; Jeremić, Boris
5
2018
Decomposition of quantum Markov chains and its applications. Zbl 1391.68079
Guan, Ji; Feng, Yuan; Ying, Mingsheng
4
2018
Model checking \(\omega\)-regular properties for quantum Markov chains. Zbl 1442.68106
Feng, Yuan; Hahn, Ernst Moritz; Turrini, Andrea; Ying, Shenggang
3
2017
Probabilistic bisimilarity as testing equivalence. Zbl 1380.68293
Deng, Yuxin; Feng, Yuan
2
2017
On hybrid models of quantum finite automata. Zbl 1323.68273
Li, Lvzhou; Feng, Yuan
9
2015
Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties. Zbl 1329.68119
Li, Lvzhou; Feng, Yuan
8
2015
On coinduction and quantum lambda calculi. Zbl 1374.68097
Deng, Yuxin; Feng, Yuan; Dal Lago, Ugo
2
2015
Toward automatic verification of quantum cryptographic protocols. Zbl 1374.68327
Feng, Yuan; Ying, Mingsheng
2
2015
Model-checking linear-time properties of quantum systems. Zbl 1354.68090
Ying, Mingsheng; Li, Yangjia; Yu, Nengkun; Feng, Yuan
9
2014
Symbolic bisimulation for quantum processes. Zbl 1291.68237
Feng, Yuan; Deng, Yuxin; Ying, Mingsheng
7
2014
Perturbation analysis in verification of discrete-time Markov chains. Zbl 1417.68100
Chen, Taolue; Feng, Yuan; Rosenblum, David S.; Su, Guoxin
7
2014
Price competition in an oligopoly market with multiple IaaS cloud providers. Zbl 1364.91090
Feng, Yuan; Li, Baochun; Li, Bo
4
2014
A system dynamics-based simulation model of production line with cross-trained workers. Zbl 1453.90065
Feng, Yuan; Fan, Wenhui
1
2014
A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. Zbl 1417.68296
Feng, Yuan; Zhang, Lijun
1
2014
Model checking quantum Markov chains. Zbl 1311.68086
Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
27
2013
Reachability probabilities of quantum Markov chains. Zbl 1390.68444
Ying, Shenggang; Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
12
2013
Reachability analysis of recursive quantum Markov chains. Zbl 1400.68073
Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
3
2013
A matrix approach to associated consistency of the Shapley value for games in generalized characteristic function form. Zbl 1286.91013
Feng, Yuan; Driessen, Theo S. H.; Still, Georg
2
2013
A tighter bound for the self-stabilization time in Herman’s algorithm. Zbl 1291.68428
Feng, Yuan; Zhang, Lijun
1
2013
Open bisimulation for quantum processes. Zbl 1362.68210
Deng, Yuxin; Feng, Yuan
11
2012
Bisimulation for quantum processes. Zbl 1284.68425
Feng, Yuan; Duan, Runyao; Ying, Mingsheng
19
2011
Quantum loop programs. Zbl 1214.68168
Ying, Mingsheng; Feng, Yuan
6
2010
Predicate transformer semantics of quantum programs. Zbl 1196.68123
Ying, Mingsheng; Duan, Runyao; Feng, Yuan; Ji, Zhengfeng
5
2010
Characterizing locally indistinguishable orthogonal product states. Zbl 1367.81015
Feng, Yuan; Shi, Yaoyun
30
2009
An algebra of quantum processes. Zbl 1351.68187
Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng
19
2009
Distinguishability of quantum states by separable operations. Zbl 1367.81024
Duan, Runyao; Feng, Yuan; Xin, Yu; Ying, Mingsheng
19
2009
An algebraic language for distributed quantum computing. Zbl 1367.81039
Ying, Mingsheng; Feng, Yuan
11
2009
Parameter estimation of quantum channels. Zbl 1319.81025
Ji, Zheng-Feng; Wang, Guoming; Duan, Runyao; Feng, Yuan; Ying, Mingsheng
19
2008
A bicriteria solid transportation problem with fixed charge under stochastic environment. Zbl 1173.90331
Yang, Lixing; Feng, Yuan
20
2007
Entanglement is not necessary for perfect discrimination between unitary operations. Zbl 1228.81083
Duan, Runyao; Feng, Yuan; Ying, Mingsheng
19
2007
Probabilistic bisimulations for quantum processes. Zbl 1130.68079
Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng
16
2007
Proof rules for the correctness of quantum programs. Zbl 1137.68038
Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng
7
2007
Commutativity of quantum weakest preconditions. Zbl 1184.68258
Ying, Mingsheng; Chen, Jianxin; Feng, Yuan; Duan, Runyao
2
2007
A two-objective fuzzy \(k\)-cardinality assignment problem. Zbl 1098.90064
Feng, Yuan; Yang, Lixing
7
2006
Catalyst-assisted probabilistic entanglement transformation. Zbl 1298.81015
Feng, Yuan; Duan, Runyao; Ying, Mingsheng
1
2005
Quantum operation, quantum Fourier transform and semi-definite programming. Zbl 1118.81341
Duan, Runyao; Ji, Zhengfeng; Feng, Yuan; Ying, Mingsheng
3
2004
Universal and original-preserving quantum copying is impossible. Zbl 0994.81023
Feng, Yuan; Zhang, Shengyu; Sun, Xiaoming; Ying, Mingsheng
1
2002
all cited Publications top 5 cited Publications
all top 5

Cited by 516 Authors

20 Feng, Yuan
17 Ying, Mingsheng
10 Deng, Yuxin
9 Yang, Yinghui
8 Gao, Wei
7 Gao, Fei
7 Katoen, Joost-Pieter
7 Wu, Di
7 Zhang, Zhichao
6 Cao, Tianqing
6 Chen, Lin
6 Li, Lvzhou
6 Souissi, Abdessatar
6 Wen, Qiaoyan
6 Zuo, Huijuan
5 Junges, Sebastian
5 Maiti, Manoranjan
5 Qiu, Daowen
5 Yu, Nengkun
5 Yuan, Jiangtao
5 Zheng, Shenggen
4 Đoković, Dragomir Ž.
4 Duan, Runyao
4 Gruska, Jozef
4 Li, Maosheng
4 Mukhamedov, Farruh Maksutovich
4 Wang, Caihong
4 Wang, Qihan
4 Wang, Yong
4 Xu, Guangbao
4 Ying, Shenggang
4 Zomorodi-Moghadam, Mariam
3 Bhunia, Atanu
3 Chattopadhyay, Indrani
3 Hamdi, Tarek
3 Houshmand, Mahboobeh
3 Houshmand, Monireh
3 Jiang, Donghuan
3 Leung, Debbie W.
3 Li, Yangjia
3 Li, Yongming
3 Luo, Zhen
3 Sarkar, Debasis
3 Wang, Qisheng
3 Wang, Yanling
3 Xu, Ming
2 Barhoumi, Abdessatar
2 Bera, Uttam Kumar
2 Biswas, Indranil
2 Chitambar, Eric
2 Daei, Omid
2 Dai, Guiping
2 D’Ariano, Giacomo Mauro
2 Das, Amrit
2 Ding, Chensen
2 Fei, Shaoming
2 Fijalkow, Nathanaël
2 Fu, Jianling
2 Gay, Simon J.
2 Guan, Ji
2 Gupta, Anila
2 Hsieh, Min-Hsiu
2 Jansen, Nils
2 Jing, Naihuan
2 Kar, Samarjit
2 Kiefer, Stefan
2 Kumar, Amit
2 Kundu, Pradip
2 Lee, Moonho
2 Li, Guoyin
2 Li, Haiquan
2 Li, Sanjiang
2 Ma, Weimin
2 Madelaine, Eric
2 Mancini, Stefano
2 Mančinska, Laura
2 Mei, Jingyi
2 Nagarajan, Rajagopal
2 Navi, Keivan
2 Ozols, Maris A.
2 Pérez, Guillermo A.
2 Peters, Kirstin
2 Piazza, Carla
2 Qin, Xudong
2 Rexiti, Milajiguli
2 Schmitt, Anna
2 Shen, Jiayu
2 Shi, Fei
2 Shi, Jinjing
2 Shi, Ronghua
2 Shirmohammadi, Mahsa
2 Spel, Jip
2 Tang, Xilin
2 Tian, Guo-Jing
2 Wilde, Mark M.
2 Winkler, Tobias
2 Winter, Andreas
2 Wu, Xiaodi
2 Xin, Qiaoling
2 Yang, Lixing
...and 416 more Authors
all top 5

Cited in 68 Serials

37 Quantum Information Processing
21 Computer Methods in Applied Mechanics and Engineering
19 International Journal of Theoretical Physics
11 Theoretical Computer Science
9 Journal of Physics A: Mathematical and Theoretical
8 Journal of Mathematical Physics
7 Soft Computing
6 Physica A
6 Journal of Computer and System Sciences
6 Information and Computation
5 Physics Letters. A
4 Acta Informatica
4 New Journal of Physics
3 Information Processing Letters
3 Computational Mechanics
3 Journal of Intelligent and Fuzzy Systems
3 International Journal of Quantum Information
2 Communications in Mathematical Physics
2 Information Sciences
2 Opsearch
2 Optimization
2 Applied Mathematical Modelling
2 ACM Transactions on Computational Logic
2 Logical Methods in Computer Science
2 Fuzzy Information and Engineering
2 Annalen der Physik
1 International Journal of Modern Physics B
1 Astrophysics and Space Science
1 International Journal of Engineering Science
1 Journal of the Franklin Institute
1 Letters in Mathematical Physics
1 Reviews in Mathematical Physics
1 Chaos, Solitons and Fractals
1 Applied Mathematics and Computation
1 International Journal for Numerical Methods in Engineering
1 Journal of Computational and Applied Mathematics
1 SIAM Journal on Computing
1 Journal of Symbolic Computation
1 Applied Mathematics Letters
1 Formal Aspects of Computing
1 Annals of Operations Research
1 Mathematical Structures in Computer Science
1 Journal of Global Optimization
1 Annals of Physics
1 International Journal of Computer Mathematics
1 Journal of Statistical Computation and Simulation
1 Linear Algebra and its Applications
1 Distributed Computing
1 Test
1 Formal Methods in System Design
1 INFORMS Journal on Computing
1 Mathematical Problems in Engineering
1 Open Systems & Information Dynamics
1 Infinite Dimensional Analysis, Quantum Probability and Related Topics
1 Discrete Dynamics in Nature and Society
1 European Journal of Mechanics. A. Solids
1 Annales Henri Poincaré
1 International Game Theory Review
1 Physical Review Letters
1 Journal of Modern Optics
1 Fuzzy Optimization and Decision Making
1 Proceedings of the Steklov Institute of Mathematics
1 Communications in Theoretical Physics
1 Physical Review A, Third Series
1 Afrika Matematika
1 Mathematics
1 Journal of Logical and Algebraic Methods in Programming
1 International Journal of Systems Science. Principles and Applications of Systems and Integration
all top 5

Cited in 28 Fields

138 Quantum theory (81-XX)
80 Computer science (68-XX)
30 Operations research, mathematical programming (90-XX)
25 Mechanics of deformable solids (74-XX)
21 Information and communication theory, circuits (94-XX)
15 Mathematical logic and foundations (03-XX)
14 Probability theory and stochastic processes (60-XX)
12 Statistics (62-XX)
12 Statistical mechanics, structure of matter (82-XX)
8 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
6 Functional analysis (46-XX)
5 Numerical analysis (65-XX)
4 Combinatorics (05-XX)
3 Operator theory (47-XX)
3 Systems theory; control (93-XX)
2 General and overarching topics; collections (00-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Category theory; homological algebra (18-XX)
2 Fluid mechanics (76-XX)
2 Classical thermodynamics, heat transfer (80-XX)
2 Relativity and gravitational theory (83-XX)
2 Biology and other natural sciences (92-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Algebraic geometry (14-XX)
1 Topological groups, Lie groups (22-XX)
1 Partial differential equations (35-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Mechanics of particles and systems (70-XX)

Citations by Year