From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

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