A robust functional ECO engine by SAT proof minimization and interpolation techniques. - Bo-Han Wu; Chun-Ju Yang; Chung-Yang Huang; Jie-Hong Roland Jiang (ICCAD, 2010)

Toward an extremely-high-throughput and even-distribution pattern generator for the constrained random simulation techniques. - Bo-Han Wu; Chun-Ju Yang; Chia-Cheng Tso; Chung-Yang (Ric) Huang (ICCAD, 2011)

A robust general constrained random pattern generator for constraints with variable ordering. - Bo-Han Wu; Chung-Yang (Ric) Huang (ICCAD, 2012)

A robust constraint solving framework for multiple constraint sets in constrained random verification. - Bo-Han Wu; Chung-Yang (Ric) Huang (DAC, 2013)

A High-Throughput and Arbitrary-Distribution Pattern Generator for the Constrained Random Verification. - Bo-Han Wu; Chun-Ju Yang; Chung-Yang Huang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Hybrid cloud computing for user location-aware augmented reality construction. - Ming-Shen Jian; Yi-Chang Wang; Bo-Han Wu; Yu-En Cheng (ICACT, 2018)

A New In-Car Navigation System Based on V2C2V and Data Science. - Bo-Han Wu; Sun-Jen Huang (IT Prof., 2018)

A Single-Stage Soft-Switching AC/DC Converter without Soft-Switching Auxiliary Circuit. - Chien-Ming Wang; Jyun-Che Li; Bo-Han Wu; Yu-Ting Lai (ICIT, 2019)

Novel Robust Parcel-Size Classification Using mmWave Radar. - Bo-Han Wu; Shih-Hau Fang; Hsiao-Chun Wu (IEEE Trans. Ind. Informatics, 2024)