Advanced methods for equivalence checking of analog circuits with strong nonlinearities

The modified nodal approach to network analysis

Chung-Wen Ho, Albert E. Ruehli, P.A. Brennan · IEEE Transactions on Circuits and Systems · 1975 · 1.5K citations

Engineering, Electrical Engineering, Circuit Theory +12

Efficient linear circuit analysis by Pade approximation via the Lanczos process

P. Feldmann, R.W. Freund · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1995 · 1.4K citations

Engineering, Computer Science, Electrical Engineering +15

The computation of Kronecker's canonical form of a singular pencil

Paul Van Dooren · Linear Algebra and its Applications · 1979 · 537 citations

Natural Sciences, Mathematics, Representation Theory +4

Numerical methods for differential algebraic equations

Roswitha März · Acta Numerica · 1992 · 134 citations

Natural Sciences, Mathematics, Computational Mechanics +13

Verifying analog oscillator circuits using forward/backward abstraction refinement

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar · 2006 · 84 citations

Computing, Computer Science, Electrical Engineering +16