Author of the publication

Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits.

, , and . DATE, page 1378-1381. ACM, (2008)

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

Reversible Logic Synthesis Based on Decision Diagram Variable Ordering., and . J. Multiple Valued Log. Soft Comput., 19 (4): 325-339 (2012)Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams., , and . ISMVL, page 244-249. IEEE Computer Society, (2012)On the Data Structure Metrics of Quantum Multiple-Valued Decision Diagrams., , and . ISMVL, page 138-143. IEEE Computer Society, (2008)Variable Reordering and Sifting for QMDD., , and . ISMVL, page 10. IEEE Computer Society, (2007)On the Skipped Variables of Quantum Multiple-Valued Decision Diagrams., and . ISMVL, page 164-169. IEEE Computer Society, (2011)Quantum Multiple-Valued Decision Diagrams Containing Skipped Variables., and . J. Multiple Valued Log. Soft Comput., 24 (1-4): 93-108 (2015)QMDD Minimization Using Sifting for Variable Reordering., , and . J. Multiple Valued Log. Soft Comput., 13 (4-6): 537-552 (2007)Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits., , and . DATE, page 1378-1381. ACM, (2008)Using the Asynchronous Paradigm for Reversible Sequential Circuit Implementation., and . ISMVL, page 305-310. IEEE Computer Society, (2012)Advances in Quantum Computing Fault Tolerance and Testing., , and . HASE, page 369-370. IEEE Computer Society, (2007)