Author of the publication

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers.

, , , , and . QSW, page 46-57. IEEE, (2024)

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

An improved gate library for logic synthesis of optical circuits., , , , and . ISED, page 1-6. IEEE, (2016)Modeling and simulation of electrophoretic deposition coatings., , , and . J. Comput. Sci., (2020)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)Using DDs for Nearest Neighbor Optimization of Quantum Circuits., , , , and . RC, volume 9720 of Lecture Notes in Computer Science, page 181-196. Springer, (2016)An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37 (12): 3031-3041 (2018)Equivalence Checking in Multi-level Quantum Systems., , and . RC, volume 8507 of Lecture Notes in Computer Science, page 201-215. Springer, (2014)Improved Look-Ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits., , , , and . VLSID, page 203-208. IEEE, (2019)Compiler Optimization for Quantum Computing Using Reinforcement Learning., , and . DAC, page 1-6. IEEE, (2023)The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus., , , , , and . DAC, page 1367-1370. ACM, (2022)