Lai-Xiang Shan

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 2

Top Topics

Sensor Networks

Deterministic Automata

Target Tracking

Top Venues

Int. J. Comput. Appl. Technol.

Publications

Lai-Xiang Shan, Zheng Qin
A fast transition of linear temporal logic formulae to transition-based Büchi automata. Int. J. Comput. Appl. Technol. 53 (1) (2016)
Yuan Li, Zheng Qin, Lai-Xiang Shan
Adaptive modelling of non-linear errors-in-variables systems. Int. J. Comput. Appl. Technol. 53 (1) (2016)
Lai-Xiang Shan, Zheng Qin, Kaiping Xu, Xu Chen, Zhipeng Li
From LTL Formulae to Büchi Automata: A Direct Translation Using On-the-Fly De-Generalization. APSEC (2015)
Lai-Xiang Shan, Jun Qin, Mingshi Chen, Zheng Qin
Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation. J. Appl. Math. 2015 (2015)
Lai-Xiang Shan, Xiaomin Du, Zheng Qin
Efficient approach of translating LTL formulae into Büchi automata. Frontiers Comput. Sci. 9 (4) (2015)
Shengnan Li, Zheng Qin, Lai-Xiang Shan, Renwei Zhang, Xiao Yang
A Survey on Target Tracking in Well-deployed Wireless Sensor Networks. J. Softw. 9 (5) (2014)
Lai-Xiang Shan, Zheng Qin, Shengnan Li, Renwei Zhang, Xiao Yang
Conversion Algorithm of Linear-Time Temporal Logic to Buchi Automata. J. Softw. 9 (4) (2014)
Zhengcai Lu, Zheng Qin, Qiao Jing, Lai-Xiang Shan
Positive Macroscopic Approximation for Fast Attribute Reduction. J. Appl. Math. 2013 (2013)