???global.info.a_carregar???
Luis Miguel Silveira is a Fellow of the IEEE (Institute for Electrical and Electronics Engineers) and a Full Professor of Electrical and Computer Engineering (ECE) at Instituto Superior Técnico (IST), Universidade de Lisboa (ULisboa), Portugal. He is currently serving as Pro-Rector of ULisboa and is the Key Liaison Officer (KLO) representing ULisboa in Unite!, the University Network for Innovation, Technology and Engineering, an alliance of European Universities. He is also currently serving as President of the IEEE Council on Electronic Design Automation (IEEE CEDA) and a member of the IEEE Technical Activities Board. He obtained his Habilitation ("Agregação") degree from IST/ULisboa in ECE in 2004, and the Ph.D., E.E., and M.Sc. degrees in Electrical Engineering and Computer Science (EECS) from the Massachusetts Institute of Technology (MIT), Cambridge, MA, USA, respectively n 1994, 1991 and 1990. He also holds an M.Sc in ECE from IST/ULisboa, obtained in 1989, and the "Licenciatura" (5-year degree) in ECE from IST/ULisboa, in 1986. From 2015 to 2019, he was Vice-President of IST/ULisboa in charge of International Affairs. From 1981 until 2024, initally as a junior researcher and later as a Senior Researcher and group leader, he conducted his research at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento in Lisboa (INESC and since 2001 INESC-ID) where he led a research group on Algorithms for Optimization and Simulation and was for several years, the President of the Scientific Board. Since January 2025, while maintaining his INESC-ID affiliation, he has also joined the new laboratory INESC INOV Lab, where he is currently an integrated research and Scientific Coordinator of the Cyber-Physics research unit. Since 2016, he has been on the Board of Directors of INESC INOV Inovação. Prof. Silveira has been the PI or team leader in more than 15 research projects, including 4 European projects, multiple national projects, and several international cooperation projects with European and South American partners. From 1996 until 2012, he was a member of the European office of the Cadence Laboratories, acting as a consultant for Cadence Design Systems Inc, a Fortune 500 company and one of the worldwide leaders in electronic design automation. He served two years on the Nato Science for Peace and Security scientific board. Prof. Silveira was an Associate Editor for IEEE Transactions on CAD and Elsevier and Hindawi journals and has held multiple positions as topic chair of several international conferences in his area, including the acknowledged top three conferences in his field, namely DAC, DATE, and ICCAD. He is currently a member of the DAC Executive Committee and leads the Sponsor's Coordinating Committee, representing both IEEE CEDA and ACM SIGDA. He served for 6 years as President-Elect and Vice-President for Publications of IEEE CEDA. He holds two international patents. He has published more than 50 papers in international journals, edited 5 books, and published several book chapters and more than 70 articles in international conferences. He was the advisor of three PhD dissertations, 10 pre-Bologna M.Sc. theses, and more than 30 post-Bologna MSc theses.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Luis Miguel Silveira

Nomes de citação

  • L. Miguel SIlveira

Identificadores de autor

Ciência ID
6812-6EED-FA43
ORCID iD
0000-0003-3542-229X
Google Scholar ID
IMt587kAAAAJ
Scopus Author Id
7004430236

Endereços de correio eletrónico

  • lms@inesc-id.pt (Profissional)

Moradas

  • INESC ID - Instituto de Engenharia de Sistemas e Computadores. Rua Alves Redol, 9, 1000-029, Lisboa, Lisboa, Portugal (Profissional)

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
Formação
Grau Classificação
2005
Concluído
 Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Reduced Order Models for Interconnect in Electronic Circuits" (TESE/DISSERTAÇÃO)
 Aprovado por unanimidade
1994/05
Concluído
 Electrical Engineering and Computer Science (Doutoramento)
Massachusetts Institute of Technology, Estados Unidos
"Model Order Reduction Algorithms for Circuit Simulation" (TESE/DISSERTAÇÃO)
 Approved
1991
Concluído
 Electrical Engineering and Computer Science (Título de Habilitação de Coordenação Científica)
Massachusetts Institute of Technology, Estados Unidos
"n/a" (TESE/DISSERTAÇÃO)
 Approved
1990
Concluído
 Electrical Engineering and Computer Science (Mestrado)
Massachusetts Institute of Technology, Estados Unidos
"Circuit Simulation on Massively Parallel Processors" (TESE/DISSERTAÇÃO)
 Approved
1989
Concluído
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Métodos Explícitos por Ajuste de Exponencial para Simulação Eléctrica de Circuitos em Arquitecturas Paralelas" (TESE/DISSERTAÇÃO)
 Muito Bom
1986
Concluído
 Engenharia Electrotécnica e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"n/a" (TESE/DISSERTAÇÃO)
 19
1981
Concluído
 n/a (Ensino secundário)
Colégio Valsassina, Portugal
"n/a" (TESE/DISSERTAÇÃO)
 19
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2000/01/01 - 2023 Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
1994/12/01 - 1999/12/01 Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
1988/09/01 - 1994/05/01 Assistente de Investigação (carreira) (Investigação) Massachusetts Institute of Technology, Estados Unidos
1986/09/01 - 1988/08/01 Investigador (Investigação) INESC - Instituto de Engenharia de Sistemas e Computadores, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2007/01/01 - Atual Professor Catedrático (Docente Universitário) Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
2001/01/01 - 2004/07/01 Professor Associado (Docente Universitário) Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
1995 - 2000 Professor Auxiliar (Docente Universitário) Universidade de Aveiro Instituto Superior de Contabilidade e Administração, Portugal
1986/09/01 - 1989/07/01 Assistente (Docente Universitário) Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
1985/09/01 - 1986/08/01 Assistente (Docente Universitário) Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
1984/09/01 - 1985/08/01 Assistente (Docente Universitário) Instituto Superior Técnico, Departamento de Matemática, Universidade de Lisboa, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2022/01/01 - 2023/12/31 President-Elect, IEEE Council on ELectronic Design Automation (CEDA) IEEE, Estados Unidos
CEDA - IEEE Council on Electronic Design Automation, Estados Unidos
2013/01/01 - 2018/12/31 Presidente do Conselho Científico Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2015/01/01 - 2016/12/31 Coordenação ou direção de centro de investigação, departamento ou equivalente Universidade de Lisboa, Portugal
2013/01/01 - 2015/12/31 Independent Evaluator NATO Science for Peace and Security, Bélgica
Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2024/01/08 - Atual Pro-Rector Universidade de Lisboa Universidade de Lisboa, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
2024/01/01 - Atual President of IEEE Council on Electronic Design Automation (CEDA) IEEE, Estados Unidos
CEDA - IEEE Council on Electronic Design Automation, Estados Unidos
2022/01/01 - Atual Key Liasion Officer Universidade Lisboa @ UNITE! - University Network for Innovation, Technology and Engineering Universidade de Lisboa, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
2005/12/01 - Atual Associate Editor Hindawi Publishing Corp, Egipto
2018/01/01 - 2021/12/31 Vice-President for Publications, Council on Electronic Design Automation IEEE, Estados Unidos
CEDA - IEEE Council on Electronic Design Automation, Estados Unidos
2015/01/01 - 2019/12/31 Vice-President for International Affairs Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/01/01 - 2015/12/31 Member of the Independent Scientific Evaluation Group (ISEG) NATO, Bélgica
2013/01/01 - 2014/12/31 Department Head Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
2009/01/01 - 2013/12/31 Associate Editor, Microelectronics Elsevier BV, Países Baixos
2004/01/01 - 2011/12/31 Associate Editor CEDA - IEEE Council on Electronic Design Automation, Estados Unidos
2004/07/01 - 2006/12/01 Assocuate Professor with Habilitation Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
1989/08/01 - 1995/03/01 Assistant / Lecturer Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
1994/06/01 - 1994/12/01 Post-Doctoral Researcher Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science, Estados Unidos
1990/06/01 - 1990/09/01 Invited Researcher Thinking Machines Corporation, Estados Unidos
1986/07/01 - 1986/09/01 Summer Intern CERN - European Laboratory for Nuclear Research, Suiça
Projetos

Projeto

Designação Financiadores
2024/01/01 - 2028/12/31 UNITE!WIDENING - RAISE EXCELLENCE IN R&S&I IN HEI FOR WIDENING COUNTRIES
101136765
Investigador Responsável na proposta, Investigador Sénior
Universidade de Lisboa, Portugal
 Horizon 2020
Em curso
2023/01/01 - 2027/12/31 NEUROPULS: NEURO:morphic energy-efficient secure accelerators based on Phase change materials aUgmented siLicon photonicS
101070238
Investigador Responsável pela participação do INESC-ID/IST/ULisboa
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Horizon Europe Excellent Science
Em curso
2022/10/31 - 2026/10/30 UNITE! University Network for Innovation, Technology and Engineering
EACEA Project 101089731
Investigador Responsável pela participação da U Lisboa
Universidade de Lisboa, Portugal
 Erasmus Plus
Em curso
2022/10 - 2026/10 UNITE! University Network for Innovation, Technology and Engineering
EACEA Project 101089731
 Erasmus Plus
2019/01/01 - 2023/12/31 Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa
LA/P/0078/2020
10.54499/LA/P/0078/2020
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2018/10/01 - 2021/09/30 NeuronReduce - Algoritmos para Redução de Modelos e Simulação Eficiente de Redes Neuronais Realistas
PTDC/EEI-EEE/31140/2017
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2015/03/01 - 2021/04/01 Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa
UID/CEC/50021/2019
SFRH/BPD/110695/2015
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2013/07/01 - 2015/12/31 HIFI-MRI: Análise de Conectividade Funcional no Cérebro usando fMRI por Campos de Elevada Intensidade
PTDC/EEI-ELC/3246/2012
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2013/07/01 - 2015/12/31 NEMSmod - Modelação e Compressão de Modelos de Sistemas Electromecanicos Nanométricos
PTDC/EEI-ELC/3002/2012
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010/04/04 - 2013/10/03 ParSat - Algoritmos Paralelos de Satisfação e suas Aplicações
PTDC/EIA-EIA/103532/2008
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2012/12/31 Projecto Estratégico - LA 21 - 2011-2012
PEst-OE/EEI/LA0021/2011
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2005/09/01 - 2009/12/31 EMONIC - Electromagnetics on Integrated Circuits
EMONIC
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Philips Research Eindhoven
Concluído
1996/01/01 - 2009/12/31 Cadence Research Laboratories
CADENCE
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Cadence Design Systems Inc
Concluído
2007/11/01 - 2008/12/31 MABEL - Modelacao de Comportamento Analogico utilizando Tecnicas de Aprendizagem
POSC/EEA-ESE/61603/2004
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2005/01/01 - 2008/06/30 PowerPlan - Planeamento de Potencia em Sistemas Electronicos
POSC/EEA-ESE/61528/2004
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2005/11/01 - 2008/05/30 CHAMELEON-RF - Comprehensive High-Accuracy Modeling of Electromagnetic Effectics in Complete Nanoscale RF Blocks
CHAMELEON-RF
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 European Commission Seventh Framework Programme for Research and Technological Development
Concluído
2004/02/01 - 2007/06/30 BioGrid - Algoritmos Paralelos para Anotação de Genes
POSI/SRI/47778/2002
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2000/01/01 - 2005/12/31 CoolChips - An Environment for the Design and Analysis of Power Efficient Systems
CoolChips
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2000/06/01 - 2002/12/31 SUBSTRATE - Modelação e Simulação dos Efeitos do Acoplamento via Substrato
PRAXIS/C/EEI/12313/1998
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Machado, Paulo; Barbulescu, Ruxandra; Giovanni Nastasi; L. Miguel SIlveira. "Efficient machine learning methods to predict the stationary electron density profile in a n+/n/n+ silicon diode". Trabalho apresentado em International Conference on Scientific Computing in Electrical Engineering 2024, Darmstadt, 2024.
  2. Barbulescu, R.; Ciuprina, G.; Duca, A.; Silveira, L.M.. "Machine Learning Techniques to Model Highly Nonlinear Multi-field Dynamics". 2024.
    10.1007/978-3-031-54517-7_14
  3. MacHado, P.; Barbulescu, R.; Silveira, L.M.. "Echo State Networks for Accurate and Efficient Modeling of Dynamic Circuits". 2024.
    10.1109/AICAS59952.2024.10595897
  4. Pavanello, Fabio; Marchand, Cedric; O’Connor, Ian; Orobtchouk, Régis; Mandorlo, Fabien; Letartre, Xavier; Cueff, Sebastien; et al. "NEUROPULS: NEUROmorphic energy-efficient secure accelerators based on Phase change materials aUgmented siLicon photonicS". veneza, 2023.
    Publicado • 10.1109/ets56758.2023.10173974
  5. Aloul, F.; Silveira, L.M.. "VLSI-SoC 2023 General Chairs". 2023.
    10.1109/VLSI-SoC57769.2023.10380433
  6. Aloul, F.; Silveira, L.M.. "General Chairs Message". 2023.
    10.1109/VLSI-SoC57769.2023.10321952
  7. Barbulescu, R.; Silveira, L.M.. "Black-box model reduction of the C. Elegans nervous system". 2021.
    10.1109/EMBC46164.2021.9630241
  8. Lousa, P.; Moreira, F.; Silveira, L.M.. "Micro-VMS: A VMS mobile unit for artisanal fishing vessels". 2018.
    10.1109/ITST.2018.8566888
  9. Nunes, S.; Bianciardi, M.; Dias, A.; Silveira, L.M.; Wald, L.L.; Figueiredo, P.. "Physiological noise model comparison for resting-state fMRI at 7 T". 2016.
    10.1109/ISBI.2016.7493434
  10. Sampaio, C.; Monteiro, J.; Silveira, L.M.. "Analysis of the conditions for worst case switching activity in integrated circuits". 2016.
    10.1109/LASCAS.2010.7410234
  11. Dias, A.; Bianciardi, M.; Nunes, S.; Abreu, R.; Rodrigues, J.; Silveira, L.M.; Wald, L.L.; Figueiredo, P.. "A new hierarchical brain parcellation method based on discrete morse theory for functional MRI data". 2015.
    10.1109/ISBI.2015.7164122
  12. Villena, JF; Miguel Silveira, LM; Villena, J.F.; Silveira, L.M.. "Efficient Analysis of Variability Impact on Interconnect Lines and Resistor Networks". 2014.
    10.7873/date2014.055
  13. Fatih Ugurdag, H.; Miguel Silveira, L.. "Welcome from the general chairs". 2013.
    10.1109/VLSI-SoC.2013.6673225
  14. Marques, R.; Guerra E Silva, L.; Flores, P.; Silveira, L.M.. "Improving SAT solver efficiency using a multi-core approach". 2013.
  15. Bi, Y.; Van Der Kolk, K.-J.; Villena, J.F.; Silveira, L.M.; Van Der Meijs, N.; Yu Bi; Kees-Jan van der Kolk; et al. "Fast statistical analysis of RC nets subject to manufacturing variabilities". 2011.
    10.1109/DATE.2011.5763012
  16. Guerra E Silva, L.; Silveira, L.M.. "Handling intra-die variations in PSTA". 2011.
    10.1145/1973009.1973094
  17. E Silva, L.G.; Phillips, J.R.; Miguel Silveira, L.. "Speedpath analysis under parametric timing models". 2010.
    10.1145/1837274.1837343
  18. Villena, J.F.; Silveira, L.M.; Jorge Fernandez Villena; Luis Miguel Silveira. "HORUS - High-dimensional model order reduction via low moment-matching upgraded sampling". 2010.
    10.1109/DATE.2010.5457159
  19. Ye, Z.; Silveira, L.M.; Phillips, J.R.. "Extended hamiltonian pencil for passivity assessment and enforcement for s-parameter systems". 2010.
  20. Villena, J.F.; Silveira, L.M.. "3POr - Parallel projection based parameterized order reduction for multi-dimensional linear models". 2010.
    10.1109/ICCAD.2010.5653851
  21. Ye, Z.; Silveira, L.M.; Phillips, J.R.. "Fast and reliable passivity assessment and enforcement with extended Hamiltonian pencil". 2009.
  22. Villena, J.F.; Silveira, L.M.. "ARMS - Automatic residue-minimization based sampling for multi-point modeling techniques". 2009.
    10.1145/1629911.1630156
  23. Villena, J.F.; Silveira, L.M.. "SPARE - A Scalable algorithm for passive, structure preserving, parameter-aware model order reduction". 2008.
    10.1109/DATE.2008.4484740
  24. Villena, J.F.; Schilders, W.H.A.; Silveira, L.M.. "Parametric structure-preserving model order reduction". 2007.
    10.1109/VLSISOC.2007.4402468
  25. Schilders, W.H.A.; Silveira, L.M.; Villena, J.F.. "Electromagnetic simulations for nanoscale RF blocks". 2007.
    10.1109/AFRCON.2007.4401507
  26. Guerra e Silva, L.; Miguel Silveira, L.; Phillips, J.R.. "Efficient computation of the worst-delay corner". 2007.
    10.1109/DATE.2007.364533
  27. Silva, J.M.S.; Silveira, L.M.. "On the compressibility of power grid models". 2007.
    10.1109/isvlsi.2007.73
  28. Morgado, P.M.; Flores, P.F.; Silveira, L.M.. "Generating realistic stimuli for accurate power grid analysis". 2007.
    10.1109/isvlsi.2007.47
  29. Silveira, L.M.; Phillips, J.R.; Silveira, L. M.; Phillips, J. R.; Acm,. "Exploiting input information in a model reduction algorithm for massively coupled parasitic networks". 2004.
    10.1145/996566.996676
  30. Coelho, C.P.; White, J.; Silveira, L.M.; Coelho, C. P.; Silveira, L. M.. "Dealing with stiffness in time-domain Stokes flow simulation". 2004.
  31. Silva, J.M.S.; Silveira, L.M.. "Multigrid-based substrate coupling model extraction". 2004.
  32. de Oliveira, AP; Martin, AA; Silveira, L; Zangaro, RA; Zampieri, M. "Application of principal components analysis to diagnosis hamster oral carcinogenesis: Raman study". 2004.
    10.1117/12.527793
  33. Phillips, J.; Afonso, J.; Oliveira, A.; Miguel Silveira, L.; Silveira, L. M.; Ieee,. "Analog Macromodeling using Kernel Methods". 2003.
    10.1109/ICCAD.2003.159722
  34. Coelho, C.P.; Phillips, J.R.; Silveira, L.M.; Coelho, C. P.; Phillips, J. R.; Silveira, L. M.. "Passive constrained rational approximation algorithm using Nevanlinna-Pick interpolation". 2002.
    10.1109/DATE.2002.998410
  35. Coelho, C.P.; Phillips, J.R.; Silveira, L.M.. "On generating compact, passive models of frequency-described systems". 2002.
    10.1109/SBCCI.2002.1137675
  36. Phillips, J.R.; Silveira, L.M.. "Simulation approaches for strongly coupled interconnect systems". 2001.
  37. Charbon, E.; Silveira, L.M.; Miliozzi, P.. "A benchmark suite for substrate analysis". 2000.
    10.1145/368434.368835
  38. Guerra E Silva, L.; Silveira, L.M.; Marques-Silva, J.; Silva, L. G. E.; Silveira, L. M.. "Algorithms for solving Boolean satisfiability in combinational circuits". 1999.
    10.1109/DATE.1999.761177
  39. Costa, J.P.; Chou, M.; Silveira, L.M.; Costa, J. P.; Silveira, L. M.; Ieee Comp, S. O. C.; Ieee, Ieee; et al. "Efficient techniques for accurate extraction and modeling of substrate coupling in mixed-signal IC's". 1999.
    10.1109/DATE.1999.761154
  40. Silveira, L.M.; Marques, N.; Kamon, M.; White, J.. "Improving the efficiency of parasitic extraction and simulation of 3D interconnect models". 1999.
    10.1109/ICECS.1999.814510
  41. Costa, J.; Monteiro, J.; Silveira, L.M.; Devadas, S.. "A probabilistic approach for RT-level power modeling". 1999.
    10.1109/ICECS.1999.813262
  42. Silveira, L.M.; Vargas, N.. "Multilevel finite difference methods for the characterization of substrate coupling in deep sub-micron designs". 1999.
    10.1109/SBCCI.1999.802961
  43. Guerra e Silva, Luis; Marques Silva, Joao P.; Silveira, Luis Miguel; Sakallah, Karem A.. "Timing analysis using Propositional Satisfiability". 1998.
  44. Marques, Nuno; Kamon, Mattan; White, Jacob; Silveira, L.Miguel. "Mixed nodal-mesh formulation for efficient extraction and passive reduced-order modeling of 3D interconnects". 1998.
  45. Guerra e Silva, Luis; Marques Silva, Joao P.; Silveira, Luis Miguel; Sakallah, Karem A.; Silva, L. G.; Silva, J. P. M.; Silveira, L. M.; Sakallah, K. A.; Ieee, Ieee. "Realistic delay modeling in satisfiability-based timing analysis". 1998.
    10.1109/ISCAS.1998.705250
  46. Marques, N.; Kamon, M.; White, J.; Silveira, L.M.. "An efficient algorithm for fast parasitic extraction and passive order reduction of 3D interconnect models". 1998.
    10.1109/DATE.1998.655910
  47. Kamon, Mattan; Marques, Nuno; Silveira, L.Miguel; White, Jacob; Kamon, M.; Marques, N.; Silveira, L. M.; White, J.; Ieee,. "Generating reduced order models via PEEC for capturing skin and proximity effects". 1997.
    10.1109/epep.1997.634084
  48. Elfadel, I.M.; Silveira, L.Miguel; White, J.. "Stability criteria for Arnoldi-based model-order reduction". 1996.
  49. L. Miguel SIlveira; Miguel Silveira, L.; Kamon, Mattan; Elfadel, Ibrahim; White, Jacob. "Coordinate-transformed Arnoldi algorithm for generating guaranteed stable reduced-order models of RLC circuits". 1996.
  50. Silveira, L.M.; Kamon, M.; White, J.; Miguel Silveira, L.; Kamon, Mattan; White, Jacob. "Efficent reduced-order modeling of frequency-dependent coupling inductances associated with 3-D interconnect structures". 1995.
  51. Silveira, L.Miguel; Kamon, Mattan; White, Jacob. "Direct computation of reduced-order models for circuit simulation of 3-D interconnect structures". 1994.
  52. Miguel Silveira, L.; Kamon, Mattan; White, Jacob. "Algorithms for coupled transient simulation of circuits and complicated 3-D packaging". 1994.
  53. Miguel Silveira, L.; Elfadel, Ibrahim M.; White, Jacob K.; Chilukuri, Moni; Kundert, Kenneth S.. "Efficient approach to transmission line simulation using measured or tabulated S-parameter data". 1994.
  54. Silveira, L.M.; Elfadel, I.M.; White, J.K.. "A guaranteed stable order reduction algorithm for packaging and interconnect simulation". 1993.
    10.1109/EPEP.1993.394563
  55. Silveira, Luis Miguel; White, Jacob; Leeb, Steven. "A modified envelope-following approach to clocked analog circuit simulation". 1992.
  56. Silveira, L.Miguel; Lumsdaine, Andrew; White, Jacob K.. "Parallel simulation algorithms for grid-based analog signal processors". 1990.
    10.1109/ICCAD.1990.129948
Artigo em jornal
  1. Barbulescu, Ruxandra; Ciuprina, Gabriela; Anton Duca; Machado, Paulo; Luis Miguel Silveira. Autor correspondente: Barbulescu, Ruxandra. "Physics-informed neural networks for a highly nonlinear dynamic system", Journal of Mathematics in Industry , 2025, (accepted for publication)
Artigo em revista
  1. Barbulescu, R.; Mestre, G.; Oliveira, A.L.; Silveira, L.M.. "Learning the dynamics of realistic models of C. elegans nervous system with recurrent neural networks". Scientific Reports 13 1 (2023): http://www.scopus.com/inward/record.url?eid=2-s2.0-85146105516&partnerID=MN8TOARS.
    10.1038/s41598-022-25421-w
  2. Ioan, D.; Barbulescu, R.; Silveira, L.M.; Ciuprina, G.; Ioan, Daniel; Barbulescu, Ruxandra; Silveira, Luis Miguel; Ciuprina, Gabriela. "Reduced order models of myelinated axonal compartments". Journal of Computational Neuroscience 47 2-3 (2019): 141-166. http://www.scopus.com/inward/record.url?eid=2-s2.0-85074648631&partnerID=MN8TOARS.
    10.1007/s10827-019-00726-4
  3. Ciuprina, G.; Ioan, D.; Lup, A.-S.; Silveira, L.M.; Duca, A.; Kraft, M.. "Simplification by pruning as a model order reduction approach for RF-MEMS switches". COMPEL - The International Journal for Computation and Mathematics in Electrical and Electronic Engineering (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85076191143&partnerID=MN8TOARS.
    10.1108/COMPEL-06-2019-0266
  4. Villena, J.F.; Silveira, L.M.. "Circuit Synthesis for Guaranteed Positive Sparse Realization of Passive State-Space Models". IEEE Transactions on Circuits and Systems I: Regular Papers 64 6 (2017): 1576-1587. http://www.scopus.com/inward/record.url?eid=2-s2.0-84981342154&partnerID=MN8TOARS.
    10.1109/TCSI.2016.2561738
  5. Pinto, Joana; Nunes, Sandro; Bianciardi, Marta; Dias, Afonso; Silveira, L. Miguel; Wald, Lawrence L.; Figueiredo, Patricia; et al. "Improved 7 Tesla resting-state fMRI connectivity measurements by cluster-based modeling of respiratory volume and heart rate effects". NeuroImage 153 (2017): 262-272. https://publons.com/publon/5196807/.
    10.1016/J.NEUROIMAGE.2017.04.009
  6. A. Lucas Martins; Jorge Fernández Villena; L. Miguel Silveira; Martins, A.L.; Villena, J.F.; Silveira, L.M.. "Variability and Statistical Analysis Flow for Dynamic Linear Systems with Large Number of Inputs". Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE) (2016): 1231-1236. https://publons.com/publon/3486506/.
    10.3850/9783981537079_0903
  7. Hochman, A.; Villena, J.F.; Polimeridis, A.G.; Silveira, L.M.; White, J.K.; Daniel, L.. "Reduced-order models for electromagnetic scattering problems". IEEE Transactions on Antennas and Propagation 62 6 (2014): 3150-3162. http://www.scopus.com/inward/record.url?eid=2-s2.0-84901983351&partnerID=MN8TOARS.
    10.1109/TAP.2014.2314734
  8. Sampaio, Carlos; Monteiro, Jose; Miguel Silveira, L.. "Analysis of the conditions for the worst case switching activity in integrated circuits". Analog Integrated Circuits and Signal Processing 70 2 (2012): 229-240. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000300360900007&KeyUID=WOS:000300360900007.
    10.1007/s10470-011-9782-7
  9. Villena, J.F.; Silveira, L.M.. "Exploiting parallelism for improved automation of multidimensional model order reduction". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 31 1 (2012): 37-49. http://www.scopus.com/inward/record.url?eid=2-s2.0-84255199156&partnerID=MN8TOARS.
    10.1109/TCAD.2011.2167510
  10. Villena, J.F.; Silveira, L.M.. "Multi-dimensional automatic sampling schemes for multi-point modeling methodologies". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 30 8 (2011): 1141-1151. http://www.scopus.com/inward/record.url?eid=2-s2.0-79960674921&partnerID=MN8TOARS.
    10.1109/TCAD.2011.2158721
  11. Villena, J.F.; Silveira, L.M.; Jorge Fernandez Villena; L. Miguel Silveira. "Positive realization of reduced RLCM nets". 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, VLSI-SoC 2011 (2011): 398-403. http://www.scopus.com/inward/record.url?eid=2-s2.0-83755169590&partnerID=MN8TOARS.
    10.1109/VLSISoC.2011.6081617
  12. Serras, J.; Silveira, L.M.. "Hierarchical analog layout migration with pcells". Proceedings - 17th IFIP International Conference on Very Large Scale Integration, VLSI-SoC 2009 (2011): 197-202. http://www.scopus.com/inward/record.url?eid=2-s2.0-80555139825&partnerID=MN8TOARS.
    10.1109/VLSISOC.2009.6041355
  13. Silva, J.M.S.; Phillips, J.R.; Silveira, L.M.; Silva, Joao M. S.; Phillips, Joel R.; Silveira, Luis Miguel. "Efficient simulation of power grids". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 29 10 (2010): 1523-1532. http://www.scopus.com/inward/record.url?eid=2-s2.0-77956987720&partnerID=MN8TOARS.
    10.1109/TCAD.2010.2061512
  14. E Silva, L.G.; Phillips, J.; Silveira, L.M.. "Effective corner-based techniques for variation-aware IC timing verification". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 29 1 (2010): 157-162. http://www.scopus.com/inward/record.url?eid=2-s2.0-73249144131&partnerID=MN8TOARS.
    10.1109/TCAD.2009.2034343
  15. Zuochang Ye; L Miguel Silveira; Joel R Phillips. "Extended Hamiltonian Pencil for Passivity Assessment and Enforcement for S-parameter Systems". DESIGN, AUTOMATION & TEST IN EUROPE (DATE) (2010): https://publons.com/publon/17554374/.
    10.1109/DATE.2010.5456981
  16. Ioan, D.; Ciuprina, G.; Silveira, L.M.. "Effective domain partitioning with electric and magnetic hooks". IEEE Transactions on Magnetics 45 3 (2009): 1328-1331. http://www.scopus.com/inward/record.url?eid=2-s2.0-61449091611&partnerID=MN8TOARS.
    10.1109/TMAG.2009.2012616
  17. Gusmão, A.; Silveira, L.M.; Monteiro, J.. "Parameter tuning in SVM-based power macro-modeling". Proceedings of the 10th International Symposium on Quality Electronic Design, ISQED 2009 (2009): 135-140. http://www.scopus.com/inward/record.url?eid=2-s2.0-67649659676&partnerID=MN8TOARS.
    10.1109/ISQED.2009.4810283
  18. Zuochang Ye; Luis Miguel Silveira; Joel R. Phillips. "Fast and reliable passivity assessment and enforcement with extended Hamiltonian pencil". Proceedings of the International Conference on Computer-Aided Design - ICCAD (2009): https://publons.com/publon/17554376/.
    10.1145/1687399.1687542
  19. Luis Miguel Silveira. "Parametric Structure-Preserving Model Order Reduction". Vlsi-soc: Advanced Topics on Systems on a Chip (2009): https://publons.com/publon/3486429/.
  20. Morgado, P.M.; Flores, P.F.; Silveira, L.M.. "Generating realistic stimuli for accurate power grid analysis". ACM Transactions on Design Automation of Electronic Systems 14 3 (2009): http://www.scopus.com/inward/record.url?eid=2-s2.0-67650284495&partnerID=MN8TOARS.
    10.1145/1529255.1529262
  21. Coelho, Carlos Pinto; Silveira, L. Miguel; White, Jacob; Coelho, C.P.; Silveira, L.M.; White, J.. "Efficient tools for the calculation of drag forces on planar microelectromechanical systems". Journal of Microelectromechanical Systems 17 3 (2008): 558-572. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000256626300004&KeyUID=WOS:000256626300004.
    10.1109/jmems.2008.921715
  22. Luis Filipe Colaço Messias Gil; Paulo Flores and; L. Miguel Silveira. "PMSat: a parallel version of MiniSAT". Journal on Satisfiability, Boolean Modeling and Computation 6 (2008): 71-98.
  23. Silva, J.M.S.; Phillips, J.R.; Silveira, L.M.; Silva, JMS; Phillips, JR; Silveira, LM. "Efficient representation and analysis of power grids". Proceedings -Design, Automation and Test in Europe, DATE (2008): 420-425. http://www.scopus.com/inward/record.url?eid=2-s2.0-49749122630&partnerID=MN8TOARS.
    10.1109/DATE.2008.4484717
  24. Pons-Estel, Guillermo J.; Pons-Estel, Bernardo A.; Garcia de la Torre, Ignacio; Ramirez, Luis; Silveira, Luis; Massardo, Loreto; Esteva, Maria; Cavalcanti, Fernando; Alarcon, Graciela S.. "The Impact of Rural Residency in the Expression and Outcome of Systemic Lupus Erythematosus: Data from a Multi-ethnic Latin American Cohort". Arthritis & Rheumatism-arthritis Care & Research (2008): https://publons.com/publon/35998599/.
  25. Silva, J.M.S.; Silveira, L.M.. "Dynamic models for substrate coupling in mixed-mode systems". IET Circuits, Devices and Systems 1 3 (2007): 221-232. http://www.scopus.com/inward/record.url?eid=2-s2.0-34547339655&partnerID=MN8TOARS.
    10.1049/iet-cds:20060206
  26. João M.S. Silva; L. Miguel Silveira; Silva, J.M.S.; Silveira, L.M.. "Substrate model extraction using finite differences and parallel multigrid". Integration 40 4 (2007): 447-460. https://publons.com/publon/3486524/.
    10.1016/J.VLSI.2006.05.002
  27. Silveira, L.M.; Phillips, J.R.. "Resampling plans for sample point selection in multipoint model-order reduction". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 25 12 (2006): 2775-2783. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845659997&partnerID=MN8TOARS.
    10.1109/TCAD.2006.882477
  28. Coelho, C.P.; Phillips, J.R.; Silveira, L.M.. "Generating high-accuracy simulation models using problem-tailored orthogonal polynomials basis". IEEE Transactions on Circuits and Systems I: Regular Papers 53 12 (2006): 2705-2714. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845783839&partnerID=MN8TOARS.
    10.1109/TCSI.2006.883865
  29. Costa, J.; Silveira, L.; Devadas, S.; Monteiro, J.. "Power estimation using probability polynomials". Design Automation for Embedded Systems 9 1 (2005): 19-52. http://www.scopus.com/inward/record.url?eid=2-s2.0-17444421573&partnerID=MN8TOARS.
    10.1007/s10617-005-5344-5
  30. Marques, N.A.; Kamon, M.; Silveira, L.M.; White, J.K.. "Generating compact, guaranteed passive reduced-order models of 3-D RLC interconnects". IEEE Transactions on Advanced Packaging 27 4 (2004): 569-580. http://www.scopus.com/inward/record.url?eid=2-s2.0-9244256783&partnerID=MN8TOARS.
    10.1109/TADVP.2004.831867
  31. Phillips, J.; Silveira, L.M.; Phillips, J; Silveira, LM; Gielen, G; Figueras, J; Phillips, J.R.; Phillips, J. R.; Silveira, L. M.. "Poor man's TBR: A simple model reduction scheme". Proceedings - Design, Automation and Test in Europe Conference and Exhibition 2 1 (2004): 938-943. http://www.scopus.com/inward/record.url?eid=2-s2.0-3042568993&partnerID=MN8TOARS.
    10.1109/DATE.2004.1269012
  32. Silva, J.M.S.; Silveira, L.M.; Silva, J. M. S.; Silveira, L. M.; Acm,. "Issues in parallelizing Multigrid-based substrate model extraction and analysis". Proceedings - 17th Symposium on Integrated Cicuits and Systems Design, SBCCI2004 (2004): 123-128. http://www.scopus.com/inward/record.url?eid=2-s2.0-14244269585&partnerID=MN8TOARS.
    10.1145/1016568.1016605
  33. Coelho, C.P.; Phillips, J.; Silveira, L.M.; Coelho, C. P.; Silveira, L. M.. "A convex programming approach for generating guaranteed passive approximations to tabulated frequency-data". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 23 2 (2004): 293-301. http://www.scopus.com/inward/record.url?eid=2-s2.0-1242308409&partnerID=MN8TOARS.
    10.1109/TCAD.2003.822107
  34. Silva, JMS; Silveira, LM; IEEE. "Multigrid-based substrate coupling model extraction". 2004 Ieee International Symposium on Circuits and Systems, Vol 5, Proceedings (2004): 169-172. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000223103900043&KeyUID=WOS:000223103900043.
    10.1109/ISCAS.2004.1329489
  35. Silveira, L.M.; Vargas, N.. "Characterizing substrate coupling in deep-submicron designs". IEEE Design and Test of Computers 19 2 (2002): 4-15. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036494808&partnerID=MN8TOARS.
    10.1109/54.990437
  36. Coelho, C.P.; Phillips, J.R.; Silveira, L.M.. "Optimization based passive constrained fitting". IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers (2002): 775-780. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036907205&partnerID=MN8TOARS.
    10.1145/774572.774686
  37. Silva, L. G. E.; Marques-Silva, J.; Silveira, L. M.; Sakallah, K. A.; Guerra E Silva, L.; Silveira, L.M.; Sakallah, K.A.. "Satisfiability models and algorithms for circuit delay computation". Acm Transactions on Design Automation of Electronic Systems 7 1 (2002): 137-158. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000175516700006&KeyUID=WOS:000175516700006.
    10.1145/504914.504920
  38. Phillips, J.; Daniel, L.; Silveira, L.M.; Phillips, J.R.. "Guaranteed passive balancing transformations for model order reduction". Proceedings - Design Automation Conference 22 8 (2002): 52-57. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036056697&partnerID=MN8TOARS.
    10.1109/DAC.2002.1012593
  39. Phillips, JR; Silveira, LM; IEEE. "Simulation approaches for strongly coupled interconnect systems". Iccad 2001: Ieee/acm International Conference on Computer Aided Design, Digest of Technical Papers (2001): 430-437. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000173974300066&KeyUID=WOS:000173974300066.
    10.1109/ICCAD.2001.968665
  40. Coelho, C.P.; Phillips, J.R.; Silveira, L.M.. "A convex programming approach to positive real rational approximation". IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers (2001): 245-251. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035215676&partnerID=MN8TOARS.
    10.1109/iccad.2001.968626
  41. For, T.; Costa, J.P.; Chou, M.; Silveira, L.M.. "Efficient accurate modeling and simulation of substrate coupling in mixed-signal 1C's". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 18 5 (1999): 597-607. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032668259&partnerID=MN8TOARS.
    10.1109/43.759076
  42. Coelho, Carlos P.; Phillips, Joel R.; Silveira, L.Miguel. "Robust rational function approximation algorithm for model generation". Proceedings - Design Automation Conference (1999): 207-212. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032633414&partnerID=MN8TOARS.
  43. Kamon, M.; Marques, N.; Massoud, Y.; Silveira, L.; White, J.. "Interconnect analysis: From 3-D structures to circuit models". Proceedings - Design Automation Conference (1999): 910-914. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032688715&partnerID=MN8TOARS.
  44. Silveira, LM; Kamon, M; Elfadel, I; White, J; Silveira, L.M.; Kamon, M.; Elfadel, I.; White, J.. "A coordinate-transformed Arnoldi algorithm for generating guaranteed stable reduced-order models of RLC circuits". Computer Methods in Applied Mechanics and Engineering 169 3-4 (1999): 377-389. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000079091300012&KeyUID=WOS:000079091300012.
    10.1016/S0045-7825(98)00164-9
  45. Kamon, M.; Marques, N.A.; Silveira, L.M.; White, J.. "Automatic generation of accurate circuit models of 3-D interconnect". IEEE Transactions on Components Packaging and Manufacturing Technology Part B 21 3 (1998): 225-240. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032137612&partnerID=MN8TOARS.
    10.1109/96.704933
  46. Elfadel, IM; Silveira, LM; White, J; IEEE. "Stability criteria for Arnoldi-based model-order reduction". 1996 Ieee International Conference on Acoustics, Speech, and Signal Processing, Conference Proceedings, Vols 1-6 (1996): 2642-2645. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1996BG26G00666&KeyUID=WOS:A1996BG26G00666.
    10.1109/ICASSP.1996.548007
  47. Silveira, L.M.; Kamon, M.; White, J.. "Algorithms for Coupled Transient Simulation of Circuits and Complicated 3-D Packaging". IEEE Transactions on Components Packaging and Manufacturing Technology Part B 18 1 (1995): 92-98. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029244870&partnerID=MN8TOARS.
    10.1109/96.365494
  48. SILVEIRA, LM; KAMON, M; WHITE, J; ASSOC COMP MACHINERY; Silveira, L.M.; Kamon, M.; White, J.. "Efficient reduced-order modeling of frequency-dependent coupling inductances associated with 3-D interconnect structures". 32nd Design Automation Conference, Proceedings 1995 19 2 (1995): 376-380. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1995BD41Y00063&KeyUID=WOS:A1995BD41Y00063.
    10.1109/96.496030
  49. SILVEIRA, LM; KAMON, M; WHITE, J; IEEE. "EFFICIENT REDUCED-ORDER MODELING OF FREQUENCY-DEPENDENT COUPLING INDUCTANCES ASSOCIATED WITH 3-D INTERCONNECT STRUCTURES". European Design and Test Conference - Ed&tc 1995, Proceedings (1995): 534-538. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1995BC60C00084&KeyUID=WOS:A1995BC60C00084.
  50. Miguel Silveira, L.; White, J.K.; Elfadel, I.M.; Chilukuri, M.; Kundert, K.S.. "Efficient Frequency-Domain Modeling and Circuit Simulation of Transmission Lines". IEEE Transactions on Components Packaging and Manufacturing Technology Part B 17 4 (1994): 505-513. http://www.scopus.com/inward/record.url?eid=2-s2.0-0028543304&partnerID=MN8TOARS.
    10.1109/96.338715
  51. SILVEIRA, LM; ELFADEL, IM; WHITE, JK; CHILUKURI, M; KUNDERT, KS; ASSOC COMP MACHINERY. "AN EFFICIENT APPROACH TO TRANSMISSION LINE SIMULATION USING MEASURED OR TABULATED S-PARAMETER DATA". 31st Design Automation Conference - Proceedings 1994 (1994): 634-639. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1994BC03E00110&KeyUID=WOS:A1994BC03E00110.
    10.1145/196244.196598
  52. L.M. Silveira; M. Kamon; J. White. "Algorithms for coupled transient simulation of circuits and complicated 3-D packaging". 94 Proceedings. Electronic Components and Technology Conference (1994): https://publons.com/publon/3486463/.
    10.1109/ECTC.1994.367512
  53. LUMSDAINE, A; SILVEIRA, LM; WHITE, JK. "MASSIVELY-PARALLEL SIMULATION ALGORITHMS FOR GRID-BASED ANALOG SIGNAL PROCESSORS". Ieee Transactions on Computer-Aided Design of Integrated Circuits and Systems 12 11 (1993): 1665-1678. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1993ML08900005&KeyUID=WOS:A1993ML08900005.
    10.1109/43.248077
  54. Silveira, L.M.; White, J.K.; Neto, H.; Vidigal, L.. "On Exponential Fitting for Circuit Simulation". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 11 5 (1992): 566-574. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026868526&partnerID=MN8TOARS.
    10.1109/43.127618
  55. NETO, HC; SILVEIRA, LM; WHITE, JK; VIDIGAL, LM. "ON EXPONENTIAL FITTING FOR CIRCUIT SIMULATION". IEEE INTERNATIONAL SYMP ON CIRCUITS AND SYSTEMS, VOLS 1-4 (1990): https://publons.com/publon/35998435/.
    10.1109/ISCAS.1990.112102
Capítulo de livro
  1. Barbulescu, Ruxandra; Ciuprina, Gabriela; Ionescu, Tudor; Ioan, Daniel; Silveira, Luis Miguel. "Efficient Model Reduction of Myelinated Compartments as Port-Hamiltonian Systems". In Scientific Computing in Electrical Engineering, 3-12. Springer International Publishing, 2021.
    10.1007/978-3-030-84238-3_1
  2. Grivet-Talocia, S.; Silveira, L.M.. "Post-processing methods for passivity enforcement". 139-179. 2021.
  3. Silveira, L.. "Developing air services in the Azores". 47-60. 2010.
  4. Villena, Jorge Fernandez; Ciuprina, Gabriela; Ioan, Daniel; Silveira, Luis Miguel; Ieee,. "On the Efficient Reduction of Complete EM based Parametric Models". 1172-1177. 2009.
    10.1109/DATE.2009.5090840
  5. Ciuprina, Gabriela; Ioan, Daniel; Niculae, Dragos; Villena, Jorge Fernandez; Silveira, Luis Miguel; Ciuprina, G.; Ioan, D.; et al. "Parametric Models Based on Sensitivity Analysis for Passive Components". editado por Wiak, S. Krawczyk A. Dolezel I., 231-239. 2008.
    10.1007/978-3-540-78490-6_28
  6. Silva, Joao M. S.; Silveira, L. Miguel; Ieee,; Silva, J.M.S.; Silveira, L.M.. "On the effectiveness of reducing large linear networks with many ports". 2694-2697. 2007.
    10.1109/iscas.2007.378517
  7. Silva, Joao A. S.; Silveira, Luis Miguel; Silva, J.M.S.; Silveira, L.M.. "Dynamic models for substrate coupling in mixed-mode systems". editado por Glesner, M. Reis R. Indrusiak L. Mooney V. Eveking H., 21-37. 2006.
    10.1007/0-387-33403-3_2
Edição de livro
  1. Peter Benner; Stefano Grivet-Talocia; Alfio Quarteroni; Gianluigi Rozza; Wilhelmus, Schilders; Luis Miguel Silveira. Model Order Reduction - Volume 3: Applications. De Gruyter. 2021.
    10.1515/9783110499001
Livro
  1. Peter Benner; Stefano Grivet-Talocia; Alfio Quarteroni; Gianluigi Rozza; Wilhelmus, Schilders; Luis Miguel Silveira. Model Order Reduction - Volume 2: Snapshot-Based Methods and Algorithms. De Gruyter. 2021.
    10.1515/9783110671490
  2. Model Order Reduction - Volume 1: System- and Data-Driven Methods and Algorithms. Alemanha: De Gruyter. 2021.
    10.1515/9783110498967
  3. Benner, P.; Grivet-Talocia, S.; Quarteroni, A.; Rozza, G.; Schilders, W.; Silveira, L.M.. Preface to the first volume of Model Order Reduction. 2021.
  4. Benner, P.; Grivet-Talocia, S.; Quarteroni, A.; Rozza, G.; Schilders, W.; Silveira, L.M.. Preface to the third volume of model order reduction. 2020.
  5. Benner, P.; Grivet-Talocia, S.; Quarteroni, A.; Rozza, G.; Schilders, W.; Silveira, L.M.. Preface to the second volume of model order reduction. 2020.
  6. Benner, P.; Grivet-Talocia, S.; Quarteroni, A.; Rozza, G.; Schilders, W.; Silveira, L.M.. Model order reduction. 2020.
    10.1515/9783110499001/html
  7. Orailoglu, A.; Ugurdag, H.F.; Silveira, L.M.; Margala, M.; Reis, R.. Preface. 2015.
  8. Leitão, A.C.; Francisco, A.P.; Abreu, R.; Nunes, S.; Rodrigues, J.; Figueiredo, P.; Wald, L.L.; Bianciardi, M.; Silveira, L.M.. Techniques for brain functional connectivity analysis from high resolution imaging. 2015.
    10.1007/978-3-319-16112-9_13
  9. Gusmão, A.; Silveira, L.M.; Monteiro, J.; Gusm{\~a}o, A.. Power macro-modeling using an iterative LS-SVM method. 2011.
    10.1109/VLSISOC.2009.6041324
  10. Gusmao, Antonio; Silveira, L. Miguel; Monteiro, Jose; Ieee,. Parameter Timing in SVM-Based Power Macro-Modeling. 2009.
  11. Villena, J.F.; Schilders, W.H.A.; Silveira, L.M.. Parametric structure-preserving model order reduction. 2009.
    10.1007/978-0-387-89558-1_5
  12. Morgado, P.M.; Flores, P.F.; Monteiro, J.C.; Silveira, L.M.. Generating worst-case stimuli for accurate power grid analysis. 2009.
    10.1007/978-3-540-95948-9_25
  13. Phillips, J. R.; Zhu, Z. H.; Silveria, L. M.. PMTBR: A Family of Approximate Principal-components-like Reduction Algorithms. 2008.
    10.1007/978-3-540-78841-6_6
  14. Silva, L.G.; Zhu, Z.; Phillips, J.R.; Silveira, L.M.. Library compatible variational delay computation. 2008.
    10.1007/978-0-387-74909-9_10
  15. Silva, Joao M. S.; Villena, Jorge Fernandez; Flores, Paulo; Silveira, L. Miguel. Outstanding issues in model order reduction. 2007.
    10.1007/978-3-540-71980-9_13
  16. e Silva, L.G.; Zhu, Z.; Phillips, J.R.; Silveira, L.M.. Library compatible variational delay computation. 2007.
  17. Silva, J.M.S.; Silveira, L.M.. Issues in model reduction of power grids. 2007.
    10.1007/978-0-387-73661-7_9
  18. Silva, Luis Guerra E.; Zhu, Zhenhai; Phillips, Joel R.; Silveira, L. Miguel. Variation-aware, library compatible delay modeling strategy. 2006.
    10.1109/VLSISOC.2006.313215
  19. Marques, N.; Kamon, M.; White, J.; Silveira, L. M.; Acm, A. C. M.. A mixed nodal-mesh formulation for efficient extraction and passive reduced-order modeling of 3D interconnects. 1998.
    10.1109/DAC.1998.724486
  20. Marques, N.; Kamon, M.; White, J.; Silveira, L. M.; Acm, A. C. M.. A mixed nodal-mesh formulation for efficient extraction and passive reduced-order modeling of 3D interconnects. 1998.
  21. Marques, N.; Kamon, M.; White, J.; Silveira, L. M.; Ieee Comp, S. O. C.. An efficient algorithm for fast parasitic extraction and passive order reduction of 3D interconnect models. 1998.
Resumo em conferência
  1. Barbulescu, Ruxandra; Luis Miguel Silveira. "Model order reduction of the C.Elegans nervous system with POD-DEIM". 2021.
    10.12751/NNCN.BC2021.P134

Outros

Outra produção
  1. Modelling neuronal behaviour with time series regression: Recurrent neural networks on C. elegans data. 2021. Mestre, G.; Barbulescu, R.; Oliveira, A.L.; Miguel Silveira, L.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85110846569&partnerID=MN8TOARS.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2024 - Atual Physics-informed machine learning techniques for complex dynamical systems
Orientador
Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
2025/09/01 - 2029/09/01 Accelerating the computation of Physics-Informed Neural Network models of complex systems
Coorientador
 Engenharia Eletrotécnica e de Computadores (Doutoramento)
Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
2023/03 - 2023/10 Data-driven Methods for Efficient Generation of Physically-Coherent Models
Coorientador
 Engenharia e Ciência de Dados (Mestrado)
Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
2023/03 - 2023/10 Explainable Artificial Intelligence for Multivariate Time Series Regression Models
Coorientador
 Engenharia e Ciência de Dados
Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
2021/09 - 2023/05 Neuromorphic System for the Identification of Three-Dimensional Spatial Maneuvers
Coorientador
 Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Mestrado)
Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
2021/03 - 2021/05 Modeling C. elegans Nervous System's Behavior using Machine Learning Techniques
Orientador
 Engenharia e Ciência de Dados (Mestrado)
Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
2020 - 2020 MuSyFi - Music Synthesis from Images
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 High Performance GPU-based Power Grid Analysis
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 Sculpture Inspired Musical Composition One Possible Approach
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 Improving the precision of indoor positioning systems
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 Evaluation of Narrowband Technologies in Urban Environments
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 Micro-VMS: Unidade móvel VMS para embarcações de pesca artesanal
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 SIGA: Integrated Queue Management System
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2015 Variability and Statistical Dynamic Analysis Flow for Linear Interconnect Networks
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 - 2014 Network mining based analysis of whole brain functional connectivity
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2011 IC3D: Visualizador 3D de Circuitos Integrados
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2011 LPGAS - Large Power Grid Analysis and Simulation
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006/09 - 2010/09 Order Reduction of Parameterized Structured EM-based LinearModels
Orientador de Jorge Fernández Villena
 Engenharia Eletrotécnica e de Computadores (Doutoramento)
Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
2004/09 - 2008/09 Efficient Simulation of Power Grids
Orientador de João Manuel Santos da Silva
 Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Doutoramento)
Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal
1997/09 - 2003/05 Timing Analysis of Integrated Circuits Under Process Variations
Orientador de Luís Jorge Brás Monteiro Guerra e Silva
 Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Doutoramento)
Instituto Superior Técnico, Departamento de Engenharia Electrotécnica e de Computadores, Universidade de Lisboa, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2023/10/16 - 2023/10/18 General Chair of the 2023 IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023 (2023/10/16 - 2033/10/18)
Conferência (Presidente da Comissão Organizadora)
 International Federation for Information Processing, Áustria
Distinções

Outra distinção

2014 US Patent 8799840B1
United States Patent and Trademark Office, Estados Unidos
2012 US Patent 8245167B1
Cadence Design Systems Inc, Estados Unidos
2011 Elevated to IEEE Fellow
2009 Best Paper Candidate, DATE - Design and Test in Europe, Conference and Exhibition, Nice, France
2008 Best Paper Candidate, DATE - Design and Test in Europe, Conference and Exhibition, Munich, Germany
2006 Best Paper Award, IFIP VLSI-SoC 2006, Nice, France
2005 Best Paper Award, IFIP VLSI-SoC 2005, Perth, Australia
Institut du Porc, França
2004 Best Paper Award, DATE 2004 - Design and Test, Conference and Exhibition
2003 Best Paper Award, IFIP VLSI-SoC 2003, Darmstadt, Germany
Institut du Porc, França
2002 Best Paper Award, SBCCI - Symposium on Integrated Circuits and Systems Design, Porto Alegre, Brazil
2002 Best Paper Award, DAC - Design Automation Conference, New Orleans, Louisiana, U.S.A.
2002 Best Paper Candidate, DATE - Design and Test in Europe, Conference and Exhibition, Paris, France
2000 Member of IFIP's Working Group 10.5, Design and Engineering of Electronic Systems
Institut du Porc, França
1999 Best Paper Award, SBCCI - XIII Symposium on Integrated Circuits and Systems Design, Natal, Brazil
IEEE, Estados Unidos
1994 Best Paper Award, ECTC - Electronics Components and Technology Conference, Washington D.C., U.S.A.
IEEE, Estados Unidos
1993 IBM Electronic Design Automation Graduate Fellowship
International Business Machines Corp, Estados Unidos
1992 Member of Sigma XI
1992 IBM Electronic Design Automation Graduate Fellowship
International Business Machines Corp, Estados Unidos
1991 IBM Electronic Design Automation Graduate Fellowship
International Business Machines Corp, Estados Unidos
1990 Best Paper Award, ICCAD - International Conference on CAD of Integrated Circuits, S. Clara, CA, USA
1989 Fullbright Scholarship