Autor der Publikation

Efficient Three-Dimensional Extraction Based on Static and Full-Wave Layered Green's Functions.

, , , und . DAC, Seite 224-229. ACM Press, (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Large-scale capacitance calculation., und . DAC, Seite 744-749. ACM, (2000)An Improved Algorithm for the Evaluation of Fixpoint Expressions., , , , und . CAV, Volume 818 von Lecture Notes in Computer Science, Seite 338-350. Springer, (1994)Symbolic Model Checking with Partitioned Transistion Relations., , und . VLSI, Volume A-1 von IFIP Transactions, Seite 49-58. North-Holland, (1991)Modeling of integrated RF passive devices., und . CICC, Seite 1-8. IEEE, (2010)A language for compositional specification and verification of finite state hardware controllers., , und . Proc. IEEE, 79 (9): 1283-1292 (1991)Efficient full-wave simulation in layered, lossy media., , und . CICC, Seite 211-214. IEEE, (1998)PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses, , , und . LICS, Seite 80-89. IEEE Computer Society, (1989)Efficient time-domain simulation of frequency-dependent elements., , und . ICCAD, Seite 569-573. IEEE Computer Society / ACM, (1996)High-order Nyström schemes for efficient 3-D capacitance extraction., und . ICCAD, Seite 178-185. ACM / IEEE Computer Society, (1998)The design of a cache-friendly BDD library.. ICCAD, Seite 639-645. ACM / IEEE Computer Society, (1998)