Login / Signup
Hsin-Ping Yen
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Formal Logic
Randomly Generated
Graph Patterns
Expectation Maximization
Top Venues
SoCC
ISQED
ASP-DAC
</>
Publications
</>
Hsin-Ping Yen
,
Shiuan-Hau Huang
,
Yan-Hsiu Liu
,
Kuang-Hsien Tseng
,
Ji-Fu Kung
,
Yi-Ting Li
,
Yung-Chih Chen
,
Chun-Yao Wang
A Flexible Cluster Tool Simulation Framework with Wafer Batch Dispatching Time Recommendation.
ISQED
(2023)
Chia-Chun Lin
,
Hsin-Ping Yen
,
Sheng-Hsiu Wei
,
Pei-Pei Chen
,
Yung-Chih Chen
,
Chun-Yao Wang
A General Equivalence Checking Framework for Multivalued Logic.
ASP-DAC
(2021)
Shiuan-Hau Huang
,
Hsin-Ping Yen
,
Yan-Hsiu Liu
,
Kuang-Hsien Tseng
,
Ji-Fu Kung
,
Chia-Chun Lin
,
Yi-Ting Li
,
Yung-Chih Chen
,
Chun-Yao Wang
Cluster Tool Performance Analysis using Graph Database.
SoCC
(2021)
Chia-Chun Lin
,
Kit Seng Tam
,
Chana-Cheng Ko
,
Hsin-Ping Yen
,
Shenz-Hsiu Wei
,
Yung-Chih Chen
,
Chun-Yao Wang
A Dynamic Expansion Order Algorithm for the SAT-based Minimization.
SoCC
(2020)