Parallel Simulation Algorithms for Grid-Based Analog Signal Processors. - Luís Miguel Silveira; Andrew Lumsdaine; Jacob White 001 (ICCAD, 1990)

A Modified Envelope-Following Approach to Clocked Analog Circuit Simulation. - Luís Miguel Silveira; Jacob White 001; Steven B. Leeb (ICCAD, 1991)

On exponential fitting for circuit simulation. - Luís Miguel Silveira; Jacob K. White 001; Horácio C. Neto; Luís M. Vidigal (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992)

Massively parallel simulation algorithms for grid-based analog signal processors. - Andrew Lumsdaine; Luís Miguel Silveira; Jacob K. White 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

An Efficient Approach to Transmission Line Simulation Using Measured or Tabulated S-parameter Data. - Luís Miguel Silveira; Ibrahim M. Elfadel; Jacob White 001; Moni Chilukuri; Kenneth S. Kundert (DAC, 1994)

Model order reduction techniques for circuit simulation. - Luís Miguel Silveira (1994)

Efficient Reduced-Order Modeling of Frequency-Dependent Coupling Inductances Associated with 3-D Interconnect Structures. - Luís Miguel Silveira; Mattan Kamon; Jacob White 001 (DAC, 1995)

Stability criteria for Arnoldi-based model-order reduction. - Ibrahim M. Elfadel; Luís Miguel Silveira; Jacob K. White 001 (ICASSP, 1996)

A coordinate-transformed Arnoldi algorithm for generating guaranteed stable reduced-order models of RLC circuits. - Luís Miguel Silveira; Mattan Kamon; Ibrahim M. Elfadel; Jacob White 001 (ICCAD, 1996)

A Mixed Nodal-Mesh Formulation for Efficient Extraction and Passive Reduced-Order Modeling of 3D Interconnects. - Nuno Alexandre Marques; Mattan Kamon; Jacob White 001; Luís Miguel Silveira (DAC, 1998)

Efficient Techniques for Accurate Modeling and Simulation of Substrate Coupling in Mixed-Signal IC's. - João Paulo Costa; Mike Chou; L. Miguel Silveira (DATE, 1998)

An Efficient Algorithm for Fast Parasitic Extraction and Passive Order Reduction of 3D Interconnect Models. - Nuno Alexandre Marques; Mattan Kamon; Jacob K. White 001; Luís Miguel Silveira (DATE, 1998)

Timing analysis using propositional satisfiability. - Luís Guerra e Silva; João P. Marques Silva; Luís Miguel Silveira; Karem A. Sakallah (ICECS, 1998)

Robust Rational Function Approximation Algorithm for Model Generation. - Carlos P. Coelho; Joel R. Phillips; Luís Miguel Silveira (DAC, 1999)

Interconnect Analysis: From 3-D Structures to Circuit Models. - Mattan Kamon; Nuno Alexandre Marques; Yehia Massoud; Luís Miguel Silveira; Jacob White 001 (DAC, 1999)

Efficient Techniques for Accurate Extraction and Modeling of Substrate Coupling in Mixed-Signal IC's. - João Paulo Costa; L. Miguel Silveira; Mike Chou (DATE, 1999)

Algorithms for Solving Boolean Satisfiability in Combinational Circuits. - Luís Guerra e Silva; Luís Miguel Silveira; João Marques-Silva 001 (DATE, 1999)

A probabilistic approach for RT-level power modeling. - José C. Costa; José Monteiro 001; L. Miguel Silveira; Srinivas Devadas (ICECS, 1999)

Improving the efficiency of parasitic extraction and simulation of 3D interconnect models. - L. Miguel Silveira; Nuno Alexandre Marques; Mattan Kamon; Jacob K. White 001 (ICECS, 1999)

Efficient techniques for accurate modeling and simulation ofsubstrate coupling in mixed-signal IC's. - João Paulo Costa; Mike Chou; Luís Miguel Silveira (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

A benchmark suite for substrate analysis. - Edoardo Charbon; Luís Miguel Silveira; Paolo Miliozzi (ASP-DAC, 2000)

A Convex Programming Approach to Positive Real Rational Approximation. - Carlos P. Coelho; Joel R. Phillips; Luís Miguel Silveira (ICCAD, 2001)

Simulation Approaches for Strongly Coupled Interconnect Systems. - Joel R. Phillips; Luís Miguel Silveira (ICCAD, 2001)

Passive Constrained Rational Approximation Algorithm Using Nevanlinna-Pick Interpolation. - Carlos P. Coelho; Luís Miguel Silveira; Joel R. Phillips (DATE, 2002)

Optimization based passive constrained fitting. - Carlos P. Coelho; Joel R. Phillips; Luís Miguel Silveira (ICCAD, 2002)

On Generating Compact, Passive Models of Frequency-Described Systems. - Carlos P. Coelho; Joel R. Phillips; L. Miguel Silveira (SBCCI, 2002)

Characterizing Substrate Coupling in Deep-Submicron Designs. - Luís Miguel Silveira; Nuno Vargas (IEEE Des. Test Comput., 2002)

Satisfiability models and algorithms for circuit delay computation. - Luís Guerra e Silva; João Marques-Silva 001; Luís Miguel Silveira; Karem A. Sakallah (ACM Trans. Design Autom. Electr. Syst., 2002)

Analog Macromodeling using Kernel Methods. - Joel R. Phillips; João Afonso; Arlindo L. Oliveira; Luís Miguel Silveira (ICCAD, 2003)

Guaranteed passive balancing transformations for model order reduction. - Joel R. Phillips; Luca Daniel; Luís Miguel Silveira (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

Exploiting input information in a model reduction algorithm for massively coupled parasitic networks. - Luís Miguel Silveira; Joel R. Phillips (DAC, 2004)

Multigrid-based substrate coupling model extraction. - João M. S. Silva; Luís Miguel Silveira (ISCAS (5), 2004)

Issues in parallelizing multigrid-based substrate model extraction and analysis. - João M. S. Silva; L. Miguel Silveira (SBCCI, 2004)

Power Estimation Using Probability Polynomials. - José C. Costa; Luís Miguel Silveira; Srinivas Devadas; José Monteiro 001 (Des. Autom. Embed. Syst., 2004)

A convex programming approach for generating guaranteed passive approximations to tabulated frequency-data. - Carlos P. Coelho; Joel R. Phillips; Luís Miguel Silveira (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004)

Grid-based statistical timing analysis. - Luís Guerra e Silva; Luís Miguel Silveira (IADIS AC, 2005)

Issues in Model Reduction of Power Grids. - João M. S. Silva; L. Miguel Silveira (VLSI-SoC, 2005)

Poor man's TBR: a simple model reduction scheme. - Joel R. Phillips; Luís Miguel Silveira (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

Variation-Aware, Library Compatible Delay Modeling Strategy. - Luís Guerra e Silva; Zhenhai Zhu; Joel R. Phillips; L. Miguel Silveira (VLSI-SoC, 2006)

Library Compatible Variational Delay Computation. - Luís Guerra e Silva; Zhenhai Zhu; Joel R. Phillips; L. Miguel Silveira (VLSI-SoC (Selected Papers), 2006)

Resampling Plans for Sample Point Selection in Multipoint Model-Order Reduction. - Luís Miguel Silveira; Joel R. Phillips (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Generating High-Accuracy Simulation Models Using Problem-Tailored Orthogonal Polynomials Basis. - Carlos P. Coelho; Joel R. Phillips; Luís Miguel Silveira (IEEE Trans. Circuits Syst. I Regul. Pap., 2006)

Efficient computation of the worst-delay corner. - Luís Guerra e Silva; Luís Miguel Silveira; Joel R. Phillips (DATE, 2007)

On the Effectiveness of Reducing Large Linear Networks with Many Ports. - João M. S. Silva; L. Miguel Silveira (ISCAS, 2007)

On the Compressibility of Power Grid Models. - João M. S. Silva; L. Miguel Silveira (ISVLSI, 2007)

Parametric Structure-Preserving Model Order Reduction. - Jorge Fernandez Villena; Wil H. A. Schilders; L. Miguel Silveira (VLSI-SoC (Selected Papers), 2007)

Dynamic models for substrate coupling in mixed-mode systems. - João M. S. Silva; Luís Miguel Silveira (IET Circuits Devices Syst., 2007)

Substrate model extraction using finite differences and parallel multigrid. - João M. S. Silva; L. Miguel Silveira (Integr., 2007)

Efficient Representation and Analysis of Power Grids. - João M. S. Silva; Joel R. Phillips; Luís Miguel Silveira (DATE, 2008)

Generating Worst-Case Stimuli for Accurate Power Grid Analysis. - Pedro Marques Morgado; Paulo F. Flores; José C. Monteiro 001; Luís Miguel Silveira (PATMOS, 2008)

ARMS - automatic residue-minimization based sampling for multi-point modeling techniques. - Jorge Fernandez Villena; Luís Miguel Silveira (DAC, 2009)

On the efficient reduction of complete EM based parametric models. - Jorge Fernandez Villena; Gabriela Ciuprina; Daniel Ioan; Luís Miguel Silveira (DATE, 2009)

Fast and reliable passivity assessment and enforcement with extended Hamiltonian pencil. - Zuochang Ye; Luís Miguel Silveira; Joel R. Phillips (ICCAD, 2009)

Parameter tuning in SVM-based power macro-modeling. - António Gusmão; L. Miguel Silveira; José Monteiro 001 (ISQED, 2009)

Power Macro-Modeling Using an Iterative LS-SVM Method. - António Gusmão; Luís Miguel Silveira; José Monteiro 001 (VLSI-SoC, 2009)

PMSat: a parallel version of MiniSAT. - Luís Gil; Paulo F. Flores; Luís Miguel Silveira (J. Satisf. Boolean Model. Comput., 2009)

Generating realistic stimuli for accurate power grid analysis. - Pedro Marques Morgado; Paulo F. Flores; L. Miguel Silveira (ACM Trans. Design Autom. Electr. Syst., 2009)

Speedpath analysis under parametric timing models. - Luís Guerra e Silva; Joel R. Phillips; L. Miguel Silveira (DAC, 2010)

HORUS - high-dimensional Model Order Reduction via low moment-matching upgraded sampling. - Jorge Fernandez Villena; Luís Miguel Silveira (DATE, 2010)

Extended Hamiltonian Pencil for passivity assessment and enforcement for S-parameter systems. - Zuochang Ye; L. Miguel Silveira; Joel R. Phillips (DATE, 2010)

3POr - Parallel projection based parameterized order reduction for multi-dimensional linear models. - Jorge Fernandez Villena; Luís Miguel Silveira (ICCAD, 2010)

Effective Corner-Based Techniques for Variation-Aware IC Timing Verification. - Luís Guerra e Silva; Joel R. Phillips; Luís Miguel Silveira (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Efficient Simulation of Power Grids. - João M. S. Silva; Joel R. Phillips; Luís Miguel Silveira (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

SPARE - A Scalable Algorithm for Passive, Structure Preserving, Parameter-Aware Model Order Reduction. - Jorge Fernandez Villena; Luís Miguel Silveira (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Fast statistical analysis of RC nets subject to manufacturing variabilities. - Yu Bi; Kees-Jan van der Kolk; Jorge Fernandez Villena; Luís Miguel Silveira; Nick van der Meijs (DATE, 2011)

Handling intra-die variations in PSTA. - Luís Guerra e Silva; Luís Miguel Silveira (ACM Great Lakes Symposium on VLSI, 2011)

Positive realization of reduced RLCM nets. - Jorge Fernandez Villena; L. Miguel Silveira (VLSI-SoC, 2011)

Multi-Dimensional Automatic Sampling Schemes for Multi-Point Modeling Methodologies. - Jorge Fernandez Villena; L. Miguel Silveira (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011)

Exploiting Parallelism for Improved Automation of Multidimensional Model Order Reduction. - Jorge Fernandez Villena; Luís Miguel Silveira (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Improving SAT Solver Efficiency Using a Multi-Core Approach. - Ricardo Marques; Luis G. Silva; Paulo F. Flores; L. Miguel Silveira (FLAIRS, 2013)

Efficient analysis of variability impact on interconnect lines and resistor networks. - Jorge Fernandez Villena; L. Miguel Silveira (DATE, 2014)

Techniques for Brain Functional Connectivity Analysis from High Resolution Imaging. - A. C. Leitão; Alexandre Paulo Francisco; Rodolfo Abreu; Sandro Nunes; Juliana Rodrigues; Patrícia Figueiredo; Lawrence L. Wald; Marta Bianciardi; L. Miguel Silveira (CompleNet, 2015)

A new hierarchical brain parcellation method based on discrete morse theory for functional MRI data. - Afonso Dias; Marta Bianciardi; Sandro Nunes; Rodolfo Abreu; Juliana Rodrigues; L. Miguel Silveira; Lawrence L. Wald; Patrícia Figueiredo (ISBI, 2015)

Variability and statistical analysis flow for dynamic linear systems with large number of inputs. - A. Lucas Martins; Jorge Fernandez Villena; Luís Miguel Silveira (DATE, 2016)

Physiological noise model comparison for resting-state fMRI at 7 T. - Sandro Nunes; Marta Bianciardi; Afonso Dias; Luís Miguel Silveira; Lawrence L. Wald; Patrícia Figueiredo (ISBI, 2016)

Improved 7 Tesla resting-state fMRI connectivity measurements by cluster-based modeling of respiratory volume and heart rate effects. - Joana Pinto; Sandro Nunes; Marta Bianciardi; Afonso Dias; L. Miguel Silveira; Lawrence L. Wald; Patrícia Figueiredo (NeuroImage, 2017)

Circuit Synthesis for Guaranteed Positive Sparse Realization of Passive State-Space Models. - Jorge Fernandez Villena; Luís Miguel Silveira (IEEE Trans. Circuits Syst. I Regul. Pap., 2017)

Micro-VMS: A VMS Mobile Unit for Artisanal Fishing Vessels. - Pedro Lousã; Fernando Moreira; L. Miguel Silveira (ITST, 2018)

Reduced order models of myelinated axonal compartments. - Daniel Ioan; Ruxandra Barbulescu; Luís Miguel Silveira; Gabriela Ciuprina (J. Comput. Neurosci., 2019)

Black-box model reduction of the C. Elegans nervous system*. - Ruxandra Barbulescu; L. Miguel Silveira (EMBC, 2021)

Modelling Neuronal Behaviour with Time Series Regression: Recurrent Neural Networks on C. Elegans Data. - Gonçalo Mestre; Ruxandra Barbulescu; Arlindo L. Oliveira; L. Miguel Silveira (CoRR, 2021)

EUROPULS: NEUROmorphic energy-efficient secure accelerators based on Phase change materials aUgmented siLicon photonicS. - Fabio Pavanello; Cédric Marchand 002; Ian O'Connor; Régis Orobtchouk; Fabien Mandorlo; Xavier Letartre; Sébastien Cueff; Elena-Ioana Vatajelu; Giorgio Di Natale; Benoit Cluzel; Aurelien Coillet; Benoît Charbonnier; et al. (ETS, 2023)

NEUROPULS: NEUROmorphic energy-efficient secure accelerators based on Phase change materials aUgmented siLicon photonicS. - Fabio Pavanello; Cédric Marchand 002; Ian O'Connor; Régis Orobtchouk; Fabien Mandorlo; Xavier Letartre; Sébastien Cueff; Elena-Ioana Vatajelu; Giorgio Di Natale; Benoit Cluzel; Aurelien Coillet; Benoît Charbonnier; et al. (CoRR, 2023)

Echo State Networks for Accurate and Efficient Modeling of Dynamic Circuits. - Paulo Machado; Ruxandra Barbulescu; Luís Miguel Silveira (AICAS, 2024)