Login / Signup
Si-Han Chen
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 4
Top Topics
Genetic Algorithm
Multi Objective Genetic Algorithms
Integrity Verification
Neural Network
Top Venues
CoRR
ICCE-Taiwan
Microprocess. Microsystems
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Yean-Ru Chen
,
Tzu-Fan Wang
,
Si-Han Chen
,
Yi-Chun Kao
Empirical study on security verification and assessment of neural network accelerator.
Microprocess. Microsystems
99 (2023)
Yean-Ru Chen
,
Si-Han Chen
,
Shangwei Lin
SMT Solver With Hardware Acceleration.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
42 (6) (2023)
Shang-Wei Lin
,
Si-Han Chen
,
Tzu-Fan Wang
,
Yean-Ru Chen
A Quantum SMT Solver for Bit-Vector Theory.
CoRR
(2023)
Jehn-Ruey Jiang
,
Si-Han Chen
Deep Learning Multi-objective Optimization for Smart Manufacturing via Elitist Genetic Algorithm.
ICCE-Taiwan
(2023)