Robert Wille
Titel
Geciteerd door
Geciteerd door
Jaar
RevLib: An online resource for reversible functions and reversible circuits
R Wille, D Große, L Teuber, GW Dueck, R Drechsler
38th International Symposium on Multiple Valued Logic (ismvl 2008), 220-225, 2008
4152008
BDD-based synthesis of reversible logic for large functions
R Wille, R Drechsler
Proceedings of the 46th Annual Design Automation Conference, 270-275, 2009
3662009
Exact multiple-control Toffoli network synthesis with SAT techniques
D Große, R Wille, GW Dueck, R Drechsler
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009
245*2009
An efficient methodology for mapping quantum circuits to the IBM QX architectures
A Zulehner, A Paler, R Wille
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
2032018
Verifying UML/OCL models using Boolean satisfiability
M Soeken, R Wille, M Kuhlmann, M Gogolla, R Drechsler
Proceedings of the Conference on Design, Automation and Test in Europe, 1341 …, 2010
1732010
Synthesis of quantum circuits for linear nearest neighbor architectures
M Saeedi, R Wille, R Drechsler
Quantum Information Processing 10 (3), 355-377, 2011
1662011
Elementary quantum gate realizations for multiple-control Toffoli gates
DM Miller, R Wille, Z Sasanian
2011 41st IEEE International Symposium on Multiple-Valued Logic, 288-293, 2011
1612011
Synthesis of reversible circuits with minimal lines for large functions
M Soeken, R Wille, C Hilken, N Przigoda, R Drechsler
17th Asia and South Pacific Design Automation Conference, 85-92, 2012
1252012
Towards a design flow for reversible logic
R Wille, R Drechsler
Springer Science & Business Media, 2010
1212010
RevKit: A Toolkit for Reversible Circuit Design.
M Soeken, S Frehse, R Wille, R Drechsler
J. Multiple Valued Log. Soft Comput. 18 (1), 55-65, 2012
1192012
Assisted behavior driven development using natural language processing
M Soeken, R Wille, R Drechsler
International Conference on Modelling Techniques and Tools for Computer …, 2012
1062012
Equivalence checking of reversible circuits
R Wille, D Große, DM Miller, R Drechsler
2009 39th International Symposium on Multiple-Valued Logic, 324-330, 2009
922009
Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits
R Wille, O Keszocze, M Walter, P Rohrs, A Chattopadhyay, R Drechsler
2016 21st Asia and South Pacific design automation conference (ASP-DAC), 292-297, 2016
912016
RevKit: An open source toolkit for the design of reversible circuits
M Soeken, S Frehse, R Wille, R Drechsler
International Workshop on Reversible Computation, 64-76, 2011
822011
Reducing reversible circuit cost by adding lines
DM Miller, R Wille, R Drechsler
2010 40th IEEE International Symposium on Multiple-Valued Logic, 217-222, 2010
822010
Verifying dynamic aspects of UML models
M Soeken, R Wille, R Drechsler
2011 Design, Automation & Test in Europe, 1-6, 2011
772011
Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits
A Lye, R Wille, R Drechsler
The 20th Asia and South Pacific Design Automation Conference, 178-183, 2015
762015
QMDDs: Efficient quantum function representation and manipulation
P Niemann, R Wille, DM Miller, MA Thornton, R Drechsler
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2015
722015
Exact reordering of circuit lines for nearest neighbor quantum architectures
R Wille, A Lye, R Drechsler
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2014
722014
Realizing reversible circuits using a new class of quantum gates
Z Sasanian, R Wille, DM Miller
DAC Design Automation Conference 2012, 36-41, 2012
712012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20