A K-anonymous clustering algorithm based on the analytic hierarchy process. - Kun Wang 023; Wei Zhao; Junjie Cui; Yanpeng Cui 002; Jianwei Hu 002 (J. Vis. Commun. Image Represent., 2019)

Intuitionistic fuzzy linguistic clustering algorithm based on a new correlation coefficient for intuitionistic fuzzy linguistic information. - Sidong Xian; Yubo Yin; Yixin Liu; Meilin You; Kun Wang 023 (Pattern Anal. Appl., 2019)

Cyberbullying Detection, Based on the FastText and Word Similarity Schemes. - Kun Wang 023; Yanpeng Cui 002; Jianwei Hu 002; Yu Zhang; Wei Zhao; Luming Feng (ACM Trans. Asian Low Resour. Lang. Inf. Process., 2021)

K-ST: A Formal Executable Semantics of PLC Structured Text Language. - Kun Wang 023; Jingyi Wang 004; Christopher M. Poskitt; Xiangxiang Chen 002; Jun Sun 001; Peng Cheng 001 (CoRR, 2022)

K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. - Kun Wang 023; Jingyi Wang 004; Christopher M. Poskitt; Xiangxiang Chen 002; Jun Sun 001; Peng Cheng 001 (IEEE Trans. Software Eng., 2023)

K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language. - Zichen Wang; Jingyi Wang 004; Fu Song; Kun Wang 023; Hongyi Pu; Peng Cheng 001 (CPSS@AsiaCCS, 2024)

μDrive: User-Controlled Autonomous Driving. - Kun Wang 023; Christopher M. Poskitt; Yang Sun 008; Jun Sun 001; Jingyi Wang 004; Peng Cheng 001; Jiming Chen 001 (CoRR, 2024)

LFVeri: Network Configuration Verification for Virtual Private Cloud Networks. - Kun Wang 023; Chengcheng Zhao; Jinpei Chu; Yiping Shi; Jianyuan Lu; Biao Lyu; Shunmin Zhu; Peng Cheng 001; Jiming Chen 001 (IEEE/ACM Trans. Netw., 2024)

FIXDRIVE: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation. - Yang Sun 008; Christopher M. Poskitt; Kun Wang 023; Jun Sun 001 (ICSE, 2025)