A Quantum SMT Solver for Bit-Vector Theory. - Shang-Wei Lin 001; Si-Han Chen; Tzu-Fan Wang; Yean-Ru Chen (CoRR, 2023)

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation. - Shang-Wei Lin 001; Tzu-Fan Wang; Yean-Ru Chen; Zhe Hou; David Sanán; Yon Shin Teo (CoRR, 2023)

Empirical study on security verification and assessment of neural network accelerator. - Yean-Ru Chen; Tzu-Fan Wang; Si-Han Chen; Yi-Chun Kao (Microprocess. Microsystems, 2023)

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. - Shang-Wei Lin 001; Tzu-Fan Wang; Yean-Ru Chen; Zhe Hou; David Sanán; Yon Shin Teo (TACAS (2), 2024)