On the Expressiveness of Parameterization in Process-Passing. - Xian Xu 001; Qiang Yin 002; Huan Long (WS-FM, 2013)

Branching Bisimilarity Checking for PRS. - Qiang Yin 002; Yuxi Fu; Chaodong He; Mingzhang Huang; Xiuting Tao (ICALP (2), 2014)

Dividing Line between Decidable PDA's and Undecidable Ones. - Yuxi Fu; Qiang Yin 002 (CoRR, 2014)

On the Computation Power of Name Parameterization in Higher-order Processes. - Xian Xu 001; Qiang Yin 002; Huan Long (ICE, 2015)

Two Lower Bounds for BPA. - Mingzhang Huang; Qiang Yin 002 (CONCUR, 2017)

Two Lower Bounds for BPA. - Qiang Yin 002; Mingzhang Huang; Chaodong He (CoRR, 2017)

On parameterization of higher-order processes. - Qiang Yin 002; Xian Xu 001; Huan Long (Int. J. Comput. Math., 2017)

Adaptive Asynchronous Parallelization of Graph Algorithms. - Wenfei Fan; Ping Lu 005; Xiaojian Luo; Jingbo Xu 001; Qiang Yin 002; Wenyuan Yu; Ruiqi Xu (SIGMOD Conference, 2018)

Parallelizing Sequential Graph Computations. - Wenfei Fan; Wenyuan Yu; Jingbo Xu 001; Jingren Zhou 001; Xiaojian Luo; Qiang Yin 002; Ping Lu 005; Yang Cao 012; Ruiqi Xu (ACM Trans. Database Syst., 2018)

Dynamic Scaling for Parallel Graph Computations. - Wenfei Fan; Chunming Hu; Muyang Liu; Ping Lu 005; Qiang Yin 002; Jingren Zhou 001 (Proc. VLDB Endow., 2019)

Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete. - Wenbo Zhang 004; Qiang Yin 002; Huan Long; Xian Xu 001 (ICALP, 2020)

Application Driven Graph Partitioning. - Wenfei Fan; Ruochun Jin; Muyang Liu; Ping Lu 005; Xiaojian Luo; Ruiqi Xu; Qiang Yin 002; Wenyuan Yu; Jingren Zhou 001 (SIGMOD Conference, 2020)

Adaptive Asynchronous Parallelization of Graph Algorithms. - Wenfei Fan; Ping Lu 005; Wenyuan Yu; Jingbo Xu 001; Qiang Yin 002; Xiaojian Luo; Jingren Zhou 001; Ruochun Jin (ACM Trans. Database Syst., 2020)

FlexGraph: a flexible and efficient distributed framework for GNN training. - Lei Wang 004; Qiang Yin 002; Chao Tian 001; Jianbang Yang; Rong Chen 001; Wenyuan Yu; Zihang Yao; Jingren Zhou 001 (EuroSys, 2021)

Incrementalizing Graph Algorithms. - Wenfei Fan; Chao Tian 001; Ruiqi Xu; Qiang Yin 002; Wenyuan Yu; Jingren Zhou 001 (SIGMOD Conference, 2021)

On the Interactive Power of Higher-order Processes Extended with Parameterization. - Wenbo Zhang 004; Xian Xu 001; Qiang Yin 002; Huan Long (Formal Aspects Comput., 2021)

GraphScope: A Unified Engine For Big Graph Processing. - Wenfei Fan; Tao He; Longbin Lai; Xue Li 024; Yong Li 020; Zhao Li 007; Zhengping Qian; Chao Tian 001; Lei Wang 004; Jingbo Xu 001; Youyang Yao; Qiang Yin 002; et al. (Proc. VLDB Endow., 2021)

Parallel Discrepancy Detection and Incremental Detection. - Wenfei Fan; Chao Tian 001; Yanghao Wang; Qiang Yin 002 (Proc. VLDB Endow., 2021)

Automating Incremental Graph Processing with Flexible Memoization. - Shufeng Gong; Chao Tian 001; Qiang Yin 002; Wenyuan Yu; Yanfeng Zhang; Liang Geng; Song Yu 004; Ge Yu 001; Jingren Zhou 001 (Proc. VLDB Endow., 2021)

GNNLab: a factored system for sample-based GNN training over GPUs. - Jianbang Yang; Dahai Tang; Xiaoniu Song; Lei Wang 004; Qiang Yin 002; Rong Chen 001; Wenyuan Yu; Jingren Zhou 001 (EuroSys, 2022)

Layph: Making Change Propagation Constraint in Incremental Graph Processing by Layering Graph. - Song Yu 004; Shufeng Gong; Yanfeng Zhang; Wenyuan Yu; Qiang Yin 002; Chao Tian 001; Qian Tao; Yongze Yan; Ge Yu 001; Jingren Zhou 001 (ICDE, 2023)

Graph Algorithms With Partition Transparency. - Wenfei Fan; Muyang Liu; Ping Lu 005; Qiang Yin 002 (IEEE Trans. Knowl. Data Eng., 2023)

Application-driven graph partitioning. - Wenfei Fan; Ruiqi Xu; Qiang Yin 002; Wenyuan Yu; Jingren Zhou 001 (VLDB J., 2023)

Enriching Recommendation Models with Logic Conditions. - Lihang Fan; Wenfei Fan; Ping Lu 005; Chao Tian 001; Qiang Yin 002 (Proc. ACM Manag. Data, 2023)

Ingress: an automated incremental graph processing system. - Shufeng Gong; Chao Tian 001; Qiang Yin 002; Zhengdong Wang; Song Yu 004; Yanfeng Zhang; Wenyuan Yu; Liang Geng; Chong Fu; Ge Yu 001; Jingren Zhou 001 (VLDB J., 2024)