Fair Transition System Specification: An Integrated Approach. - Guoping Jia; Guoliang Zheng (ACM SIGPLAN Notices, 1996)

Verification Experiments on the MASCARA Protocol. - Guoping Jia; Susanne Graf (SPIN, 2001)

A Novel Teaching-Learning-Based Optimization with Error Correction and Cauchy Distribution for Path Planning of Unmanned Air Vehicle. - Zhibo Zhai; Guoping Jia; Kai Wang (Comput. Intell. Neurosci., 2018)

Leveraging Artificial Intelligence in Medicine Compliance Check. - Guoping Jia; Wei Zhu; Jinjun Tang; Wenping Zhang (HCI (22), 2021)