×

zbMATH — the first resource for mathematics

Feng, Yuan

Compute Distance To:
Author ID: feng.yuan Recent zbMATH articles by "Feng, Yuan"
Published as: Feng, Yuan; Feng, Y.
Documents Indexed: 71 Publications since 1994, including 1 Book

Publications by Year

Citations contained in zbMATH Open

39 Publications have been cited 178 times in 114 Documents Cited by Year
A bicriteria solid transportation problem with fixed charge under stochastic environment. Zbl 1173.90331
Yang, Lixing; Feng, Yuan
16
2007
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
Characterizing locally indistinguishable orthogonal product states. Zbl 1367.81015
Feng, Yuan; Shi, Yaoyun
10
2009
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
An algebra of quantum processes. Zbl 1351.68187
Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng
10
2009
Open bisimulation for quantum processes. Zbl 1362.68210
Deng, Yuxin; Feng, Yuan
8
2012
Parameter estimation of quantum channels. Zbl 1319.81025
Ji, Zheng-Feng; Wang, Guoming; Duan, Runyao; Feng, Yuan; Ying, Mingsheng
8
2008
On hybrid models of quantum finite automata. Zbl 1323.68273
Li, Lvzhou; Feng, Yuan
6
2015
Reachability probabilities of quantum Markov chains. Zbl 1390.68444
Ying, Shenggang; Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
6
2013
A two-objective fuzzy \(k\)-cardinality assignment problem. Zbl 1098.90064
Feng, Yuan; Yang, Lixing
6
2006
An algebraic language for distributed quantum computing. Zbl 1367.81039
Ying, Mingsheng; Feng, Yuan
5
2009
Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties. Zbl 1329.68119
Li, Lvzhou; Feng, Yuan
5
2015
Price competition in an oligopoly market with multiple IaaS cloud providers. Zbl 1364.91090
Feng, Yuan; Li, Baochun; Li, Bo
4
2014
Proof rules for the correctness of quantum programs. Zbl 1137.68038
Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng
4
2007
Numerical investigation of adsorptive heat pump systems with thermal wave heat regeneration under uniform-pressure conditions. Zbl 0925.76361
Sun, L. M.; Feng, Y.; Pons, M.
4
1997
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
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
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
Machine learning aided stochastic elastoplastic analysis. Zbl 1442.74041
Feng, Yuan; Gao, Wei; Wu, Di; Tin-Loi, Francis
2
2019
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
A tighter bound for the self-stabilization time in Herman’s algorithm. Zbl 1291.68428
Feng, Yuan; Zhang, Lijun
1
2013
On coinduction and quantum lambda calculi. Zbl 1374.68097
Deng, Yuxin; Feng, Yuan; Dal Lago, Ugo
1
2015
Perturbation analysis in verification of discrete-time Markov chains. Zbl 1417.68100
Chen, Taolue; Feng, Yuan; Rosenblum, David S.; Su, Guoxin
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
Probabilistic bisimilarity as testing equivalence. Zbl 1380.68293
Deng, Yuxin; Feng, Yuan
1
2017
A numerical study of turbulent flow over a two-dimensional hill. Zbl 1032.76042
Sajjadi, S. G.; Craft, T. J.; Feng, Y.
1
2001
Universal and original-preserving quantum copying is impossible. Zbl 0994.81023
Feng, Yuan; Zhang, Shengyu; Sun, Xiaoming; Ying, Mingsheng
1
2002
Reachability analysis of recursive quantum Markov chains. Zbl 1400.68073
Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
1
2013
Algorithms for accurate collection, ejection, and loading in particle simulations. Zbl 1111.76041
Kim, H. C.; Feng, Y.; Verboncoeur, J. P.
1
2007
American option pricing under the double Heston model based on asymptotic expansion. Zbl 1420.91363
Zhang, S. M.; Feng, Y.
1
2019
Catalyst-assisted probabilistic entanglement transformation. Zbl 1298.81015
Feng, Yuan; 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
Machine learning aided stochastic elastoplastic analysis. Zbl 1442.74041
Feng, Yuan; Gao, Wei; Wu, Di; Tin-Loi, Francis
2
2019
American option pricing under the double Heston model based on asymptotic expansion. Zbl 1420.91363
Zhang, S. M.; Feng, Y.
1
2019
Decomposition of quantum Markov chains and its applications. Zbl 1391.68079
Guan, Ji; Feng, Yuan; Ying, Mingsheng
2
2018
Probabilistic bisimilarity as testing equivalence. Zbl 1380.68293
Deng, Yuxin; Feng, Yuan
1
2017
On hybrid models of quantum finite automata. Zbl 1323.68273
Li, Lvzhou; Feng, Yuan
6
2015
Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties. Zbl 1329.68119
Li, Lvzhou; Feng, Yuan
5
2015
Toward automatic verification of quantum cryptographic protocols. Zbl 1374.68327
Feng, Yuan; Ying, Mingsheng
2
2015
On coinduction and quantum lambda calculi. Zbl 1374.68097
Deng, Yuxin; Feng, Yuan; Dal Lago, Ugo
1
2015
Price competition in an oligopoly market with multiple IaaS cloud providers. Zbl 1364.91090
Feng, Yuan; Li, Baochun; Li, Bo
4
2014
Symbolic bisimulation for quantum processes. Zbl 1291.68237
Feng, Yuan; Deng, Yuxin; Ying, Mingsheng
3
2014
Perturbation analysis in verification of discrete-time Markov chains. Zbl 1417.68100
Chen, Taolue; Feng, Yuan; Rosenblum, David S.; Su, Guoxin
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 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
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
Reachability analysis of recursive quantum Markov chains. Zbl 1400.68073
Feng, Yuan; Yu, Nengkun; Ying, Mingsheng
1
2013
Open bisimulation for quantum processes. Zbl 1362.68210
Deng, Yuxin; Feng, Yuan
8
2012
Bisimulation for quantum processes. Zbl 1284.68425
Feng, Yuan; Duan, Runyao; Ying, Mingsheng
11
2011
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
Characterizing locally indistinguishable orthogonal product states. Zbl 1367.81015
Feng, Yuan; Shi, Yaoyun
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
A bicriteria solid transportation problem with fixed charge under stochastic environment. Zbl 1173.90331
Yang, Lixing; Feng, Yuan
16
2007
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
Algorithms for accurate collection, ejection, and loading in particle simulations. Zbl 1111.76041
Kim, H. C.; Feng, Y.; Verboncoeur, J. P.
1
2007
A two-objective fuzzy \(k\)-cardinality assignment problem. Zbl 1098.90064
Feng, Yuan; Yang, Lixing
6
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
A numerical study of turbulent flow over a two-dimensional hill. Zbl 1032.76042
Sajjadi, S. G.; Craft, T. J.; Feng, Y.
1
2001
Numerical investigation of adsorptive heat pump systems with thermal wave heat regeneration under uniform-pressure conditions. Zbl 0925.76361
Sun, L. M.; Feng, Y.; Pons, M.
4
1997
all top 5

Cited by 244 Authors

11 Ying, Mingsheng
10 Feng, Yuan
5 Gao, Fei
5 Maiti, Manoranjan
5 Wen, Qiaoyan
5 Yang, Yinghui
4 Li, Lvzhou
4 Qiu, Daowen
4 Yu, Nengkun
4 Zuo, Huijuan
3 Cao, Tianqing
3 Deng, Yuxin
3 Duan, Runyao
3 Leung, Debbie W.
3 Ying, Shenggang
3 Zheng, Shenggen
3 Zomorodi-Moghadam, Mariam
2 Bera, Uttam Kumar
2 Chitambar, Eric
2 Dai, Guiping
2 D’Ariano, Giacomo Mauro
2 Das, Amrit
2 Đoković, Dragomir Ž.
2 Fijalkow, Nathanaël
2 Gruska, Jozef
2 Guan, Ji
2 Gupta, Anila
2 Houshmand, Mahboobeh
2 Houshmand, Monireh
2 Hsieh, Min-Hsiu
2 Jing, Naihuan
2 Kar, Samarjit
2 Kiefer, Stefan
2 Kumar, Amit
2 Kundu, Pradip
2 Lee, Moonho
2 Li, Haiquan
2 Li, Yangjia
2 Li, Yongming
2 Ma, Weimin
2 Mančinska, Laura
2 Ozols, Maris A.
2 Shi, Jinjing
2 Shi, Ronghua
2 Shirmohammadi, Mahsa
2 Tang, Xilin
2 Winter, Andreas
2 Yang, Lixing
2 Zhang, Zhichao
1 Andronikos, Theodore
1 Anticoli, Linda
1 Aouni, Belaïd
1 Ardagna, Danilo
1 Azimian, Alireza
1 Baidya, Abhijit
1 Bandyopadhyay, Somshubhro
1 Béal, Sylvain
1 Bei, Xiaohui
1 Bergfeld, Jort Martinus
1 Bergou, János A.
1 Berta, Mario
1 Bisio, Alessandro
1 Bliudze, Simon
1 Cao, Yongzhi
1 Carbone, Raffaella
1 Chen, Jianxin
1 Chen, Lin
1 Chen, Shiteng
1 Chen, Xiaowei
1 Cheng, Hao-Chung
1 Childs, Andrew M.
1 Chiribella, Giulio
1 Cholewa, Michał
1 Chronopoulos, Anthony Theodore
1 Coffey, Laura E.
1 Daei, Omid
1 Dall’arno, Michele
1 Demkowicz-Dobrzański, Rafał
1 Ebrahimnejad, Ali
1 Erol, Volkan
1 Faizi, E.
1 Farahani, Hadi
1 Farooq, Ahmad
1 Fei, Shaoming
1 Frey, Michael R.
1 Freytes, Hector
1 Gao, Yuan
1 Gao, Ziyou
1 Gawron, Piotr
1 Gay, Simon J.
1 Ghosh, Sibasish
1 Giannakis, Konstantinos
1 Giri, Pravash Kumar
1 Giuntini, Roberto
1 Głomb, Przemysław
1 Gu, Ze
1 Guo, Guang-Can
1 Guo, Wei
1 Guo, Ying
1 Hahn, Ernst Moritz
...and 144 more Authors
all top 5

Cited in 50 Serials

15 International Journal of Theoretical Physics
15 Quantum Information Processing
6 Theoretical Computer Science
6 Soft Computing
4 Journal of Mathematical Physics
4 Journal of Computer and System Sciences
3 Acta Informatica
3 New Journal of Physics
3 Journal of Intelligent and Fuzzy Systems
2 Communications in Mathematical Physics
2 Computer Methods in Applied Mechanics and Engineering
2 Information Processing Letters
2 Information Sciences
2 Opsearch
2 Information and Computation
2 ACM Transactions on Computational Logic
2 International Journal of Quantum Information
2 Fuzzy Information and Engineering
1 International Journal of Modern Physics B
1 Astrophysics and Space Science
1 Letters in Mathematical Physics
1 Reviews in Mathematical Physics
1 Applied Mathematics and Computation
1 Journal of Computational and Applied Mathematics
1 SIAM Journal on Computing
1 Optimization
1 Journal of Symbolic Computation
1 Formal Aspects of Computing
1 Annals of Operations Research
1 MSCS. Mathematical Structures in Computer Science
1 Journal of Global Optimization
1 Applied Mathematical Modelling
1 International Journal of Computer Mathematics
1 Linear Algebra and its Applications
1 Distributed Computing
1 INFORMS Journal on Computing
1 Mathematical Problems in Engineering
1 Discrete Dynamics in Nature and Society
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 Journal of Physics A: Mathematical and Theoretical
1 Logical Methods in Computer Science
1 Physical Review A, Third Series
1 Afrika Matematika
1 Mathematics
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year