Automatic abstraction refinement of TR for PDR. - Kuan Fan; Ming-Jen Yang; Chung-Yang Huang (ASP-DAC, 2016)

Improving efficiency of remote data audit for cloud storage. - Kuan Fan; Mingxi Liu; Wenbo Shi (KSII Trans. Internet Inf. Syst., 2019)

Privacy-Preserving Distributed Data Fusion Based on Attribute Protection. - Xin Su 002; Kuan Fan; Wenbo Shi (IEEE Trans. Ind. Informatics, 2019)

Dredas: Decentralized, reliable and efficient remote outsourced data auditing scheme with blockchain smart contract for industrial IoT. - Kuan Fan; Zijian Bao; Mingxi Liu; Athanasios V. Vasilakos; Wenbo Shi (Future Gener. Comput. Syst., 2020)

Enhancing cloud storage security against a new replay attack with an efficient public auditing scheme. - Kuan Fan; Mingxi Liu; Guofang Dong; Wenbo Shi (J. Supercomput., 2020)

Hash-balanced binary tree-based public auditing in vehicular edge computing and networks. - Mingxi Liu; Kuan Fan; Neeraj Kumar 001; Debiao He; Wenbo Shi (Int. J. Commun. Syst., 2022)

A decision-making method for assembly sequence planning with dynamic resources. - Wenbo Wu; Zhengdong Huang; Jiani Zeng; Kuan Fan (Int. J. Prod. Res., 2022)

MIMO transmission diversity and spatial smoothing: A joint decorrelation effect study. - Kuan Fan; Xionghou Liu; Chao Sun 004 (Signal Process., 2022)

A fair multi-attribute data transaction mechanism supporting cross-chain. - Kuan Fan; Chaozhi Zhou; Ning Lu 005; Wenbo Shi; Victor Chang 001 (Internet Things, 2024)

An Improved MIMO Transmission Diversity Smoothing Method by Constructing Cross-Covariance Matrices. - Kuan Fan; Xionghou Liu; Chao Sun 004 (IEEE Signal Process. Lett., 2024)

Tensorized computational framework for stiffness matrix and its application to buckling optimization of multi-patch laminated shells via isogeometric analysis. - Xinming Li; Bowen Ji; Zhengdong Huang; Kuan Fan; Yuechen Hu; Jiachen Luo (Adv. Eng. Softw., 2025)

Extracting fiber paths from the optimized lamination parameters of variable-stiffness laminated shells based on physic-informed neural network. - Xinming Li; Lujie Ma; Bowen Ji; Kuan Fan; Zhengdong Huang (Comput. Aided Des., 2025)

E-MAEL: Efficient Multi-Cloud Data Auditing With Error Localization for IoT Consumer Devices in Metaverse. - Mingxi Liu; Kuan Fan; Ning Lu 005; Wenbo Shi; Mohammed J. F. Alenazi; Chien-Ming Chen 001; Saru Kumari (IEEE Trans. Consumer Electron., 2025)