A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. - Taolue Chen 001; Matthew Hague; Jinlong He; Denghang Hu; Anthony Widjaja Lin; Philipp Rümmer; Zhilin Wu (ATVA, 2020)

Solving Not-Substring Constraint withFlat Abstraction. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen 001; Bui Phi Diep; Lukás Holík; Denghang Hu; Wei-Lun Tsai; Zhilin Wu; Di-De Yen (APLAS, 2021)

Solving string constraints with Regex-dependent functions through transducers with priorities and variables. - Taolue Chen 001; Alejandro Flores-Lamas; Matthew Hague; Zhilei Han; Denghang Hu; Shuanglong Kan; Anthony W. Lin; Philipp Rümmer; Zhilin Wu (Proc. ACM Program. Lang., 2022)

String Constraints with Regex-Counting and String-Length Solved More Efficiently. - Denghang Hu; Zhilin Wu (SETTA, 2023)

An efficient string solver for string constraints with regex-counting and string-length. - Denghang Hu; Zhilin Wu (J. Syst. Archit., 2025)

OSTRICH2: Solver for Complex String Constraints. - Matthew Hague; Denghang Hu; Artur Jez; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer; Zhilin Wu (CoRR, 2025)