The New Copy File Command Parser for NVM Devices. - Tao Cai; Jie Wang; Peiyao Liu; Dejiao Niu; Qingjian He; Jun Liang (HPCC/SmartCity/DSS, 2019)

Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule. - Peiyao Liu; Guanfeng Wu; Yang Xu 001; Feng Cao (ISKE, 2021)

Formalization and Verification of Cyclic Group. - Yue Tang; Yang Xu 001; Peiyao Liu; Guoyan Zeng (ISKE, 2021)

Formal Modeling and Verification of Multi-agent System Based on Timed Automata. - Xia Wang; Yang Xu 001; Peiyao Liu (ISKE, 2021)

Optimization and dynamic simulation of electric actuator transmission based on high precision ball screw. - Haoxin Zheng; Minghui Huang; Lihua Zhan; Peiyao Liu; Ziqing Zhu (J. Intell. Fuzzy Syst., 2021)

The Embedded IoT Time Series Database for Hybrid Solid-State Storage System. - Tao Cai; Peiyao Liu; Dejiao Niu; Jiancong Shi; Lei Li (Sci. Program., 2021)

Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning. - Jian Zhong; Peiyao Liu; Shuwei Chen 001 (ISKE, 2023)

Designing Between Virtuality and Reality: Improving Inclusiveness in Hybrid Spaces. - Peiyao Liu; Chenxing Xie (SIGDOC, 2023)

An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability. - Peiyao Liu; Shuwei Chen 001; Jun Liu 001; Yang Xu 001; Feng Cao; Guanfeng Wu (Knowl. Based Syst., 2023)

Fully reusing clause deduction algorithm based on standard contradiction separation rule. - Peiyao Liu; Yang Xu 001; Jun Liu 001; Shuwei Chen 001; Feng Cao; Guanfeng Wu (Inf. Sci., 2023)

A complementary ratio based clause selection method for contradiction separation dynamic deduction. - Guoyan Zeng; Shuwei Chen 001; Jun Liu 001; Yang Xu 001; Peiyao Liu (Knowl. Based Syst., 2024)

GPU implementation of the discrete unified gas kinetic scheme for low-speed isothermal flows. - Peiyao Liu; Changsheng Huang; Zhaoli Guo (Comput. Phys. Commun., 2024)

Heterogeneous Multivariate Functional Time Series Modeling: A State Space Approach. - Peiyao Liu; Junpeng Lin; Chen Zhang 007 (IEEE Trans. Knowl. Data Eng., 2024)

Emotional Re-Victimization in the Workplace: The Burden of Concern Reporting Systems. - Peiyao Liu; Norman Makoto Su (CHIWORK, 2025)