Wang Lin
发表
Wang Lin,
Luo Dan,
Tian Jing,
2006,
2006 First International Symposium on Pervasive Computing and Applications.
Wang Lin,
Yezhi Lin,
Longchang Li,
2009,
2009 Fifth International Conference on Natural Computation.
Wang Lin,
Liu Shun-lan,
2010,
2010 Third International Symposium on Information Science and Engineering.
Qin Xu,
Wang Lin,
Sun Yang,
2010
.
Wang Lin,
2002
.
Wang Lin,
Qi Yujie,
Li Wai Yee,
2020
.
Wang Lin,
Guanzhong Dai,
2004,
ICWI.
Jun Zhang,
Xin-Hua Hu,
Wang Lin,
2012,
2012 IEEE International Conference on Virtual Environments Human-Computer Interfaces and Measurement Systems (VECIMS) Proceedings.
Wang Lin,
Wang Baocheng,
2013,
2013 IEEE International Conference of IEEE Region 10 (TENCON 2013).
Wang Lin,
Wang Zhen-yu,
Lin Weiwei,
2006
.
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems
Xin Chen,
Zhengfeng Yang,
Chao Huang,
2016,
FM.
Zhenbing Zeng,
Min Wu,
Zhengfeng Yang,
2011,
Science China Information Sciences.
Wang Lin,
Yuanyuan Nie,
Huiqin Li,
2014,
WHICEB.
Zhang Bin,
Wang Lin,
Liu Mo,
2012,
World Automation Congress 2012.
Min Wu,
Zhengfeng Yang,
Wang Lin,
2012,
ArXiv.
Wang Lin,
2002
.
Zhenbing Zeng,
Min Wu,
Zhengfeng Yang,
2016,
Comput. J..
Wang Lin,
2004
.
Wang Lin,
2017,
iJET.
Zhenbing Zeng,
Zhengfeng Yang,
Wang Lin,
2014,
SNC.
Zhenbing Zeng,
Min Wu,
Zhengfeng Yang,
2014,
Frontiers of Computer Science.
Min Wu,
Zhengfeng Yang,
Wang Lin,
2014,
Commun. Nonlinear Sci. Numer. Simul..
Xin Chen,
Zhengfeng Yang,
Chao Huang,
2017,
ACM Trans. Embed. Comput. Syst..
Wang Wei,
Wang Lin,
Xu Lijie,
2009,
2009 International Conference on Sustainable Power Generation and Supply.
Guo Xin,
Wang Lin,
Meng Hong,
2012,
2012 11th International Symposium on Distributed Computing and Applications to Business, Engineering & Science.
Wang Lin,
2008
.
Yu Guo,
Ping Wang,
Jian Sun,
2014,
Comput. Math. Methods Medicine.
Wang Lin,
2005
.
Lu Wen-sheng,
Yang Fan,
Zhang Bin,
2012,
World Automation Congress 2012.
Guo Xin,
Wang Lin,
Chen Xu,
2012,
2012 7th International Conference on Computer Science & Education (ICCSE).
Min Wu,
Zhengfeng Yang,
Wang Lin,
2012,
ACM Trans. Embed. Comput. Syst..
Xia Zeng,
Xin Chen,
Zhengfeng Yang,
2016,
2016 International Conference on Embedded Software (EMSOFT).
Wang Lin,
Liu Chunmao,
2009,
2009 Fourth International Conference on Cooperation and Promotion of Information Resources in Science and Technology.
Wang Lin,
Zhongyue Li,
Wang Lin,
2008,
2008 International Symposium on Computer Science and Computational Technology.
Wang Lin,
2009
.
Xia Zeng,
Zhenbing Zeng,
Zhengfeng Yang,
2015,
Science China Information Sciences.
Wang Lin,
Li Yanfen,
2007,
2007 8th International Conference on Electronic Measurement and Instruments.
Wang Wei,
Wang Lin,
Xu Li-jie,
2010,
2010 Asia-Pacific Power and Energy Engineering Conference.
Wang Lin,
Chang Huan,
2007,
2007 8th International Conference on Electronic Measurement and Instruments.
Wang Lin,
Li Junhui,
Wang Guo,
2016
.
Min Wu,
Zhengfeng Yang,
Wang Lin,
2013,
ArXiv.
Wang Lin,
2006
.
Chunmei Yang,
Wang Lin,
Xiaoyun Chen,
2012,
2012 IEEE International Conference on Virtual Environments Human-Computer Interfaces and Measurement Systems (VECIMS) Proceedings.
Wang Sun,
Wang Lin,
Ying Hao,
2016
.
Wang Lin,
2011
.
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations
Zhengfeng Yang,
Wang Lin,
Enyi Tang,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
Zhenbing Zeng,
Zhengfeng Yang,
Wang Lin,
2021,
CAV.
Zhengfeng Yang,
Wang Lin,
Enyi Tang,
2021,
HSCC.