Xinyu Feng
发表
Xinyu Feng,
Zhong Shao,
Yuan Dong,
2008,
VSTTE.
Xin Wang,
Xinyu Feng,
Qixun Zhang,
2016,
2016 IEEE International Conference on Communications (ICC).
Jiannong Cao,
Sajal K. Das,
Xinyu Feng,
2002,
Computer.
Jiannong Cao,
Sajal K. Das,
Xinyu Feng,
2002,
Proceedings 22nd International Conference on Distributed Computing Systems.
Xinyu Feng,
Xinyu Feng,
2002
.
Xinyu Feng,
2009,
POPL '09.
Xinyu Feng,
Jian Lu,
Jian Lu,
2012,
Mobile Agents in Networking and Distributed Computing.
Xinyu Feng,
Song Jin,
Hongbin Qiang,
2020,
IEEE Access.
Xinyu Feng,
Zhong Shao,
Gang Tan,
2009,
APLAS.
Xinyu Feng,
Zhonghai Wu,
Cong Li,
2017,
ICICS.
Yu Guo,
Xinyu Feng,
Zhong Shao,
2007,
TLDI '07.
Xinyu Feng,
2017,
CPP.
Jiannong Cao,
Sajal K. Das,
Xinyu Feng,
2003,
GLOBECOM '03. IEEE Global Telecommunications Conference (IEEE Cat. No.03CH37489).
Xinyu Feng,
Lei Qiao,
Junpeng Zha,
2020,
J. Comput. Sci. Technol..
Jiannong Cao,
Sajal K. Das,
Xinyu Feng,
2004,
J. Inf. Sci. Eng..
Xinyu Feng,
Jiawei Wang,
Lei Qiao,
2020,
Sci. Comput. Program..
Xinyu Feng,
Hongjin Liang,
2020,
Found. Trends Program. Lang..
Xinyu Feng,
Zhong Shao,
Jan Hoffmann,
2013,
CONCUR.
Xinyu Feng,
Floris Goerlandt,
Qing Liu,
2020,
Reliab. Eng. Syst. Saf..
Yu Guo,
Xinyu Feng,
Zhong Shao,
2012,
APLAS.
Jiannong Cao,
Sajal K. Das,
Xinyu Feng,
2003,
2003 International Conference on Parallel Processing, 2003. Proceedings..
Xinyu Feng,
Siyang Xiao,
Hanru Jiang,
2018,
ICTAC.
Tao Li,
Xinyu Feng,
Feiyue Ye,
2006,
2006 6th World Congress on Intelligent Control and Automation.
Xinyu Feng,
Ming Fu,
Jingyuan Cao,
2015,
CPP.
Xinyu Feng,
Zhong Shao,
Rodrigo Ferreira,
2010,
ESOP.
Yu Guo,
Xinyu Feng,
Zhong Shao,
2009,
Journal of Automated Reasoning.
Xinyu Feng,
Siyang Xiao,
Hanru Jiang,
2019,
PLDI.
Xinyu Feng,
Lei Qiao,
Junpeng Zha,
2018,
APLAS.
Xinyu Feng,
Zhong Shao,
Hongjin Liang,
2014,
CSL-LICS.
Yang Zhang,
Xinyu Feng,
2015,
Frontiers of Computer Science.
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
Xinyu Feng,
Ming Fu,
Hongjin Liang,
2014,
ACM Trans. Program. Lang. Syst..
Xinyu Feng,
Zhong Shao,
Zhong Shao,
2008
.
Yang Zhang,
Xinyu Feng,
2012
.
Yu Zhang,
Xinyu Feng,
Ming Fu,
2012,
ICFEM.
Xinyu Feng,
Viktor Vafeiadis,
Matthew J. Parkinson,
2009,
ESOP.
Xinyu Feng,
Xianping Tao,
Zhong-Qun Wang,
2002
.
Xinyu Feng,
Hongjin Liang,
2013,
PLDI.
Flemming Nielson,
Xinyu Feng,
Hanne Riis Nielson,
2015,
TGC.
Jiannong Cao,
Sajal K. Das,
Xinyu Feng,
2004,
IEEE Trans. Syst. Man Cybern. Part A.
Xinyu Feng,
Hongjin Liang,
Xinyu Feng,
2016,
POPL.
Yu Zhang,
Xinyu Feng,
Ming Fu,
2014,
Frontiers of Computer Science.
Xinyu Feng,
Ming Fu,
Hongjin Liang,
2012,
POPL '12.
Xinyu Feng,
Hui Zhang,
Ming Fu,
2016,
CAV.
Jiannong Cao,
Xinyu Feng,
Jian Lü,
2001,
Mobile Agents.
Xinyu Feng,
Zhong Shao,
Rodrigo Ferreira,
2007,
ESOP.
Xinyu Feng,
Wei Zhao,
Xijing Zhu,
2018
.
Jiannong Cao,
Sajal K. Das,
Xinyu Feng,
2002
.
Xinyu Feng,
Zhong Shao,
Yong Li,
2012,
TAMC.
Yu Zhang,
Xinyu Feng,
Zhong Shao,
2010,
CONCUR.
Xinyu Feng,
Sungwoo Park,
2015,
Lecture Notes in Computer Science.
Xinyu Feng,
Hongjin Liang,
2013,
PLDI 2013.
Yu Guo,
Xinyu Feng,
Zhong Shao,
2008,
PLDI '08.
Xinyu Feng,
Zhong Shao,
Hongjin Liang,
2014
.
Xinyu Feng,
Weibin Zhang,
Dan Liu,
2020
.
Xinyu Feng,
Zhong Shao,
Gang Tan,
2010,
New Generation Computing.
Xinyu Feng,
Cong Li,
Qingni Shen,
2017,
ICICS.
Yang Zhang,
Xinyu Feng,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Xinyu Feng,
Zhong Shao,
Zhong Shao,
2005,
ICFP '05.
Chao Zhai,
Xinyu Feng,
Yonggang Gu,
2018,
Astronomical Telescopes + Instrumentation.
Xinyu Feng,
Hongjin Liang,
2018,
Proc. ACM Program. Lang..
Xinyu Feng,
Chunhui He,
2018,
IEEE INFOCOM 2018 - IEEE Conference on Computer Communications.
Xinyu Feng,
Ming Fu,
Jiawei Wang,
2017,
SETTA.
Xinyu Feng,
Zhong Shao,
Sen Xiang,
2006,
PLDI '06.
Test and control of new-generation optical fiber positioning units of LAMOST based on ZigBee network
Chao Zhai,
Xinyu Feng,
Xiang Lu,
2018,
Astronomical Telescopes + Instrumentation.
Xinyu Feng,
Zipeng Zhang,
2017,
SETTA.
Xinyu Feng,
Heng Du,
Jiajun Shi,
2021
.
Xinyu Feng,
Yukun Wang,
Hao He,
2022,
ArXiv.
Xinyu Feng,
Qingni Shen,
Cancan Jin,
2016,
ICCNS.