Tian-Fu Chen

According to our database, Tian-Fu Chen authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

SliQSim: A Quantum Circuit Simulator and Solver for Probability and Statistics Queries.

Tian-Fu Chen, Jie-Hong R. Jiang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

A Holistic Approach to Rotation Synthesis for Fault- Tolerant Quantum Computation.

Tian-Fu Chen, Cheng-Han Liu, Jie-Hong R. Jiang

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024

Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization.

Tian-Fu Chen, Yu-Fang Chen, Jie-Hong Roland Jiang, Sára Jobranová, Ondrej Lengál

Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, 2024

Boolean Matching Reversible Circuits: Algorithm and Complexity.

Tian-Fu Chen, Jie-Hong Roland Jiang

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

VanQiRA: A Vanishing-State-Based Framework for Quantum Circuit Runtime Assertion.

Tian-Fu Chen, Chun-Yu Wei, Jie-Hong R. Jiang

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

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

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

Partial Equivalence Checking of Quantum Circuits.

Tian-Fu Chen, Jie-Hong R. Jiang, Min-Hsiu Hsieh

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022