Edit Profile (opens in new tab) Zeng, Xia Co-Author Distance Author ID: zeng.xia Published as: Zeng, Xia Documents Indexed: 11 Publications since 1996 Co-Authors: 10 Co-Authors with 5 Joint Publications 346 Co-Co-Authors all top 5 Co-Authors 0 single-authored 4 Liu, Zhiming 3 Chen, Taolue 3 Zhao, Hengjun 2 Woodcock, James C. P. 1 Bueno, M. A. 1 Fang, Qihong 1 Li, Yonghong 1 Lin, Wang 1 Liu, Youwen 1 Rajapakse, R. K. N. D. 1 Renner, M. 1 Sanoun, M. 1 Tang, Xiaochao 1 Yang, Zhengfeng 1 Zeng, Zhenbing 1 Zhang, Yidan all top 5 Serials 2 International Journal of Solids and Structures 1 International Journal of General Systems 1 International Journal for Numerical and Analytical Methods in Geomechanics 1 Mechanics Research Communications 1 Formal Aspects of Computing 1 Archive of Applied Mechanics 1 Journal of Southwest Jiaotong University. English Edition all top 5 Fields 5 Mechanics of deformable solids (74-XX) 4 Computer science (68-XX) 4 Systems theory; control (93-XX) 1 Statistics (62-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 8 times in 6 Documents Cited by ▼ Year ▼ Vertical vibrations of a rigid disk embedded in a poroelastic medium. Zbl 1010.74028Zeng, X.; Rajapakse, R. K. N. D. 12 1999 Integration of human knowledge and measured data for optimization of fabric hand. Zbl 1040.90522Zeng, X.; Koehl, L.; Sanoun, M.; Bueno, M. A.; Renner, M. 4 2004 Synthesizing barrier certificates using neural networks. Zbl 07300866Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming 4 2020 Learning safe neural network controllers with barrier certificates. Zbl 07388000Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim 3 2021 On a nonclassical constitutive theory of crystal plasticity. Zbl 0913.73025Peng, X.; Zeng, X.; Fan, J. 1 1997 Analysis for plastic buckling of thin-walled cylinders via non-classical constitutive theory of plasticity. Zbl 0921.73188Peng, X.; Fan, J.; Zeng, X. 1 1996 Exact solutions for piezoelectric screw dislocations near two asymmetrical edge cracks emanating from an elliptical hole. Zbl 1293.74108Zeng, X.; Fang, Q. H.; Liu, Y. W. 1 2013 Learning safe neural network controllers with barrier certificates. Zbl 1503.93022Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim 1 2020 Learning safe neural network controllers with barrier certificates. Zbl 07388000Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim 3 2021 Synthesizing barrier certificates using neural networks. Zbl 07300866Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming 4 2020 Learning safe neural network controllers with barrier certificates. Zbl 1503.93022Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim 1 2020 Exact solutions for piezoelectric screw dislocations near two asymmetrical edge cracks emanating from an elliptical hole. Zbl 1293.74108Zeng, X.; Fang, Q. H.; Liu, Y. W. 1 2013 Integration of human knowledge and measured data for optimization of fabric hand. Zbl 1040.90522Zeng, X.; Koehl, L.; Sanoun, M.; Bueno, M. A.; Renner, M. 4 2004 Vertical vibrations of a rigid disk embedded in a poroelastic medium. Zbl 1010.74028Zeng, X.; Rajapakse, R. K. N. D. 12 1999 On a nonclassical constitutive theory of crystal plasticity. Zbl 0913.73025Peng, X.; Zeng, X.; Fan, J. 1 1997 Analysis for plastic buckling of thin-walled cylinders via non-classical constitutive theory of plasticity. Zbl 0921.73188Peng, X.; Fan, J.; Zeng, X. 1 1996 all cited Publications top 5 cited Publications all top 5 Cited by 26 Authors 2 Liu, Zhiming 2 Zeng, Xia 1 Abate, Alessandro 1 Ahmed, Daniele 1 Chen, Mingshuai 1 Chen, Taolue 1 Fitzsimmons, Maxwell 1 Katoen, Joost-Pieter 1 Kobayashi, Naoki 1 Li, Yinan 1 Lin, Wang 1 Liu, Jun 1 Meng, Yiming 1 Peruffo, Andrea 1 Sato, Issei 1 Sekiyama, Taro 1 Tang, Xiaochao 1 Unno, Hiroshi 1 Wang, Qiuye 1 Woodcock, James C. P. 1 Xue, Bai 1 Yang, Zhengfeng 1 Zeng, Zhenbing 1 Zhan, Naijun 1 Zhang, Yidan 1 Zhao, Hengjun Cited in 3 Serials 1 Automatica 1 Information and Computation 1 Formal Aspects of Computing Cited in 2 Fields 5 Computer science (68-XX) 3 Systems theory; control (93-XX) Citations by Year