( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Equivalence Checking in Multi-level Quantum Systems.

, , и . RC, том 8507 из Lecture Notes in Computer Science, стр. 201-215. Springer, (2014)

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.

Robert Wille

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

Edith Wille

Günther Wille

Sandra Wille

Matthias Wille

 

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

Using DDs for Nearest Neighbor Optimization of Quantum Circuits., , , , и . RC, том 9720 из Lecture Notes in Computer Science, стр. 181-196. Springer, (2016)An improved gate library for logic synthesis of optical circuits., , , , и . ISED, стр. 1-6. IEEE, (2016)Better Late Than Never : Verification of Embedded Systems After Deployment., , , , и . DATE, стр. 890-895. IEEE, (2019)Improved DD-based Equivalence Checking of Quantum Circuits., и . ASP-DAC, стр. 127-132. IEEE, (2020)Reversible Circuits: IC/IP Piracy Attacks and Countermeasures., , , , и . IEEE Trans. Very Large Scale Integr. Syst., 27 (11): 2523-2535 (2019)Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation., , , , , , и . IEEE Trans. Computers, 69 (6): 856-867 (2020)Modeling and simulation of electrophoretic deposition coatings., , , и . J. Comput. Sci., (2020)Improved synthesis of Clifford+T quantum functionality., , и . DATE, стр. 597-600. IEEE, (2018)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)