Partial Equivalence Checking of Quantum Circuits. - Tian-Fu Chen; Jie-Hong R. Jiang; Min-Hsiu Hsieh (QCE, 2022)

WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits. - Kuo-Wei Ho; Shao-Ting Chung; Tian-Fu Chen; Yu-Wei Fan; Che Cheng; Cheng-Han Liu; Jie-Hong R. Jiang (ICCAD, 2023)

VanQiRA: A Vanishing-State-Based Framework for Quantum Circuit Runtime Assertion. - Tian-Fu Chen; Chun-Yu Wei; Jie-Hong R. Jiang (QCE, 2023)

Boolean Matching Reversible Circuits: Algorithm and Complexity. - Tian-Fu Chen; Jie-Hong Roland Jiang (DAC, 2024)

Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. - Tian-Fu Chen; Yu-Fang Chen 001; Jie-Hong Roland Jiang; Sára Jobranová; Ondrej Lengál (ICCAD, 2024)

A Holistic Approach to Rotation Synthesis for Fault- Tolerant Quantum Computation. - Tian-Fu Chen; Cheng-Han Liu; Jie-Hong R. Jiang (QCE, 2024)

SliQSim: A Quantum Circuit Simulator and Solver for Probability and Statistics Queries. - Tian-Fu Chen; Jie-Hong R. Jiang (TACAS (3), 2025)