Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework. - Jun Liu 001; Luis Martínez-López 001; Yang Xu 001; Zhirui Lu (IFSA (2), 2007)

Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic. - Jun Liu 001; Luis Martínez-López 001; Yang Xu 001; Zhirui Lu (ISMVL, 2007)

A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation. - Zhirui Lu; Jun Liu 001; Juan Carlos Augusto; Hui Wang 001 (SGAI Conf., 2009)

Multi-valued temporal logic based reasoning system with applications to decision support in intelligent environments. - Zhirui Lu (2011)

A System to Reason about uncertain and Dynamic Environments. - Zhirui Lu; Juan Carlos Augusto; Jun Liu 001; Hui Wang 001; Asier Aztiria (Int. J. Artif. Intell. Tools, 2012)

A Linguistic Truth-Value Temporal Reasoning (LTR) System and its Application to the Design of an Intelligent Environment. - Zhirui Lu; Juan Carlos Augusto; Jun Liu 001; Hui Wang 001 (Int. J. Comput. Intell. Syst., 2012)

Finite Element Biomechanical Analysis of Pedicle Screw Redirection Insertion. - Shuangshuang Ma; Dedong Gao; Zhongshu Shan; Wenxu Xu; Zhirui Lu (ISAIMS, 2024)

A Molecular-Based Authentication and Authorization for Internet of Things Systems. - Zhirui Lu; Osama Amin; Basem Shihada (WCNC, 2024)