An Improved Proof of the Closure Under Homomorphic Inverse of FCFL Valued in Lattice-Ordered Monoids. - Haihui Wang; Luyao Zhao; Ping Li 015 (NCTCS, 2019)

Nondeterministic finite automata based on quantum logic: Language equivalence relation and robustness. - Haihui Wang; Luyao Zhao; Ping Li 015 (Int. J. Approx. Reason., 2021)

A Study on the Influence of Cue Marking in Digital Textbooks on the Reading Effect of College Students. - Luyao Zhao; Miaomiao Han; Jihong Xu (ICETM, 2022)

Fuzzy pushdown automata based on complete residuated lattices: variants and computing powers. - Haihui Wang; Luyao Zhao; Yongxia He; Zhimin Han; Ping Li 015 (Soft Comput., 2023)

Cost-effective identification of the field maturity of tobacco leaves based on deep semi-supervised active learning and smartphone photograph. - Tong Sun; Chaoqun Xue; Yang Chen; Luyao Zhao; Chenchen Qiao; Aoyu Huang; Feitao Li; Chao Liu; Heng Wang; Yongfeng Yang; Qian Yao; Gaojie Wang; et al. (Comput. Electron. Agric., 2023)

Non-cooperative two-stage inverse DEA: a Stackelberg games approach for the efficiency analysis of China's regional economic development and people's living standards. - Mojtaba Ghiyasi; Luyao Zhao; Weiwei Zhu (Ann. Oper. Res., 2025)