( en | de | ru )

 

Disambiguierung von "Wille, Robert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
QCEC: A JKQ tool for quantum circuit equivalence checking.

, und . Softw. Impacts, (2021)

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.

Robert Wille

Towards a design flow for reversible logic. Uni Bremen, (2009)

Peter Wille

Volker Wille

Egbert Wille

Gerhard Wille

 

Weitere Publikationen von Autoren mit dem selben Namen

An improved gate library for logic synthesis of optical circuits., , , , und . ISED, Seite 1-6. IEEE, (2016)Better Late Than Never : Verification of Embedded Systems After Deployment., , , , und . DATE, Seite 890-895. IEEE, (2019)Verifying the structure and behavior in UML/OCL models using satisfiability solvers., , , und . IET Cyper-Phys. Syst.: Theory & Appl., 1 (1): 49-59 (2016)Reliable quantum circuits have defects., , und . CoRR, (2019)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)An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (7): 1226-1236 (2019)Automated Dimensioning of Networked Labs-on-Chip., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (7): 1216-1225 (2019)Automatic Droplet Sequence Generation for Microfluidic Networks With Passive Droplet Routing., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (2): 387-396 (2020)Improved synthesis of Clifford+T quantum functionality., , und . DATE, Seite 597-600. IEEE, (2018)Equivalence Checking in Multi-level Quantum Systems., , und . RC, Volume 8507 von Lecture Notes in Computer Science, Seite 201-215. Springer, (2014)