Solving SAT Problem with Boolean Algebra. - Youjun Xu; Dantong Ouyang; Yuxin Ye; Jialiang He (FCST, 2010)

Authentication and search mechanism for diffusing RFID-sensor networks. - Jialiang He; Zhiqiang Xu (Int. J. Sens. Networks, 2013)

Integrity Constraint Validation in DL-Lite _R Based Ontology Using Rewriting. - Xianji Cui; Dantong Ouyang; Jialiang He (ICYCSEE (2), 2016)

Towards probabilistic partial metric spaces: Diagonals between distance distributions. - Jialiang He; Hongliang Lai; Lili Shen (Fuzzy Sets Syst., 2019)

Tukey order among ideals. - Jialiang He; Michael Hrusák; Diego Rojas-Rebolledo; Slawomir Solecki (J. Symb. Log., 2021)

On height of group trees on tame abelian product groups. - Jialiang He (Math. Log. Q., 2021)

Data Privacy Protection in News Crowdfunding in the Era of Artificial Intelligence. - Zhiqiang Xu; Dong Xiang; Jialiang He (J. Glob. Inf. Manag., 2022)

Generic existence of interval P-points. - Jialiang He; Renling Jin; Shuguo Zhang (Arch. Math. Log., 2023)

On the extendability to $ mathbf { Pi }_3^0$ ideals and Katětov order. - Jialiang He; Jintao Luo; Shuguo Zhang (Arch. Math. Log., 2024)

Structure of summable Tall ideals under KATětov order. - Jialiang He; Zuoheng Li; Shuguo Zhang (J. Symb. Log., 2025)