Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Estimating and reducing the memory requirements of signal processing codes for embedded systems., , , , and . IEEE Trans. Signal Process., 54 (1): 286-294 (2006)Steady-state analysis of voltage and current controlled oscillators., , , and . ICCAD, page 618-623. IEEE Computer Society, (2005)Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions., , , and . ICCAD, page 547-554. IEEE Computer Society / ACM, (1996)Integrating Data Distribution and Loop Transformations., and . PPSC, page 668-673. SIAM, (1995)A Survey of Techniques for Formal Verification of Combinational Circuits., , , and . ICCD, page 445-454. IEEE Computer Society, (1997)Logic synthesis for large pass transistor circuits., , , and . ICCAD, page 663-670. IEEE Computer Society / ACM, (1997)Analysis techniques for obtaining the steady-state solution of MOS LC oscillators., , , and . ISCAS (5), page 512-515. IEEE, (2004)Reducing Memory Requirements of Nested Loops for Embedded Systems., , , and . DAC, page 359-364. ACM, (2001)Engineering Change in a Non-Deterministic FSM Setting., , , , , and . DAC, page 451-456. ACM Press, (1996)Reachability analysis using partitioned-ROBDDs., , , , and . ICCAD, page 388-393. IEEE Computer Society / ACM, (1997)