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 | 590 | 2008 |
BDD-based synthesis of reversible logic for large functions R Wille, R Drechsler Proceedings of the 46th Annual Design Automation Conference, 270-275, 2009 | 418 | 2009 |
Binary decision diagrams: theory and implementation R Drechsler, B Becker Springer Science & Business Media, 2013 | 351 | 2013 |
Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams R Drechsler, A Sarabi, M Theobald, B Becker, MA Perkowski Proceedings of the 31st annual Design Automation Conference, 415-419, 1994 | 298 | 1994 |
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006 | 266* | 2006 |
Advanced formal verification R Drechsler | 241 | 2004 |
Synthesis of quantum circuits for linear nearest neighbor architectures M Saeedi, R Wille, R Drechsler Quantum Information Processing 10, 355-377, 2011 | 233 | 2011 |
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 | 224 | 2009 |
An energy-aware model for the logic synthesis of quantum-dot cellular automata FS Torres, R Wille, P Niemann, R Drechsler IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 208 | 2018 |
Binary decision diagrams in theory and practice R Drechsler, D Sieling International Journal on Software Tools for Technology Transfer 3, 112-136, 2001 | 188 | 2001 |
Verifying UML/OCL models using Boolean satisfiability M Soeken, R Wille, M Kuhlmann, M Gogolla, R Drechsler 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010 | 186 | 2010 |
Genetic algorithm for variable ordering of OBDDs R Drechsler, B Becker, N Göckel IEE Proceedings-Computers and Digital Techniques 143 (6), 364-368, 1996 | 179 | 1996 |
RTL-datapath verification using integer linear programming R Brinkmann, R Drechsler Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design …, 2002 | 172 | 2002 |
Multi-objective Optimisation Based on Relation Favour N Drechsler, R Drechsler, B Becker International conference on evolutionary multi-criterion optimization, 154-166, 2001 | 155 | 2001 |
Robust multi-objective optimization in high dimensional spaces A Sülflow, N Drechsler, R Drechsler Evolutionary Multi-Criterion Optimization: 4th International Conference, EMO …, 2007 | 151 | 2007 |
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 | 145 | 2015 |
Assisted behavior driven development using natural language processing M Soeken, R Wille, R Drechsler Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012 | 143 | 2012 |
Towards a design flow for reversible logic R Wille, R Drechsler Springer Science & Business Media, 2010 | 143 | 2010 |
Implementing a multiple-valued decision diagram package DM Miller, R Drechsler Proceedings. 1998 28th IEEE International Symposium on Multiple-Valued Logic …, 1998 | 143 | 1998 |
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 | 139 | 2012 |