( en | de | ru )

 

Disambiguation of "Macii, Enrico"

Author of the publication

copydeleteadd this publication to your clipboard
Algebraic Decision Diagrams and Their Applications.

, , , , , , and . Formal Methods Syst. Des., 10 (2/3): 171-206 (1997)

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.

Enrico Metzler

Enrico Mönke

Enrico Thormann

Enrico Schaarschmidt

Enrico Streit

 

Other publications of authors with the same name

Energy-efficient bus encoding for LCD digital display interfaces., , and . IEEE Trans. Consumer Electronics, 51 (2): 624-634 (2005)Δ-trees of a graph: introduction and formal definition., and . Great Lakes Symposium on VLSI, page 107-108. IEEE, (1993)Modeling stuck-open faults in CMOS iterative circuits., and . Great Lakes Symposium on VLSI, page 14-17. IEEE, (1993)Synthesis of application-specific memories for power optimization in embedded systems., , , and . DAC, page 300-303. ACM, (2000)Algorithms for Approximate FSM Traversal., , , , and . DAC, page 25-30. ACM Press, (1993)Computational Kernels and their Application to Sequential Power Optimization., , , , , and . DAC, page 764-769. ACM Press, (1998)PVInGrid: A Distributed Infrastructure for Evaluating the Integration of Photovoltaic Systems in Smart Grid., , , , , and . DoCEIS, volume 499 of IFIP Advances in Information and Communication Technology, page 316-324. (2017)NBTI-aware power gating for concurrent leakage and aging optimization., , and . ISLPED, page 127-132. ACM, (2009)Clock-tree power optimization based on RTL clock-gating., , , and . DAC, page 622-627. ACM, (2003)From Architecture to Layout: Partitioned Memory Synthesis for Embedded Systems-on-Chip., , , , and . DAC, page 784-789. ACM, (2001)