Folgen
Rolf Drechsler
Rolf Drechsler
Professor at University of Bremen, Director DFKI Bremen, Germany
Bestätigte E-Mail-Adresse bei uni-bremen.de
Titel
Zitiert von
Zitiert von
Jahr
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
4832008
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
397*2006
BDD-based synthesis of reversible logic for large functions
R Wille, R Drechsler
Proceedings of the 46th Annual Design Automation Conference, 270-275, 2009
3872009
Binary decision diagrams: theory and implementation
R Drechsler, B Becker
Springer Science & Business Media, 2013
3182013
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
2761994
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
2122009
Advanced formal verification
R Drechsler
Kluwer Academic Publishers, 2004
2012004
Synthesis of quantum circuits for linear nearest neighbor architectures
M Saeedi, R Wille, R Drechsler
Quantum Information Processing 10, 355-377, 2011
2002011
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
1822010
Binary decision diagrams in theory and practice
R Drechsler, D Sieling
International Journal on Software Tools for Technology Transfer 3, 112-136, 2001
1762001
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
1741996
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
1712002
Multi-objective Optimisation Based on Relation Favour
N Drechsler, R Drechsler, B Becker
Evolutionary Multi-Criterion Optimization: First International Conference …, 2001
1472001
Robust multi-objective optimization in high dimensional spaces
A Sülflow, N Drechsler, R Drechsler
Evolutionary Multi-Criterion Optimization: 4th International Conference, EMO …, 2007
1402007
Implementing a multiple-valued decision diagram package
DM Miller, R Drechsler
Proceedings. 1998 28th IEEE International Symposium on Multiple-Valued Logic …, 1998
1361998
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
1342018
Towards a design flow for reversible logic
R Wille, R Drechsler
Springer Science & Business Media, 2010
1332010
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
1292012
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
1272012
Assisted behavior driven development using natural language processing
M Soeken, R Wille, R Drechsler
Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012
1252012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20