From post

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.

 

Другие публикации лиц с тем же именем

Equivalence Checking in Multi-level Quantum Systems., , и . RC, том 8507 из Lecture Notes in Computer Science, стр. 201-215. Springer, (2014)An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37 (12): 3031-3041 (2018)An improved gate library for logic synthesis of optical circuits., , , , и . ISED, стр. 1-6. IEEE, (2016)Placement and Routing for Tile-based Field-coupled Nanocomputing Circuits Is NP-complete (Research Note)., , , , и . ACM J. Emerg. Technol. Comput. Syst., 15 (3): 29:1-29:10 (2019)Towards Verification of Dynamic Quantum Circuits., и . CoRR, (2021)MQT QMAP: Efficient Quantum Circuit Mapping., и . ISPD, стр. 198-204. ACM, (2023)Exact Mapping of Quantum Circuit Partitions to Building Blocks of the SAQIP Architecture., , , и . ISVLSI, стр. 402-405. IEEE, (2022)Random Stimuli Generation for the Verification of Quantum Circuits., , и . ASP-DAC, стр. 767-772. ACM, (2021)One-pass Synthesis for Field-coupled Nanocomputing Technologies., , , , и . ASP-DAC, стр. 574-580. ACM, (2021)An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits., , и . CILC, том 3428 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)