Lai-Xiang Shan

According to our database, Lai-Xiang Shan authored at least 8 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2016

A fast transition of linear temporal logic formulae to transition-based Büchi automata.

Lai-Xiang Shan, Zheng Qin

Int. J. Comput. Appl. Technol., 2016

Adaptive modelling of non-linear errors-in-variables systems.

Yuan Li, Zheng Qin, Lai-Xiang Shan

Int. J. Comput. Appl. Technol., 2016

2015

Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation.

Lai-Xiang Shan, Jun Qin, Mingshi Chen, Zheng Qin

J. Appl. Math., 2015

Efficient approach of translating LTL formulae into Büchi automata.

Lai-Xiang Shan, Xiaomin Du, Zheng Qin

Frontiers Comput. Sci., 2015

From LTL Formulae to Büchi Automata: A Direct Translation Using On-the-Fly De-Generalization.

Lai-Xiang Shan, Zheng Qin, Kaiping Xu, Xu Chen, Zhipeng Li

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

Conversion Algorithm of Linear-Time Temporal Logic to Buchi Automata.

Lai-Xiang Shan, Zheng Qin, Shengnan Li, Renwei Zhang, Xiao Yang

J. Softw., 2014

A Survey on Target Tracking in Well-deployed Wireless Sensor Networks.

Shengnan Li, Zheng Qin, Lai-Xiang Shan, Renwei Zhang, Xiao Yang

J. Softw., 2014

2013

Positive Macroscopic Approximation for Fast Attribute Reduction.

Zhengcai Lu, Zheng Qin, Qiao Jing, Lai-Xiang Shan

J. Appl. Math., 2013