Luca Daniel

Affiliations:
  • Massachusetts Institute of Technology, Cambridge, USA


According to our database1, Luca Daniel authored at least 104 papers between 2001 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Magnetic-Resonance-Based Electrical Property Mapping Using Global Maxwell Tomography With an 8-Channel Head Coil at 7 Tesla: A Simulation Study.
IEEE Trans. Biomed. Eng., 2021

Compression of volume-surface integral equation matrices via Tucker decomposition for magnetic resonance applications.
CoRR, 2021

Fast Training of Provably Robust Neural Networks by SingleProp.
CoRR, 2021

Hidden Cost of Randomized Smoothing.
Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

Fast Training of Provably Robust Neural Networks by SingleProp.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Fast and Accurate Tensor Completion With Total Variation Regularized Tensor Trains.
IEEE Trans. Image Process., 2020

Bounded Input Dissipativity of Linearized Circuit Models.
IEEE Trans. Circuits Syst. I Regul. Pap., 2020

Noninvasive Estimation of Electrical Properties From Magnetic Resonance Measurements via Global Maxwell Tomography and Match Regularization.
IEEE Trans. Biomed. Eng., 2020

Handling Initial Conditions in Vector Fitting for Real Time Modeling of Power System Dynamics.
CoRR, 2020

Stability Certification Standards for DC Microgrid Networks with Arbitrary Load Configurations.
CoRR, 2020

Accelerated Probabilistic State Estimation in Distribution Grids via Model Order Reduction.
CoRR, 2020

Accelerated Probabilistic Power Flow via Model Order Reduction and Neumann Series Expansion.
CoRR, 2020

Robust Deep Reinforcement Learning through Adversarial Loss.
CoRR, 2020

Rethinking Randomized Smoothing for Adversarial Robustness.
CoRR, 2020

Metasurface Matching Layers for Enhanced Electric Field Penetration Into the Human Body.
IEEE Access, 2020

Higher-Order Certification For Randomized Smoothing.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Neural Network Control Policy Verification With Persistent Adversarial Perturbation.
Proceedings of the 37th International Conference on Machine Learning, 2020

Proper Network Interpretability Helps Adversarial Robustness in Classification.
Proceedings of the 37th International Conference on Machine Learning, 2020

Towards Verifying Robustness of Neural Networks Against A Family of Semantic Perturbations.
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

Towards Certificated Model Robustness Against Weight Perturbations.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Fastened CROWN: Tightened Neural Network Robustness Certificates.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Towards Verifying Robustness of Neural Networks Against Semantic Perturbations.
CoRR, 2019

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation.
CoRR, 2019

POPQORN: Quantifying Robustness of Recurrent Neural Networks.
CoRR, 2019

Uncertainty-Aware Computational Tools for Power Distribution Networks Including Electrical Vehicle Charging and Load Profiles.
IEEE Access, 2019

PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach.
Proceedings of the 36th International Conference on Machine Learning, 2019

POPQORN: Quantifying Robustness of Recurrent Neural Networks.
Proceedings of the 36th International Conference on Machine Learning, 2019

Power Grid Simulation Considering Electric Vehicles and Renewable Energy Sources.
Proceedings of the Fourteenth International Conference on Ecological Vehicles and Renewable Energies, 2019

CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Wave-Based Analysis of Large Nonlinear Photovoltaic Arrays.
IEEE Trans. Circuits Syst. I Regul. Pap., 2018

Variation-Aware Modeling of Integrated Capacitors Based on Floating Random Walk Extraction.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Exploiting Oscillator Arrays As Randomness Sources for Cryptographic Applications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Computing Low-Rank Approximations of Large-Scale Matrices with the Tensor Network Randomized SVD.
SIAM J. Matrix Anal. Appl., 2018

PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach.
CoRR, 2018

Efficient Neural Network Robustness Certification with General Activation Functions.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Wave Digital-Based Variability Analysis of Electrical Mismatch in Photovoltaic Arrays.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Towards Fast Computation of Certified Robustness for ReLU Networks.
Proceedings of the 35th International Conference on Machine Learning, 2018

Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach.
Proceedings of the 6th International Conference on Learning Representations, 2018

Low voltage electrical distribution network analysis under load variation.
Proceedings of the IEEE International Conference on Industrial Technology, 2018

On Extensions of Clever: A Neural Network Robustness Evaluation Algorithm.
Proceedings of the 2018 IEEE Global Conference on Signal and Information Processing, 2018

2017
Tensor Computation: A New Framework for High-Dimensional Problems in EDA.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

Shape optimization of solid-air porous phononic crystal slabs with widest full 3D bandgap for in-plane acoustic waves.
J. Comput. Phys., 2017

Towards an impact study of electric vehicles on the Italian electric power system using simulation techniques.
Proceedings of the 3rd IEEE International Forum on Research and Technologies for Society and Industry, 2017

A predictive model to support the widespread diffusion of electric mobility.
Proceedings of the 5th IEEE International Conference on Models and Technologies for Intelligent Transportation Systems, 2017

2016
Analysis and Design of Boolean Associative Memories Made of Resonant Oscillator Arrays.
IEEE Trans. Circuits Syst. I Regul. Pap., 2016

Reducing Phase Noise in Multi-Phase Oscillators.
IEEE Trans. Circuits Syst. I Regul. Pap., 2016

CAPLET: A Highly Parallelized Field Solver for Capacitance Extraction Using Instantiable Basis Functions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Fast Electromagnetic Analysis of MRI Transmit RF Coils Based on Accelerated Integral Equation Methods.
IEEE Trans. Biomed. Eng., 2016

A Big-Data Approach to Handle Many Process Variations: Tensor Recovery and Applications.
CoRR, 2016

A Big-Data Approach to Handle Process Variations: Uncertainty Quantification by Tensor Recovery.
CoRR, 2016

Utilizing macromodels in floating random walk based capacitance extraction.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
Modeling and Simulation of Vanadium Dioxide Relaxation Oscillators.
IEEE Trans. Circuits Syst. I Regul. Pap., 2015

Oscillator Array Models for Associative Memory and Pattern Recognition.
IEEE Trans. Circuits Syst. I Regul. Pap., 2015

Enabling High-Dimensional Hierarchical Uncertainty Quantification by ANOVA and Tensor-Train Decomposition.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Analysis and Design of Weakly Coupled LC Oscillator Arrays Based on Phase-Domain Macromodels.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Model Reduction and Simulation of Nonlinear Circuits via Tensor Decomposition.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Probabilistic Power Flow Computation via Low-Rank and Sparse Tensor Recovery.
CoRR, 2015

STAVES: Speedy Tensor-Aided Volterra-Based Electronic Simulator.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

2014
A Study of Deterministic Jitter in Crystal Oscillators.
IEEE Trans. Circuits Syst. I Regul. Pap., 2014

Calculation of Generalized Polynomial-Chaos Basis Functions and Gauss Quadrature Rules in Hierarchical Uncertainty Quantification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

Efficient Localization Methods for Passivity Enforcement of Linear Dynamical Models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

Stable FFT-JVIE solvers for fast analysis of highly inhomogeneous dielectric objects.
J. Comput. Phys., 2014

Accelerated domain decomposition FEM-BEM solver for magnetic resonance imaging (MRI) via discrete empirical interpolation method.
Proceedings of the Technical Papers of 2014 International Symposium on VLSI Design, 2014

Stochastic testing simulator for integrated circuits and MEMS: Hierarchical and sparse techniques.
Proceedings of the IEEE 2014 Custom Integrated Circuits Conference, 2014

2013
Efficient Uncertainty Quantification for the Periodic Steady State of Forced and Autonomous Circuits.
IEEE Trans. Circuits Syst. II Express Briefs, 2013

Stochastic Testing Method for Transistor-Level Uncertainty Quantification Based on Generalized Polynomial Chaos.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

Uncertainty quantification for integrated circuits: stochastic spectral methods.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

An ultra-compact virtual source FET model for deeply-scaled devices: Parameter extraction and validation for standard cell libraries and digital circuits.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

Sparse basis pursuit on automatic nonlinear circuit modeling.
Proceedings of the IEEE 10th International Conference on ASIC, 2013

2012
An efficient framework for passive compact dynamical modeling of multiport linear systems.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
Variation-aware stochastic extraction with large parameter dimensionality: Review and comparison of state of the art intrusive and non-intrusive techniques.
Proceedings of the 12th International Symposium on Quality Electronic Design, 2011

Model order reduction of fully parameterized systems by recursive least square optimization.
Proceedings of the 2011 IEEE/ACM International Conference on Computer-Aided Design, 2011

A highly scalable parallel boundary element method for capacitance extraction.
Proceedings of the 48th Design Automation Conference, 2011

A moment-matching scheme for the passivity-preserving model order reduction of indefinite descriptor systems with possible polynomial parts.
Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

2010
Compact Modeling of Nonlinear Analog Circuits Using System Identification via Semidefinite Programming and Incremental Stability Certification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Passive reduced order modeling of multiport interconnects via semidefinite programming.
Proceedings of the Design, Automation and Test in Europe, 2010

Variation-aware interconnect extraction using statistical moment preserving model order reduction.
Proceedings of the Design, Automation and Test in Europe, 2010

Stochastic dominant singular vectors method for variation-aware extraction.
Proceedings of the 47th Design Automation Conference, 2010

Automated compact dynamical modeling: an enabling tool for analog designers.
Proceedings of the 47th Design Automation Conference, 2010

Circuit synthesizable guaranteed passive modeling for multiport structures.
Proceedings of the 2010 IEEE International Behavioral Modeling and Simulation Conference, 2010

2009
Stable Reduced Models for Nonlinear Descriptor Systems Through Piecewise-Linear Approximation and Projection.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

A hierarchical floating random walk algorithm for fabric-aware 3D capacitance extraction.
Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

2008
A Quasi-Convex Optimization Approach to Parameterized Model Order Reduction.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

A capacitance solver for incremental variation-aware extraction.
Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

Guaranteed stable projection-based model reduction for indefinite and unstable linear systems.
Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

Stochastic integral equation solver for efficient variation-aware interconnect extraction.
Proceedings of the 45th Design Automation Conference, 2008

Convex relaxation approach to the identification of the Wiener-Hammerstein model.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
A Piecewise-Linear Moment-Matching Approach to Parameterized Model-Order Reduction for Highly Nonlinear Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007

Bounding L2 gain system error generated by approximations of the nonlinear vector field.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

Stabilizing schemes for piecewise-linear reduced order models via projection and weighting functions.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

pFFT in FastMaxwell: a fast impedance extraction solver for 3D conductor structures over substrate.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Optimization-based wideband basis functions for efficient interconnect extraction.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2005
Modeling and Design of Chip-Package Interface.
Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005

Parameterized model order reduction of nonlinear dynamical systems.
Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

Segregation by primary phase factors: a full-wave algorithm for model order reduction.
Proceedings of the 42nd Design Automation Conference, 2005

Analysis of full-wave conductor system impedance over substrate using novel integration techniques.
Proceedings of the 42nd Design Automation Conference, 2005

2004
A multiparameter moment-matching model-reduction approach for generating geometrically parameterized interconnect performance models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004

2003
Guaranteed passive balancing transformations for model order reduction.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003

A Methodology for the Computation of an Upper Bound on Nose Current Spectrum of CMOS Switching Activity.
Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

2002
Geometrically parameterized interconnect performance models for interconnect synthesis.
Proceedings of 2002 International Symposium on Physical Design, 2002

Proximity templates for modeling of skin and proximity effects on packages and high frequency interconnect.
Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

Model order reduction for strictly passive and causal distributed systems.
Proceedings of the 39th Design Automation Conference, 2002

2001
Techniques for Including Dielectrics when Extracting Passive Low-Order Models of High Speed Interconnect.
Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Using Conduction Modes Basis Functions for Efficient Electromagnetic Analysis of On-Chip and Off-Chip Interconnect.
Proceedings of the 38th Design Automation Conference, 2001


  Loading...