A Folding Strategy for SAT solvers based on Shannon's expansion theorem. - Siwat Saibua; Po-Yu Kuo; Dian Zhou; Ming-e Jing (SoCC, 2010)

A novel approach to estimate the impact of analog circuit performance based on the small signal model under process variations. - Po-Yu Kuo; Siwat Saibua; Dian Zhou (SoCC, 2011)

Worst case analysis for evaluating VLSI circuit performance bounds using an optimization method. - Siwat Saibua; Liuxi Qian; Dian Zhou (VLSI-SoC, 2011)

An Efficient Method for Evaluating Analog Circuit Performance Bounds Under Process Variations. - Po-Yu Kuo; Siwat Saibua; Guanming Huang; Dian Zhou (IEEE Trans. Circuits Syst. II Express Briefs, 2012)

An Efficient Optimization Based Method to Evaluate the DRV of SRAM Cells. - Guanming Huang; Liuxi Qian; Siwat Saibua; Dian Zhou; Xuan Zeng 001 (IEEE Trans. Circuits Syst. I Regul. Pap., 2013)

A Cost-Effective Method for Quality Assessment of Audiometric Bone Conduction Transducers. - Siwat Saibua; Sangvorn Seesutas; Pasin Israsena (i-CREATe, 2016)