×
Compute Distance To:
Author ID: drechsler.rolf Recent zbMATH articles by "Drechsler, Rolf"
Published as: Drechsler, Rolf; Drechsler, R.
External Links: ORCID · dblp

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 95 times in 82 Documents Cited by Year
Synthesis of quantum circuits for linear nearest neighbor architectures. Zbl 1216.81052
Saeedi, Mehdi; Wille, Robert; Drechsler, Rolf
17
2011
Binary decision diagrams in theory and practice. Zbl 1002.68583
Drechsler, Rolf; Sieling, Detlef
7
2001
Towards a design flow for reversible logic. Zbl 1210.94123
Wille, Robert; Drechsler, Rolf
6
2010
Reducing the depth of quantum circuits using additional circuit lines. Zbl 1406.68023
Abdessaied, Nabila; Wille, Robert; Soeken, Mathias; Drechsler, Rolf
6
2013
Complexity of reversible circuits and their quantum implementations. Zbl 1335.68093
Abdessaied, Nabila; Amy, Matthew; Drechsler, Rolf; Soeken, Mathias
5
2016
Upper bounds for reversible circuits based on Young subgroups. Zbl 1285.94134
Abdessaied, Nabila; Soeken, Mathias; Thomsen, Michael Kirkedal; Drechsler, Rolf
4
2014
Fast OFDD-based minimization of fixed polarity Reed-Muller expressions. Zbl 1057.94520
Drechsler, Rolf; Theobald, Michael
4
1996
On the relation between BDDs and FDDs. Zbl 0839.68022
Becker, Bernd; Drechsler, Rolf; Werchner, Ralph
4
1995
Mapping NCV circuits to optimized Clifford\(+T\) circuits. Zbl 1417.94132
Miller, D. Michael; Soeken, Mathias; Drechsler, Rolf
4
2014
Ancilla-free synthesis of large reversible functions using binary decision diagrams. Zbl 1336.68310
Soeken, Mathias; Tague, Laura; Dueck, Gerhard W.; Drechsler, Rolf
3
2016
Satisfiability problems for OFDDs. Zbl 0849.68057
Werchner, Ralph; Harich, Thilo; Drechsler, Rolf; Becker, Bernd
3
1996
Debugging design errors by using unsatisfiable cores. Zbl 1156.68315
Sülflow, Andre; Fey, Görschwin; Bloem, Roderick; Drechsler, Rolf
3
2008
Weighted \(A^*\) search - unifying view and application. Zbl 1194.68207
Ebendt, Rüdiger; Drechsler, Rolf
3
2009
Encoding OCL data types for SAT-based verification of UML/OCL models. Zbl 1335.68070
Soeken, Mathias; Wille, Robert; Drechsler, Rolf
3
2011
Pseudo-Kronecker expressions for symmetric functions. Zbl 1391.94910
Drechsler, Rolf
2
1999
Crossing reduction by windows optimization. Zbl 1037.68583
Eschbach, Thomas; Günther, Wolfgang; Drechsler, Rolf; Becker, Bernd
2
2002
Advanced formal verification. Zbl 1071.68060
2
2004
Graph-based function representation. Boolean and pseudo-boolean functions. (Graphenbasierte Funktionsdarstellung. Boolesche und Pseudo-Boolesche Funktionen.) Zbl 0914.06004
Drechsler, Rolf; Becker, Bernd
2
1998
Exploiting negative control lines in the optimization of reversible circuits. Zbl 1406.68024
Datta, Kamalika; Rathi, Gaurav; Wille, Robert; Sengupta, Indranil; Rahaman, Hafizur; Drechsler, Rolf
2
2013
OKFDDs versus OBDDs and OFDDs. Zbl 1412.68046
Becker, Bernd; Drechsler, Rolf; Theobald, Michael
1
1995
Multi-objective synthesis of quantum circuits using Genetic Programming. Zbl 06957267
Sarvaghad-Moghaddam, Moein; Niemann, Philipp; Drechsler, Rolf
1
2018
Property checking of quantum circuits using quantum multiple-valued decision diagrams. Zbl 1451.68179
Seiter, Julia; Soeken, Mathias; Wille, Robert; Drechsler, Rolf
1
2013
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level. Zbl 1291.81113
Wille, Robert; Lye, Aaron; Drechsler, Rolf
1
2014
Polynomial formal verification of multipliers. Zbl 1033.68075
Keim, Martin; Drechsler, Rolf; Becker, Bernd; Martin, Michael; Molitor, Paul
1
2003
GAME-HDL: Implementation of evolutionary algorithms using hardware description languages. Zbl 1033.68621
Drechsler, Rolf; Drechsler, Nicole
1
2003
Robustness and usability in modern design flows. Zbl 1198.93002
Fey, Görschwin; Drechsler, Rolf
1
2008
Minimization of free BDDs. Zbl 1009.68199
Günther, Wolfgang; Drechsler, Rolf
1
2002
Verifying integrity of decision diagrams. Zbl 1011.68151
Drechsler, Rolf
1
2002
Formal verification of circuits. Zbl 1062.68076
Drechsler, Rolf
1
2000
Exact synthesis of elementary quantum gate circuits. Zbl 1236.94098
Große, Daniel; Wille, Robert; Dueck, Gerhard W.; Drechsler, Rolf
1
2009
Quantum circuit optimization by Hadamard gate reduction. Zbl 1417.81077
Abdessaied, Nabila; Soeken, Mathias; Drechsler, Rolf
1
2014
On the computational power of linearly transformed BDDs. Zbl 1338.68073
Günther, Wolfgang; Drechsler, Rolf
1
2000
Multi-objective synthesis of quantum circuits using Genetic Programming. Zbl 06957267
Sarvaghad-Moghaddam, Moein; Niemann, Philipp; Drechsler, Rolf
1
2018
Complexity of reversible circuits and their quantum implementations. Zbl 1335.68093
Abdessaied, Nabila; Amy, Matthew; Drechsler, Rolf; Soeken, Mathias
5
2016
Ancilla-free synthesis of large reversible functions using binary decision diagrams. Zbl 1336.68310
Soeken, Mathias; Tague, Laura; Dueck, Gerhard W.; Drechsler, Rolf
3
2016
Upper bounds for reversible circuits based on Young subgroups. Zbl 1285.94134
Abdessaied, Nabila; Soeken, Mathias; Thomsen, Michael Kirkedal; Drechsler, Rolf
4
2014
Mapping NCV circuits to optimized Clifford\(+T\) circuits. Zbl 1417.94132
Miller, D. Michael; Soeken, Mathias; Drechsler, Rolf
4
2014
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level. Zbl 1291.81113
Wille, Robert; Lye, Aaron; Drechsler, Rolf
1
2014
Quantum circuit optimization by Hadamard gate reduction. Zbl 1417.81077
Abdessaied, Nabila; Soeken, Mathias; Drechsler, Rolf
1
2014
Reducing the depth of quantum circuits using additional circuit lines. Zbl 1406.68023
Abdessaied, Nabila; Wille, Robert; Soeken, Mathias; Drechsler, Rolf
6
2013
Exploiting negative control lines in the optimization of reversible circuits. Zbl 1406.68024
Datta, Kamalika; Rathi, Gaurav; Wille, Robert; Sengupta, Indranil; Rahaman, Hafizur; Drechsler, Rolf
2
2013
Property checking of quantum circuits using quantum multiple-valued decision diagrams. Zbl 1451.68179
Seiter, Julia; Soeken, Mathias; Wille, Robert; Drechsler, Rolf
1
2013
Synthesis of quantum circuits for linear nearest neighbor architectures. Zbl 1216.81052
Saeedi, Mehdi; Wille, Robert; Drechsler, Rolf
17
2011
Encoding OCL data types for SAT-based verification of UML/OCL models. Zbl 1335.68070
Soeken, Mathias; Wille, Robert; Drechsler, Rolf
3
2011
Towards a design flow for reversible logic. Zbl 1210.94123
Wille, Robert; Drechsler, Rolf
6
2010
Weighted \(A^*\) search - unifying view and application. Zbl 1194.68207
Ebendt, Rüdiger; Drechsler, Rolf
3
2009
Exact synthesis of elementary quantum gate circuits. Zbl 1236.94098
Große, Daniel; Wille, Robert; Dueck, Gerhard W.; Drechsler, Rolf
1
2009
Debugging design errors by using unsatisfiable cores. Zbl 1156.68315
Sülflow, Andre; Fey, Görschwin; Bloem, Roderick; Drechsler, Rolf
3
2008
Robustness and usability in modern design flows. Zbl 1198.93002
Fey, Görschwin; Drechsler, Rolf
1
2008
Advanced formal verification. Zbl 1071.68060
2
2004
Polynomial formal verification of multipliers. Zbl 1033.68075
Keim, Martin; Drechsler, Rolf; Becker, Bernd; Martin, Michael; Molitor, Paul
1
2003
GAME-HDL: Implementation of evolutionary algorithms using hardware description languages. Zbl 1033.68621
Drechsler, Rolf; Drechsler, Nicole
1
2003
Crossing reduction by windows optimization. Zbl 1037.68583
Eschbach, Thomas; Günther, Wolfgang; Drechsler, Rolf; Becker, Bernd
2
2002
Minimization of free BDDs. Zbl 1009.68199
Günther, Wolfgang; Drechsler, Rolf
1
2002
Verifying integrity of decision diagrams. Zbl 1011.68151
Drechsler, Rolf
1
2002
Binary decision diagrams in theory and practice. Zbl 1002.68583
Drechsler, Rolf; Sieling, Detlef
7
2001
Formal verification of circuits. Zbl 1062.68076
Drechsler, Rolf
1
2000
On the computational power of linearly transformed BDDs. Zbl 1338.68073
Günther, Wolfgang; Drechsler, Rolf
1
2000
Pseudo-Kronecker expressions for symmetric functions. Zbl 1391.94910
Drechsler, Rolf
2
1999
Graph-based function representation. Boolean and pseudo-boolean functions. (Graphenbasierte Funktionsdarstellung. Boolesche und Pseudo-Boolesche Funktionen.) Zbl 0914.06004
Drechsler, Rolf; Becker, Bernd
2
1998
Fast OFDD-based minimization of fixed polarity Reed-Muller expressions. Zbl 1057.94520
Drechsler, Rolf; Theobald, Michael
4
1996
Satisfiability problems for OFDDs. Zbl 0849.68057
Werchner, Ralph; Harich, Thilo; Drechsler, Rolf; Becker, Bernd
3
1996
On the relation between BDDs and FDDs. Zbl 0839.68022
Becker, Bernd; Drechsler, Rolf; Werchner, Ralph
4
1995
OKFDDs versus OBDDs and OFDDs. Zbl 1412.68046
Becker, Bernd; Drechsler, Rolf; Theobald, Michael
1
1995
all top 5

Cited by 165 Authors

8 Drechsler, Rolf
7 Soeken, Mathias
6 Wille, Robert
4 Dueck, Gerhard W.
4 Lye, Aaron
3 Löbbing, Martin
3 Miller, D. Michael
3 Wegener, Ingo
3 Zakablukov, Dmitry V.
2 Abdessaied, Nabila
2 Ahmad, Imtiaz
2 AlFailakawi, Mohammad
2 AlTerkawi, Laila
2 Axelsen, Holger Bock
2 Becker, Bernd
2 Bollig, Beate
2 Cheng, Xueyun
2 De Micheli, Giovanni
2 Dhanalakshmi, Samiappan
2 Ehlers, Rüdiger
2 Gayathri, S. S.
2 Glück, Robert
2 Guan, Zhijin
2 Haghparast, Majid
2 Hamdan, Suha
2 Kaarsgaard, Robin
2 Kaushik, Brajesh Kumar
2 Kreowski, Hans-Jörg
2 Kumar, Preethika
2 Meuli, Giulia
2 Riener, Heinz
2 Schmitt, Bruno V.
2 Sieling, Detlef
2 Yokoyama, Tetsuo
1 Achour, Benslama
1 Amy, Matthew
1 Arabzadeh, Mona
1 Ayyoub, Slimani
1 Bäckström, Christer
1 Barán, Benjamin
1 Basak, Anirban
1 Baudoui, Vincent
1 Bauer, Hartwig
1 Beer, Ilan
1 Ben-David, Shoham
1 Bernasconi, Anna
1 Bherer, Hans
1 Bjørner, Nikolaj S.
1 Bolhassani, Ali
1 Bryant, Randal E.
1 Cheremisinova, L. D.
1 Childs, Andrew M.
1 Chockler, Hana
1 Ciriani, Valentina
1 Clavel, Renaud
1 da Silva, Alexandre César Rodrigues
1 Das, Kunal
1 Datta, Kamalika
1 de Almeida, Alexandre A. A.
1 De Vos, Alexis
1 Desharnais, Jules
1 Ding, Weiping
1 Figueiredo, Celina M. H.
1 Formanowicz, Piotr
1 Garigipati, Rudrayya Chowdary
1 Gentilini, Raffaella
1 Gröpl, Clemens
1 Große, Daniel
1 Gu, Tianlong
1 Harrigan, Martin
1 Harris, H. Rusty
1 Healy, Patrick
1 Inoue, Yuma
1 Jonsson, Peter A.
1 Joy, Dintomon
1 K. V., Adwaith
1 Kanayama, Chishun
1 Karakose, Mehmet
1 Kaufmann, Petra
1 Kolahdouz-Rahimi, Shekoufeh
1 Kole, Abhoy
1 Kramer, Oliver
1 Kronegger, Martin
1 Kuntz, Pascale
1 Kuske, Sabine
1 Lago, Lorenzo
1 Lano, Kevin
1 Lehn, Rémi
1 Levatich, Maxwell
1 Leveugle, Régis
1 Liang, Jiayu
1 Liffiton, Mark H.
1 Lijzenga, Oebele
1 Liu, Junyi
1 Liu, Yang
1 Lopes, Nuno P.
1 M., Sabir
1 Ma, Haiying
1 Mahzoon, Alireza
1 Marquezino, F. L.
...and 65 more Authors

Citations by Year