Xiaodong Yang
发表
Taylor T. Johnson,
Hoang-Dung Tran,
Bardh Hoxha,
2021,
FORMATS.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2021,
Formal Aspects of Computing.
Xiaodong Yang,
Hong Lin,
Ruyan Xiong,
2021,
2021 International Conference on Mechanical, Aerospace and Automotive Engineering.
Taylor T. Johnson,
O. Beg,
Xiaodong Yang,
2022,
ACM Transactions on Cyber-Physical Systems.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2020,
IEEE Transactions on Neural Networks and Learning Systems.
Weiming Xiang,
Taylor T. Johnson,
Xiaodong Yang,
2018,
ArXiv.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2019,
FM.
Xiaodong Yang,
Hong Lin,
Binyan Wu,
2021,
PRICAI.
Xiaodong Yang,
Fang Da,
Tong Su,
2023,
arXiv.org.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2020,
CAV.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2019,
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE).
Zhixiao Wang,
Xiaobin Rui,
Xiaodong Yang,
2020,
Computing.
D. Prokhorov,
Bardh Hoxha,
Tomoya Yamaguchi,
2023,
HSCC.
Xiaodong Yang,
Fang Da,
Tong Su,
2023,
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
Xiaodong Yang,
Wei-Xin Li,
2023,
ICML.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2020,
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION).
X. Yang,
Xiaodong Yang,
Lu Xiao,
2023,
Scientific Reports.
Taylor T. Johnson,
Hoang-Dung Tran,
Bardh Hoxha,
2021,
HSCC.
Hai Jin,
Xia Xie,
Xiaodong Yang,
2017,
Inf. Fusion.
Taylor T. Johnson,
Hoang-Dung Tran,
Bardh Hoxha,
2021,
ArXiv.
Zhixiao Wang,
Guan Yuan,
Xiaodong Yang,
2020,
J. Comput. Sci..