Lanlan Dong

According to our database, Lanlan Dong authored at least 3 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

BUCKER 2.0: An Unfolding Based Checker for CTL.

Lanlan Dong, Guanjun Liu, Dongming Xiang

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

2018

Verifying CTL with Unfoldings of Petri Nets.

Lanlan Dong, Guanjun Liu, Dongming Xiang

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

2012

Grain Moisture Sensor Data Fusion Based on Improved Radial Basis Function Neural Network.

Liu Yang, Gang Wu, Yuyao Song, Lanlan Dong

Proceedings of the Computer and Computing Technologies in Agriculture VI, 2012