Automatic compositional reasoning for multi-thread programs. - Minqiang Gu; Qiang Liu (CSCWD, 2011)

AGENT: An Adaptive Grouping Entrapping Method of Flocking Systems. - Chen Wang; Minqiang Gu; Wenxi Kuang; Dongliang Wang; Weicheng Luo; Zhaohui Shi; Zhun Fan (CoRR, 2022)

AGENT: an adaptive grouping and entrapping method for flocking systems. - Chen Wang 096; Wenxi Kuang; Minqiang Gu; Zhun Fan (J. Comput. Des. Eng., 2023)

Automated pattern generation for swarm robots using constrained multi-objective genetic programming. - Zhun Fan; Zhaojun Wang; Wenji Li; Xiaomin Zhu 001; Bingliang Hu; An-Min Zou; Weidong Bao 001; Minqiang Gu; Zhifeng Hao; Yaochu Jin (Swarm Evol. Comput., 2023)