Lattice-valued modal propositional logic and its completeness. - Huixian Shi; Guojun Wang (Sci. China Inf. Sci., 2010)

Many-Valued Modal Logic Metric Spaces based on Frames. - Huixian Shi; Guo-Jun Wang (QLSC, 2012)

Maximal contractions in Boolean algebras. - Huixian Shi; Guojun Wang (Sci. China Inf. Sci., 2012)

An Efficient and Provably-Secure Certificateless Public Key Encryption Scheme for Telecare Medicine Information Systems. - Rui Guo 005; Qiaoyan Wen; Huixian Shi; Zhengping Jin; Hua Zhang 001 (J. Medical Syst., 2013)

Provably-Secure Certificateless Key Encapsulation Mechanism for e-Healthcare System. - Huixian Shi; Rui Guo 005 (Int. J. Netw. Secur., 2015)

A multiple-valued logic approach for multigranulation rough set model. - Yanhong She; Xiaoli He; Huixian Shi; Yuhua Qian (Int. J. Approx. Reason., 2017)

Confidentiality-Preserving Personal Health Records in Tele-Healthcare System Using Authenticated Certificateless Encryption. - Rui Guo 005; Huixian Shi (Int. J. Netw. Secur., 2017)

Secure Attribute-Based Signature Scheme With Multiple Authorities for Blockchain in Electronic Health Records Systems. - Rui Guo 005; Huixian Shi; Qinglan Zhao; Dong Zheng 001 (IEEE Access, 2018)

An Efficient Confidentiality Preserving Scheme Using Certificateless Encryption with High Trust Level. - Rui Guo 005; Huixian Shi (Int. J. Netw. Secur., 2018)

Flexible and Efficient Blockchain-Based ABE Scheme With Multi-Authority for Medical on Demand in Telemedicine System. - Rui Guo 005; Huixian Shi; Dong Zheng 001; Chunming Jing; Chaoyuan Zhuang; Zhengyang Wang (IEEE Access, 2019)

Efficient and Unconditionally Anonymous Certificateless Provable Data Possession Scheme With Trusted KGC for Cloud-Based EMRs. - Huixian Shi; Rui Guo 005; Chunming Jing; Shaocong Feng (IEEE Access, 2019)

A lightweight verifiable outsourced decryption of attribute-based encryption scheme for blockchain-enabled wireless body area network in fog computing. - Rui Guo 005; Chaoyuan Zhuang; Huixian Shi; Yinghui Zhang 002; Dong Zheng 001 (Int. J. Distributed Sens. Networks, 2020)

O3-R-CP-ABE: An Efficient and Revocable Attribute-Based Encryption Scheme in the Cloud-Assisted IoMT System. - Rui Guo 005; Geng Yang; Huixian Shi; Yinghui Zhang 002; Dong Zheng 001 (IEEE Internet Things J., 2021)

A data-driven approach for jet fire prediction of hydrogen blended natural gas pipelines. - Shuo Zhang; Yingbin Cao; Jiali Tang; Yu Zou; Huixian Shi; Ernesto Salzano; Chao Chen 023 (Reliab. Eng. Syst. Saf., 2025)