| 2026 | TACAS | Error-Tolerant Quantum State Discrimination: Optimization and Quantum Circuit Synthesis. | Chien-Kai Ma, Bo-Hung Chen, Tian-Fu Chen, Dah-Wei Chiou, Jie-Hong R. Jiang |
| 2025 | QCE | A Measure-and-Prepare Framework for Arbitrary Quantum Gate Excision and its Applications. | Tian-Fu Chen, Yu-Hung Pan, Ting-Hsun Chi, Po-Hung Chen, Dah-Wei Chiou, Jie-Hong R. Jiang |
| 2025 | QCE | Optimal Qubit Reuse for Quantum Computation with Gate Reordering and Eager Measurement. | Wen-Chen Yu, Tian-Fu Chen, Yu-Hsiang Chan, Jie-Hong R. Jiang, Dah-Wei Chiou, Yao-Wen Chang |
| 2025 | TACAS | SliQSim: A Quantum Circuit Simulator and Solver for Probability and Statistics Queries. | Tian-Fu Chen, Jie-Hong R. Jiang |
| 2024 | DAC | Boolean Matching Reversible Circuits: Algorithm and Complexity. | Tian-Fu Chen, Jie-Hong Roland Jiang |
| 2024 | ICCAD | Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. | Tian-Fu Chen, Yu-Fang Chen, Jie-Hong Roland Jiang, Sra Jobranov, Ondrej Lengl |
| 2024 | QCE | A Holistic Approach to Rotation Synthesis for Fault- Tolerant Quantum Computation. | Tian-Fu Chen, Cheng-Han Liu, Jie-Hong R. Jiang |
| 2023 | ICCAD | 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 |
| 2023 | QCE | VanQiRA: A Vanishing-State-Based Framework for Quantum Circuit Runtime Assertion. | Tian-Fu Chen, Chun-Yu Wei, Jie-Hong R. Jiang |
| 2022 | QCE | Partial Equivalence Checking of Quantum Circuits. | Tian-Fu Chen, Jie-Hong R. Jiang, Min-Hsiu Hsieh |