Verified Memoization and Dynamic Programming. - Simon Wimmer 001; Shuwei Hu; Tobias Nipkow (ITP, 2018)

Monadification, Memoization and Dynamic Programming. - Simon Wimmer 001; Shuwei Hu; Tobias Nipkow (Arch. Formal Proofs, 2018)

Owfuzz: Discovering Wi-Fi Flaws in Modern Devices through Over-The-Air Fuzzing. - Hongjian Cao; Lin Huang; Shuwei Hu; Shangcheng Shi; Yujia Liu (WISEC, 2023)

ABY3 Multiplication and Array Shuffling. - Shuwei Hu (Arch. Formal Proofs, 2023)

Fusion-OSR: Cross-Domain Contrastive Learning with Weibull Calibration for Time Series Open Set Recognition. - Shuguo Hu; Xudong Zhao; Shuwei Hu; Xuan Gao (ICASSP, 2025)

Design of big data classifier optimization method based on improved particle swarm optimization algorithm. - Shuwei Hu (J. Comput. Methods Sci. Eng., 2025)