( en | de | ru )

 

Disambiguation of "Wille, Robert"

Author of the publication

copydeleteadd this publication to your clipboard
Verification Runtime Analysis: Get the Most Out of Partial Verification.

, , , , and . DATE, page 873-878. IEEE, (2020)

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.

Robert Wille

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

Sandra Wille

Matthias Wille

Nora Wille

Edith Wille

 

Other publications of authors with the same name

Reversible Circuits: IC/IP Piracy Attacks and Countermeasures., , , , and . IEEE Trans. Very Large Scale Integr. Syst., 27 (11): 2523-2535 (2019)Modeling and simulation of electrophoretic deposition coatings., , , and . J. Comput. Sci., (2020)Improved DD-based Equivalence Checking of Quantum Circuits., and . ASP-DAC, page 127-132. IEEE, (2020)Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation., , , , , , and . IEEE Trans. Computers, 69 (6): 856-867 (2020)An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (7): 1226-1236 (2019)Automatic Droplet Sequence Generation for Microfluidic Networks With Passive Droplet Routing., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (2): 387-396 (2020)Automated Dimensioning of Networked Labs-on-Chip., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (7): 1216-1225 (2019)An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37 (12): 3031-3041 (2018)Improved synthesis of Clifford+T quantum functionality., , and . DATE, page 597-600. IEEE, (2018)Equivalence Checking in Multi-level Quantum Systems., , and . RC, volume 8507 of Lecture Notes in Computer Science, page 201-215. Springer, (2014)