Grain Moisture Sensor Data Fusion Based on Improved Radial Basis Function Neural Network. - Liu Yang; Gang Wu; Yuyao Song; Lanlan Dong (CCTA (2), 2012)

Verifying CTL with Unfoldings of Petri Nets. - Lanlan Dong; Guanjun Liu; Dongming Xiang (ICA3PP (4), 2018)

BUCKER 2.0: An Unfolding Based Checker for CTL. - Lanlan Dong; Guanjun Liu; Dongming Xiang (ICNSC, 2019)