Hai Lin
发表
Caijun Zhong,
Weiqiang Xu,
Xiaoling Hu,
2019,
IEEE Transactions on Communications.
Yubo Tao,
Hai Lin,
Zhihui Bai,
2019,
Journal of Visualization.
Jigui Sun,
Minghao Yin,
Hai Lin,
2007,
AAAI.
Mohammad Karimadini,
Hai Lin,
Hai Lin,
2012
.
Michaël Rusinowitch,
Paliath Narendran,
Siva Anantharaman,
2009,
Journal of Automated Reasoning.
Michaël Rusinowitch,
Paliath Narendran,
Siva Anantharaman,
2010,
ASIACCS '10.
Michaël Rusinowitch,
Paliath Narendran,
Siva Anantharaman,
2009,
FroCoS.
Stéphanie Delaune,
Hai Lin,
Christopher Lynch,
2007,
LPAR.
Jigui Sun,
Hai Lin,
Yimin Zhang,
2004,
Journal of Automated Reasoning.
Hai Lin,
Christopher Lynch,
Todd Deshane,
2007,
CADE.
Jigui Sun,
Hai Lin,
2004,
Journal of Automated Reasoning.
Hai Lin,
Baoliang Mu,
2015
.