Configuration of the Galaxy Grid Node Environment. - Guoteng Pan; Qiang Dou; Luoguo Xie; Guangming Liu; Haifang Zhou; Xiaoqian Zhu; Erhua He (GCC Workshops, 2004)

A New Hybrid Directory Scheme for Shared Memory Multi-processors. - Guoteng Pan; Lunguo Xie; Qiang Dou; Erhua He (CSR, 2006)

A Two-Level Directory Organization Solution for CC-NUMA Systems. - Guoteng Pan; Qiang Dou; Lunguo Xie (ICA3PP, 2007)

Study on distributing pattern of shared data in CC-NUMA system. - Guoteng Pan; Qiang Dou; Lunguo Xie (SNPD (3), 2007)

Modeling and Reasoning Event-B Models Based on Mathematica. - Guoteng Pan; Mengjun Li; Guodong Ou (Internetware, 2019)

Solving Constraint Optimization Problems Based on Mathematica and Abstraction. - Guoteng Pan; Mengjun Li; Guodong Ou (SOFL+MSVL, 2019)

Directory Controller Verification Based on Genetic Algorithm. - Li Luo; Li Zhou 009; Hailiang Zhou; Quanyou Feng; Guoteng Pan (ACA, 2020)

Multi-objective Optimization Regression Verification for Multi-core Cache Coherence Protocol. - Li Luo; Ying Zhang 032; Hongjun He; Lei Wang 011; Chanzqing Xun; Guoteng Pan; Junbo Tie; Huili Hu (HPCC/DSS/SmartCity/DependSys, 2021)