BDD-Based Decision Procedures for K. - Guoqiang Pan; Ulrike Sattler; Moshe Y. Vardi (CADE, 2002)

Optimizing a BDD-Based Modal Solver. - Guoqiang Pan; Moshe Y. Vardi (CADE, 2003)

Symbolic Decision Procedures for QBF. - Guoqiang Pan; Moshe Y. Vardi (CP, 2004)

Projection Pushing Revisited. - Benjamin J. McMahan; Guoqiang Pan; Patrick Porter; Moshe Y. Vardi (EDBT, 2004)

Search vs. Symbolic Techniques in Satisfiability Solving. - Guoqiang Pan; Moshe Y. Vardi (SAT (Selected Papers, 2004)

Treewidth in Verification: Local vs. Global. - Andrea Ferrara; Guoqiang Pan; Moshe Y. Vardi (LPAR, 2005)

Symbolic Techniques in Satisfiability Solving. - Guoqiang Pan; Moshe Y. Vardi (J. Autom. Reason., 2005)

Fixed-Parameter Hierarchies inside PSPACE. - Guoqiang Pan; Moshe Y. Vardi (LICS, 2006)

BDD-based decision procedures for the modal logic K. - Guoqiang Pan; Ulrike Sattler; Moshe Y. Vardi (J. Appl. Non Class. Logics, 2006)

V2PNet: Voxel-to-Point Feature Propagation and Fusion That Improves Feature Representation for Point Cloud Registration. - Han Hu 005; Yongkuo Hou; Yulin Ding; Guoqiang Pan; Min Chen 015; Xuming Ge (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023)