Partial Instantiation Methods for Inference in First-Order Logic. - John N. Hooker; G. Rago; V. Chandru; A. Shrivastava (J. Autom. Reason., 2002)

12-bit non-calibrating noise-immune redundant SAR ADC for system-on-a-chip. - A. Shrivastava (ISCAS, 2006)