On Repairing Quantum Programs Using ChatGPT. - Xiaoyu Guo 007; Jianjun Zhao 001; Pengzhan Zhao (Q-SE@ICSE, 2024)

Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design. - Xiaoyu Guo 007; Takahiro Muta; Jianjun Zhao 001 (QSW, 2024)

Concolic Testing of Quantum Programs. - Shangzhou Xia; Jianjun Zhao 001; Fuyuan Zhang; Xiaoyu Guo 007 (CoRR, 2024)

Quantum Circuit Ansatz: Abstraction and Reuse of Quantum Algorithm Design. - Xiaoyu Guo 007; Takahiro Muta; Jianjun Zhao 001 (CoRR, 2024)

QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development. - Xiaoyu Guo 007; Shinobu Saito; Jianjun Zhao 001 (COMPSAC, 2025)

Quantum Concolic Testing. - Shangzhou Xia; Jianjun Zhao 001; Fuyuan Zhang; Xiaoyu Guo 007 (Proc. ACM Softw. Eng., 2025)