Hybridization of Bound-and-Decompose and Mixed Integer Feasibility Checking to Measure Redundancy in Structured Linear Systems. - Manish Bansal; Kiavash Kianfar; Yu Ding 005; Erick Moreno-Centeno (IEEE Trans Autom. Sci. Eng., 2013)

An L1-minimization based algorithm to measure the redundancy of state estimators in large sensor systems. - Vishnu Vijayaraghavan; Kiavash Kianfar; Yu Ding 005; Hamid Parsaei (CASE, 2017)

A Mixed Integer Programming Based Recursive Variance Reduction Method for Reliability Evaluation of Linear Sensor Systems. - Vishnu Vijayaraghavan; Kiavash Kianfar; Yu Ding 005; Hamid Parsaei (CASE, 2018)

A Scalable FPGA Engine for Parallel Acceleration of Singular Value Decomposition. - Yu Wang 167; Jeong-Jun Lee; Yu Ding 005; Peng Li 001 (ISQED, 2020)