| BDD-based synthesis of reversible logic for large functions R Wille, R Drechsler Proceedings of the 46th Annual Design Automation Conference, 270-275, 2009 | 303 | 2009 |
| 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 | 292 | 2008 |
| Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams R Drechsler, A Sarabi, M Theobald, B Becker, MA Perkowski 31st Design Automation Conference, 415-419, 1994 | 260 | 1994 |
| Binary decision diagrams: theory and implementation R Drechsler, B Becker Springer Science & Business Media, 2013 | 256 | 2013 |
| 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 | 172 | 2009 |
| 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 | 159 | 1996 |
| RTL-datapath verification using integer linear programming R Brinkmann, R Drechsler Proceedings of the 2002 Asia and South Pacific Design Automation Conference, 741, 2002 | 152 | 2002 |
| 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 | 147 | 2010 |
| Binary decision diagrams in theory and practice R Drechsler, D Sieling International Journal on Software Tools for Technology Transfer 3 (2), 112-136, 2001 | 144 | 2001 |
| Advanced formal verification R Drechsler Kluwer Academic Publishers, 2004 | 133 | 2004 |
| Multi-objective optimisation based on relation favour N Drechsler, R Drechsler, B Becker International conference on evolutionary multi-criterion optimization, 154-166, 2001 | 122 | 2001 |
| Fast OFDD-based minimization of fixed polarity Reed-Muller expressions R Drechsler, M Theobald, B Becker IEEE Transactions on Computers 45 (11), 1294-1299, 1996 | 115 | 1996 |
| Implementing a multiple-valued decision diagram package DM Miller, R Drechsler Proceedings. 1998 28th IEEE International Symposium on Multiple-Valued Logic …, 1998 | 110 | 1998 |
| Synthesis of quantum circuits for linear nearest neighbor architectures M Saeedi, R Wille, R Drechsler Quantum Information Processing 10 (3), 355-377, 2011 | 105 | 2011 |
| Fast exact minimization of BDDs R Drechsler, N Drechsler, W Gunther Proceedings 1998 Design and Automation Conference. 35th DAC.(Cat. No …, 1998 | 104 | 1998 |
| K* BMDs: A new data structure for verification R Drechsler, B Becker, S Ruppertz Proceedings of the 1996 European conference on Design and Test, 2, 1996 | 104 | 1996 |
| Evolutionary algorithms for VLSI CAD R Drechsler Springer Science & Business Media, 2013 | 103 | 2013 |
| International business and government relations in the 21st century JN Behrman Cambridge University Press, 2005 | 103* | 2005 |
| Towards a design flow for reversible logic R Wille, R Drechsler Springer Science & Business Media, 2010 | 101 | 2010 |
| On acceleration of SAT-based ATPG for industrial designs R Drechsler, S Eggergluss, G Fey, A Glowatz, F Hapke, J Schlöffel, D Tille IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008 | 101 | 2008 |