Autor der Publikation

Equivalence Checking in Multi-level Quantum Systems.

, , und . RC, Volume 8507 von Lecture Notes in Computer Science, Seite 201-215. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Using DDs for Nearest Neighbor Optimization of Quantum Circuits., , , , und . RC, Volume 9720 von Lecture Notes in Computer Science, Seite 181-196. Springer, (2016)An improved gate library for logic synthesis of optical circuits., , , , und . ISED, Seite 1-6. IEEE, (2016)Reversible Circuits: IC/IP Piracy Attacks and Countermeasures., , , , und . IEEE Trans. Very Large Scale Integr. Syst., 27 (11): 2523-2535 (2019)Improved DD-based Equivalence Checking of Quantum Circuits., und . ASP-DAC, Seite 127-132. IEEE, (2020)Modeling and simulation of electrophoretic deposition coatings., , , und . J. Comput. Sci., (2020)Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation., , , , , , und . IEEE Trans. Computers, 69 (6): 856-867 (2020)Optimal Railway Routing Using Virtual Subsections., , , und . RSSRail, Volume 13294 von Lecture Notes in Computer Science, Seite 63-79. Springer, (2022)Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking., , , , , und . ICMLA, Seite 1476-1483. IEEE, (2022)Exact Mapping of Quantum Circuit Partitions to Building Blocks of the SAQIP Architecture., , , und . ISVLSI, Seite 402-405. IEEE, (2022)Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think., , , und . RC, Volume 13354 von Lecture Notes in Computer Science, Seite 93-107. Springer, (2022)