Predicting Endurance Limit in the Probabilistic Fatigue Design of Mechanical Components. - Weihao Su; Xintian Liu; Shen Xu (ICSRS, 2023)

Algorithms for Checking Intersection Non-emptiness of Regular Expressions. - Weihao Su; Rongchen Li; Chengyao Peng; Haiming Chen 001 (ICTAC, 2023)

Modeling Regex Operators for Solving Regex Crossword Puzzles. - Weihao Su; Haiming Chen 001; Rongchen Li; Zixuan Chen (SETTA, 2023)

Deducing Matching Strings for Real-World Regular Expressions. - Yixuan Yan; Weihao Su; Lixiao Zheng; Mengxi Wang; Haiming Chen 001; Chengyao Peng; Rongchen Li; Zixuan Chen (SETTA, 2023)

A Derivative-Based Membership Algorithm for Enhanced Regular Expressions. - Mengxi Wang; Chunmei Dong; Weihao Su; Chengyao Peng; Haiming Chen 001 (SETTA, 2024)

Towards an Effective Method of ReDoS Detection for Non-backtracking Engines. - Weihao Su; Hong Huang 004; Rongchen Li; Haiming Chen 001; Tingjian Ge (USENIX Security Symposium, 2024)

Incremental algorithms for solving regular expression intersection non-emptiness. - Haiming Chen 001; Hong Huang 004; Rongchen Li; Chengyao Peng; Weihao Su (Theor. Comput. Sci., 2025)