Luis Miguel Teixeira D´avila Pinto da Silveira


AuthID: R-000-9SJ

Confirmed Publications: 113



71
TITLE: Optimization based passive constrained fitting
AUTHORS: Carlos M. Afonso; Phillips, JR; Silveira, L. Miguel ;
PUBLISHED: 2002, SOURCE: International Conference on Computer-Aided Design in IEEE/ACM INTERNATIONAL CONFERENCE ON CAD-02, DIGEST OF TECHNICAL PAPERS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
72
TITLE: Passive constrained rational approximation algorithm using Nevanlinna-pick interpolation
AUTHORS: Carlos M. Afonso; Phillips, JR; Silveira, L. Miguel ;
PUBLISHED: 2002, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 2002) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
73
TITLE: Satisfiability models and algorithms for circuit delay computation  Full Text
AUTHORS: Silva, LGE ; Marques Silva, J ; Silveira, L. Miguel ; Sakallah, KA;
PUBLISHED: 2002, SOURCE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | ResearcherID
74
TITLE: A convex programming approach to positive real rational approximation
AUTHORS: Carlos M. Afonso; Phillips, JR; Silveira, L. Miguel ;
PUBLISHED: 2001, SOURCE: International Conference on Computer Aided Design (ICCAD 2001) in ICCAD 2001: IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
75
TITLE: Simulation approaches for strongly coupled interconnect systems
AUTHORS: Phillips, JR; Silveira, L. Miguel ;
PUBLISHED: 2001, SOURCE: International Conference on Computer Aided Design (ICCAD 2001) in ICCAD 2001: IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
76
TITLE: A benchmark suite for substrate analysis
AUTHORS: Charbon, E; Silveira, L. Miguel ; Miliozzi, P;
PUBLISHED: 2000, SOURCE: 2000 Asia and South Pacific Design Automation Conference, ASP-DAC 2000 in Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
INDEXED IN: Scopus CrossRef
IN MY: ORCID
77
TITLE: A coordinate-transformed Arnoldi algorithm for generating guaranteed stable reduced-order models of RLC circuits  Full Text
AUTHORS: Silveira, L. Miguel ; Kamon, M; Elfadel, I; White, J;
PUBLISHED: 1999, SOURCE: COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, VOLUME: 169, ISSUE: 3-4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
78
TITLE: A probabilistic approach for RT-level power modeling
AUTHORS: Costa, J; Monteiro, J; Silveira, L. Miguel ; Devadas, S;
PUBLISHED: 1999, SOURCE: 6th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1999 in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, VOLUME: 2
INDEXED IN: Scopus CrossRef
IN MY: ORCID
79
TITLE: Algorithms for solving Boolean Satisfiability in combinational circuits
AUTHORS: Silva, LGE; Silveira, L. Miguel ; Marques Silva, J ;
PUBLISHED: 1999, SOURCE: Design, Automation and Test in Europe Conference and Exhibition in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | ResearcherID
80
TITLE: Efficient techniques for accurate extraction and modeling of substrate coupling in mixed-signal IC's
AUTHORS: Costa, JP; Chou, M; Silveira, L. Miguel ;
PUBLISHED: 1999, SOURCE: Design, Automation and Test in Europe Conference and Exhibition in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID | ResearcherID
Page 8 of 12. Total results: 113.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service