A Geometry-Based Point Cloud Reduction Method for Mobile Augmented Reality System. - Hao-Ren Wang; Juan Lei; Ao Li; Yihong Wu 002 (J. Comput. Sci. Technol., 2018)

Compatible Equivalence Checking of X-Valued Circuits. - Yu-Neng Wang; Yun-Rong Luo; Po-Chun Chien; Ping-Lun Wang; Hao-Ren Wang; Wan-Hsuan Lin; Jie-Hong Roland Jiang; Chung-Yang (Ric) Huang (ICCAD, 2021)

Quantifier Elimination in Stochastic Boolean Satisfiability. - Hao-Ren Wang; Kuan-Hua Tu; Jie-Hong Roland Jiang; Christoph Scholl 001 (SAT, 2022)

Robustness study of hybrid hypergraphs. - Hai-Feng Zhang 003; Hao-Ren Wang; Bing-Bing Xiang; Huan Wang (Reliab. Eng. Syst. Saf., 2024)