Author of the publication

Tools for Quantum Computing Based on Decision Diagrams

, , and . ACM Transactions on Quantum Computing, 3 (3): 1--17 (June 2022)
DOI: 10.1145/3491246

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

Better Late Than Never : Verification of Embedded Systems After Deployment., , , , and . DATE, page 890-895. IEEE, (2019)An improved gate library for logic synthesis of optical circuits., , , , and . ISED, page 1-6. IEEE, (2016)Reliable quantum circuits have defects., , and . CoRR, (2019)Verifying the structure and behavior in UML/OCL models using satisfiability solvers., , , and . IET Cyper-Phys. Syst.: Theory & Appl., 1 (1): 49-59 (2016)Using DDs for Nearest Neighbor Optimization of Quantum Circuits., , , , and . RC, volume 9720 of Lecture Notes in Computer Science, page 181-196. Springer, (2016)Improved DD-based Equivalence Checking of Quantum Circuits., and . ASP-DAC, page 127-132. IEEE, (2020)Reversible Circuits: IC/IP Piracy Attacks and Countermeasures., , , , and . IEEE Trans. Very Large Scale Integr. Syst., 27 (11): 2523-2535 (2019)Modeling and simulation of electrophoretic deposition coatings., , , and . J. Comput. Sci., (2020)Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation., , , , , , and . IEEE Trans. Computers, 69 (6): 856-867 (2020)An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (7): 1226-1236 (2019)