Yuan Feng
发表
M. Ying,
R. Duan,
Yuan Feng,
2009
.
R. Duan,
Yuan Feng,
Zhengfeng Ji,
2005,
quant-ph/0506021.
M. Ying,
R. Duan,
Yuan Feng,
2004,
quant-ph/0403147.
Shengyu Zhang,
M. Ying,
Yuan Feng,
2001
.
Yuan Feng,
Sanjiang Li,
Xiang-Yu Zhou,
2020,
ACM Trans. Design Autom. Electr. Syst..
M. Ying,
Yuan Feng,
J. Guan,
2016
.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2006,
Physical review letters.
Yuan Feng,
Mingsheng Ying,
M. Ying,
2011,
IEEE Transactions on Software Engineering.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2004,
quant-ph/0404148.
M. Ying,
R. Duan,
Yuan Feng,
2004
.
M. Ying,
R. Duan,
Yuan Feng,
2005
.
Runyao Duan,
Mingsheng Ying,
Yuan Feng,
2007,
Physical review letters.
M. Ying,
R. Duan,
Yuan Feng,
2008
.
Runyao Duan,
Mingsheng Ying,
Yuan Feng,
2003
.
M. Ying,
R. Duan,
Yuan Feng,
2008
.
M. Ying,
R. Duan,
Yuan Feng,
2010,
TOPL.
M. Ying,
Yuan Feng,
2006,
Acta Informatica.
M. Ying,
R. Duan,
Yuan Feng,
2006,
Physical review letters.
M. Ying,
R. Duan,
Yuan Feng,
2004,
IEEE Transactions on Information Theory.
An Equivalence of Entanglement-Assisted Transformation and Multiple-Copy Entanglement Transformation
M. Ying,
R. Duan,
Yuan Feng,
2004,
quant-ph/0404046.
Afrad Basheer,
Yuan Feng,
Sanjiang Li,
2022,
AAAI.
M. Ying,
R. Duan,
Yuan Feng,
2003,
quant-ph/0304145.
M. Ying,
R. Duan,
Yuan Feng,
2006,
Physical review letters.
M. Ying,
R. Duan,
Yuan Feng,
2006,
quant-ph/0601136.
M. Ying,
R. Duan,
Yuan Feng,
2004,
IEEE Transactions on Information Theory.
M. Ying,
Yuan Feng,
Chi Zhang,
2004,
quant-ph/0410073.
Yuan Feng,
J. Varela,
M. McGuigan,
2021,
2105.13849.
Yuan Feng,
M. McGuigan,
A. Kodumagulla,
2021,
2106.00549.
M. Ying,
R. Duan,
Yuan Feng,
2006,
IEEE Transactions on Information Theory.
M. Ying,
R. Duan,
Yuan Feng,
2004,
quant-ph/0404148.
M. Ying,
R. Duan,
Yuan Feng,
2003,
quant-ph/0312010.
M. Ying,
Yuan Feng,
Li Zhou,
2021,
Theoretical Computer Science.
M. Ying,
R. Duan,
Yuan Feng,
2004,
quant-ph/0403147.
Yuan Feng,
M. McGuigan,
V. Chandra,
2022,
2212.00260.
Yuan Feng,
Sanjiang Li,
Xiang-Yu Zhou,
2021,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Yuan Feng,
Mingsheng Ying,
M. Ying,
2004,
Journal of Computer Science and Technology.
Yuan Feng,
M. McGuigan,
Tristen White,
2022,
2201.00805.
Yuan Feng,
Mingsheng Ying,
Andrea Turrini,
2019,
ArXiv.
Lijun Zhang,
Chen Fu,
Yuan Feng,
2018,
IJCAI.
Lijun Zhang,
Yuan Feng,
Lei Song,
2015,
ArXiv.
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties
pdf
Yuan Feng,
Lvzhou Li,
Lvzhou Li,
2015,
Inf. Comput..
Yuan Feng,
Lvzhou Li,
Lvzhou Li,
2012,
J. Comput. Syst. Sci..
Yuan Feng,
M. McGuigan,
2021,
2106.01398.
Lijun Zhang,
Yuan Feng,
Yuan Feng,
2014,
Distributed Computing.
Lijun Zhang,
Yuan Feng,
Yuan Feng,
2014,
Distributed Computing.
Yuan Feng,
Mingsheng Ying,
M. Ying,
2018,
ArXiv.
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2010,
TOCL.
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2012,
J. Comput. Syst. Sci..
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2011,
Sci. Comput. Program..
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2007,
Theor. Comput. Sci..
F. Nori,
Yuan Feng,
Xizhi Han,
2021,
PRX Quantum.
Yuan Feng,
M. McGuigan,
Juliette K. Stecenko,
2021,
2105.02032.
M. Ying,
Yuan Feng,
Sanjiang Li,
2021,
2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD).
Yuan Feng,
M. McGuigan,
Mohammad Hassan,
2021,
2102.05102.
M. Ying,
Yuan Feng,
Sanjiang Li,
2020,
ACM Trans. Design Autom. Electr. Syst..
Yuan Feng,
Yuxin Deng,
Yuan Feng,
2017,
Inf. Comput..
Yuan Feng,
Yuxin Deng,
Yuan Feng,
2017,
2017 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Ugo Dal Lago,
Yuan Feng,
Yuxin Deng,
2015,
CONCUR.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2007,
Inf. Comput..
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2006,
ArXiv.
Yuan Feng,
Mingsheng Ying,
Shenggang Ying,
2021,
International Journal of Automation and Computing.
Yuan Feng,
Runyao Duan,
Yu Xin,
2007,
IEEE Transactions on Information Theory.
Yuan Feng,
Mingsheng Ying,
M. Ying,
2020,
ACM Transactions on Quantum Computing.
M. Ying,
R. Duan,
Yuan Feng,
2006,
Physical review letters.
M. Ying,
R. Duan,
Yuan Feng,
2004,
quant-ph/0412077.
Runyao Duan,
Mingsheng Ying,
Yuan Feng,
2009,
Physical review letters.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2006,
Journal of Computer Science and Technology.
Yuan Feng,
Mingsheng Ying,
M. Ying,
2021
.
Lijun Zhang,
Yuan Feng,
Yong Li,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
Yuan Feng,
Yaoyun Shi,
Yuan Feng,
2007,
IEEE Transactions on Information Theory.
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2014,
ArXiv.
Yuan Feng,
Youle Wang,
Yu Luo,
2019,
ArXiv.
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2013,
MFCS.
Yuan Feng,
Ying Xu,
2023,
ASPLOS.
Yuan Feng,
Sanjiang Li,
Xiang-Yu Zhou,
2023,
2301.08932.
Yuan Feng,
Sanjiang Li,
2022,
Inf. Comput..
Yuan Feng,
Yuxin Deng,
Yuan Feng,
2021,
Theor. Comput. Sci..
Yuan Feng,
Mingsheng Ying,
Sanjiang Li,
2021,
ACM Transactions on Computational Logic.
M. Ying,
Yuan Feng,
Sanjiang Li,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
Yuan Feng,
Ernst Moritz Hahn,
Andrea Turrini,
2017,
CONCUR.
Yuan Feng,
Mingsheng Ying,
Shenggang Ying,
2017,
ArXiv.
Yuan Feng,
Mingsheng Ying,
Shenggang Ying,
2017,
ArXiv.
Yuan Feng,
Mingsheng Ying,
Shenggang Ying,
2015,
ArXiv.
Yuan Feng,
Mingsheng Ying,
M. Ying,
2015,
CONCUR.
Lijun Zhang,
Yuan Feng,
Ernst Moritz Hahn,
2015,
FM.
Lijun Zhang,
Yuan Feng,
Yuan Feng,
2017,
J. Comput. Syst. Sci..
Yuan Feng,
Mingsheng Ying,
Ji Guan,
2016,
J. Comput. Syst. Sci..
Yuan Feng,
Cheng-Chao Huang,
Ming Xu,
2020,
Acta Informatica.
Sanjiang Li,
Xiangzhen Zhou,
Yuan Feng,
2020,
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD).
Yuan Feng,
Sanjiang Li,
Xiangzhen Zhou,
2019,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2013,
CONCUR.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2012
.
Yuan Feng,
Yuxin Deng,
Yuan Feng,
2012,
IFIP TCS.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2005,
ArXiv.
Yuan Feng,
Qinxiang Cao,
Yuxin Deng,
2020,
Journal of Computer Science and Technology.
David S. Rosenblum,
Yuan Feng,
P. S. Thiagarajan,
2016,
FASE.
Yuan Feng,
Sanjiang Li,
Xiang-Yu Zhou,
2020,
IEEE Transactions on Computers.
Yuan Feng,
Yuxin Deng,
Mingsheng Ying,
2012,
TOCL.
E. M. Hahn,
Yuan Feng,
Andrea Turrini,
2017
.
Yuan Feng,
Hanpin Wang,
Yongzhi Cao,
2014,
Quantum Inf. Comput..
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2013,
2013 IEEE 26th Computer Security Foundations Symposium.
David S. Rosenblum,
Yuan Feng,
Taolue Chen,
2016
.
M. Ying,
R. Duan,
Yuan Feng,
2013
.
Yuan Feng,
Mingsheng Ying,
M. Ying,
2018,
National science review.
Lijun Zhang,
Yuan Feng,
Lei Song,
2015,
IJCAI.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2010,
TOPL.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2010,
POPL '11.
Lijun Zhang,
Yuan Feng,
Yuan Feng,
2013,
Inf. Process. Lett..
M. Ying,
Yuan Feng,
2020,
ACM Transactions on Quantum Computing.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2007,
TOCL.
M. Ying,
R. Duan,
Yuan Feng,
2004,
quant-ph/0403170.
M. Ying,
R. Duan,
Yuan Feng,
2003,
quant-ph/0312110.