Lower Bound Based DDD Minimization for Efficient Symbolic Circuit Analysis. - Alicia Manthe; Chuanjin Richard Shi (ICCD, 2001)

Symbolic analysis of analog circuits with hard nonlinearity. - Alicia Manthe; Zhao Li; Chuanjin Richard Shi (DAC, 2003)

Symbolic Analysis of Nonlinear Analog Circuits. - Alicia Manthe; Zhao Li; Chuanjin Richard Shi; Kartikeya Mayaram (DATE, 2003)