Author of the publication

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

ROS: Resource-constrained Oracle Synthesis for Quantum Computers., , , and . QPL, volume 318 of EPTCS, page 119-130. (2019)Evaluating ESOP Optimization Methods in Quantum Compilation Flows., , , , and . RC, volume 11497 of Lecture Notes in Computer Science, page 191-206. Springer, (2019)Enumerating Optimal Quantum Circuits using Spectral Classification., , , and . ISCAS, page 1-5. IEEE, (2020)The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits., , , , and . ICCAD, page 1-8. ACM, (2019)Automatic accuracy management of quantum programs via (near-)symbolic resource estimation., , , and . CoRR, (2020)Enabling accuracy-aware Quantum compilers using symbolic resource estimation., , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 130:1-130:26 (2020)Reversible Pebbling Game for Quantum Memory Management., , , , and . DATE, page 288-291. IEEE, (2019)From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++., , , , and . DATE, page 1044-1049. IEEE, (2021)Majority-based Design Flow for AQFP Superconducting Family., , , , , , , , , and 1 other author(s). DATE, page 34-39. IEEE, (2022)