Guodong Li

SymJS: automatic symbolic testing of JavaScript web applications

Guodong Li, Esben Andreasen, Indradeep Ghosh · 2014 · 99 citations

Practical Symbolic Race Checking of GPU Programs

Peng Li, Guodong Li, Ganesh Gopalakrishnan · 2014 · 37 citations

Program Checking, Engineering, C++ Cuda Programs +21

A robot navigation method based on RFID and QR code in the warehouse

Xiaolong Wang, Wu Chun-Fu, Guodong Li et al. · 2017 · 27 citations

Logistics Processes, Engineering, Location Estimation +25

Control variable parameterisation with penalty approach for hypersonic vehicle reentry optimisation

Ping Liu, Xinggao Liu, Ping Wang et al. · International Journal of Control · 2018 · 22 citations

Parametric Programming, Engineering, Trajectory Planning +14

Dynamic Monitoring and Analysis of Mining Land Subsidence in Multiple Coal Seams in the Ehuobulake Coal Mine Based on FLAC3D and SBAS-InSAR Technology

Shihang Zhou, Hongzhi Wang, Chengfang Shan et al. · Applied Sciences · 2023 · 15 citations · Full text

Mining Science, Engineering, Geomorphology +19