GeoFA: A Geometric Finite Automaton Engine for Efficient Layout Pattern Matching. - Qingsheng Qiu; Ziwen Zheng; Boyu Shi; Chao Wang (ICCAD, 2025)

An Efficient Algorithm for Exact SRAM Verification via Novel Pattern-Matching Techniques. - Sunkanghong Wang; Qingsheng Qiu; Hao Zhang 068; Lijun Wei; Qiang Liu 031 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2026)