Luca Daniel

A Multiparameter Moment-Matching Model-Reduction Approach for Generating Geometrically Parameterized Interconnect Performance Models

Luca Daniel, O.C. Siong, L.S. Chay et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2004 · 342 citations · Full text

Engineering, Computer Engineering, Electrical Engineering +17

Guaranteed passive balancing transformations for model order reduction

Joel Phillips, Luca Daniel, L. Miguel Silveira · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2003 · 271 citations

Engineering, Computer Science, Systems Engineering +14

Efficient Neural Network Robustness Certification with General Activation Functions

Huan Zhang, Tsui-Wei Weng, Pin‐Yu Chen et al. · arXiv (Cornell University) · 2018 · 213 citations · Full text

Computing, Computer Science, Artificial Intelligence +15

Stochastic Testing Method for Transistor-Level Uncertainty Quantification Based on Generalized Polynomial Chaos

Zheng Zhang, Tarek A. El-Moselhy, Ibrahim M. Elfadel et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 188 citations · Full text

Computing, Computational Engineering, Electrical Engineering +17

Efficient Neural Network Robustness Certification with General Activation Functions

Huan Zhang, Tsui-Wei Weng, Pin‐Yu Chen et al. · DSpace@MIT (Massachusetts Institute of Technology) · 2018 · 173 citations

Computing, Computer Science, Artificial Intelligence +15