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)

Design of Novel Analog Compute Paradigms with Ark. - Yu-Neng Wang; Glenn E. R. Cowan; Ulrich Rührmair; Sara Achour (ASPLOS (2), 2024)

Shem: A Hardware-Aware Optimization Framework for Analog Computing Systems. - Yu-Neng Wang; Sara Achour (CoRR, 2024)

Strong PUF Security Metrics: Sensitivity of Responses to Single Challenge Bit Flips. - Wolfgang Stefani; Fynn Kappelhoff; Martin Gruber; Yu-Neng Wang; Sara Achour; Debdeep Mukhopadhyay; Ulrich Rührmair (IACR Cryptol. ePrint Arch., 2024)

OscNet v1.5: Energy Efficient Hopfield Network on CMOS Oscillators for Image Classification. - Wenxiao Cai; Zongru Li; Iris Wang; Yu-Neng Wang; Thomas H. Lee (CoRR, 2025)