Xiaofang Chen
发表
Cheng Long,
Chunhua Yang,
Keke Huang,
2019,
Neurocomputing.
Xiaofang Chen,
2009
.
Lihui Cen,
Xiaofang Chen,
Yongfang Xie,
2019,
IEEE Access.
Weihua Gui,
Yalin Wang,
Chunhua Yang,
2002
.
Chengyong Zhao,
Xiaofang Chen,
Chungang Cao,
2011,
2011 IEEE Electrical Power and Energy Conference.
Cishen Zhang,
Jingxin Zhang,
Xiaofang Chen,
2006,
2006 9th International Conference on Control, Automation, Robotics and Vision.
Keke Huang,
Xiaofang Chen,
Yongfang Xie,
2018
.
Yalin Wang,
Xiaofang Chen,
Ying-Can Qian,
2017,
ICONIP.
Weihua Gui,
Zhikun Hu,
Xiaofang Chen,
2004,
Fifth World Congress on Intelligent Control and Automation (IEEE Cat. No.04EX788).
Weihua Gui,
Yalin Wang,
Lihui Cen,
2004,
Eng. Appl. Artif. Intell..
Cishen Zhang,
Jingxin Zhang,
Xiaofang Chen,
2010,
IEEE ICCA 2010.
Lei Cheng,
Liangzhong Shen,
Xiaofang Chen,
2012,
WHICEB.
Ganesh Gopalakrishnan,
Steven M. German,
Xiaofang Chen,
2007
.
Xiaofang Chen,
Hui Yang,
Xiaohua Song,
2012,
Proceedings of 2012 2nd International Conference on Computer Science and Network Technology.
Weihua Gui,
Chunhua Yang,
Yonggang Li,
2017,
IEEE Access.
Weihua Gui,
Xiaofang Chen,
Yongfang Xie,
2017,
Frontiers of Chemical Science and Engineering.
Xiaofang Chen,
Yongfang Xie,
Shiwei Zhao,
2019
.
Xiaofang Chen,
Yongfang Xie,
Huan Yang,
2018,
2018 Chinese Automation Congress (CAC).
Chunhua Yang,
Keke Huang,
Longfei Zhou,
2018,
2018 Chinese Automation Congress (CAC).
Cishen Zhang,
Jingxin Zhang,
Xiaofang Chen,
2011,
ICINCO.
Yu Yang,
Chao Wang,
Ganesh Gopalakrishnan,
2009,
SPIN.
Yu Yang,
Ganesh Gopalakrishnan,
Robert Michael Kirby,
2008,
SPIN.
Weihua Gui,
Xiaofang Chen,
Yongfang Xie,
2020
.
Yu Yang,
Ganesh Gopalakrishnan,
Xiaofang Chen,
2006,
2006 Formal Methods in Computer Aided Design.
Weihua Gui,
Chunhua Yang,
Xiaofang Chen,
2018
.
Chunhua Yang,
Keke Huang,
Xiaofang Chen,
2019,
Neural Computing and Applications.
Dimitri Kececioglu,
Xiaofang Chen,
2014
.
Weihua Gui,
Yalin Wang,
Chunhua Yang,
2013
.
Guoyin Wang,
Hong Yu,
Zhong Zou,
2018,
2018 IEEE International Conference on Big Data (Big Data).
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols
Yu Yang,
Ganesh Gopalakrishnan,
Xiaofang Chen,
2010,
Formal Methods Syst. Des..
Xiaofang Chen,
Fanguo Kong,
2012,
Int. J. Netw. Virtual Organisations.
Yu Yang,
Ganesh Gopalakrishnan,
Robert Michael Kirby,
2010,
International Journal on Software Tools for Technology Transfer.
Dimitri Kececioglu,
Xiaofang Chen,
2014
.
Chunhua Yang,
Xiaofang Chen,
Zeng Zhaohui,
2018
.
Weihua Gui,
Xiaofang Chen,
Yongfang Xie,
2019,
Int. J. Mach. Learn. Cybern..
Weihua Gui,
Chunhua Yang,
Keke Huang,
2018,
Appl. Math. Comput..
Xiaofang Chen,
Congxin Li,
Pengye Wang,
2009,
PLoS Comput. Biol..
Hong Yu,
Xiaofang Chen,
Hongliang Zhang,
2018,
KSEM.
Weihua Gui,
Lihui Cen,
Zhikun Hu,
2004,
Fifth World Congress on Intelligent Control and Automation (IEEE Cat. No.04EX788).
Xiaofang Chen,
Xiaofan Chen,
2008
.
Yu Yang,
Ganesh Gopalakrishnan,
Xiaofang Chen,
2007,
2007 IEEE International High Level Design Validation and Test Workshop.
Yu Yang,
Ganesh Gopalakrishnan,
Robert Michael Kirby,
2007,
SPIN.
Ganesh Gopalakrishnan,
Steven M. German,
Xiaofang Chen,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Xiaofang Chen,
Chunhua Yang,
Yalin Wang,
2015
.
Cishen Zhang,
Jingxin Zhang,
Xiaofang Chen,
2006,
2006 IEEE International Conference on Acoustics Speech and Signal Processing Proceedings.