George Ma
发表
Tan Xu,
Shuai Zhao,
Raif Rustamov,
2020,
KDD.
George Ma,
2013
.
Roozbeh Farahbod,
Vincenzo Gervasi,
Uwe Glässer,
2009,
Rigorous Methods for Software Construction and Analysis.
Zhenming Liu,
Qiong Wu,
Tan Xu,
2019,
2019 IEEE 13th International Conference on Semantic Computing (ICSC).