Author of the publication

Equivalence Checking of Reversible Circuits.

, , , and . Multiple-Valued Logic and Soft Computing, 19 (4): 361-378 (2012)

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

A class of two-place three-valued unary generators., and . Notre Dame Journal of Formal Logic, 21 (1): 148-154 (1980)Social impact in technologically-mediated communication: An examination of online influence., and . Computers in Human Behavior, 24 (6): 2972-2991 (2008)Mapping a Multiple-control Toffoli Gate Cascade to an Elementary Quantum Gate Circuit., and . Multiple-Valued Logic and Soft Computing, 18 (1): 83-98 (2012)QMDD Minimization Using Sifting for Variable Reordering., , and . Multiple-Valued Logic and Soft Computing, 13 (4-6): 537-552 (2007)High Speed Genetic Algorithms in Quantum Logic Synthesis: Low Level Parallelization vs. Representation?, , , and . Multiple-Valued Logic and Soft Computing, 20 (1-2): 89-120 (2012)Trading off circuit lines and gate costs in the synthesis of reversible logic., , , and . Integration, 47 (2): 284-294 (2014)QMDDs: Efficient Quantum Function Representation and Manipulation., , , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 35 (1): 86-99 (2016)Self-Inverse Functions and Palindromic Circuits., , , and . CoRR, (2015)An improved method for computing a generalized spectral coefficient.. IEEE Trans. on CAD of Integrated Circuits and Systems, 17 (3): 233-238 (1998)Implementing a Multiple-Valued Decision Diagram Package., and . ISMVL, page 52-57. IEEE Computer Society, (1998)