← Back to directory

Rolf Drechsler

Researcher Next ID · RN-000175

Professor · Computer Science

Hochschule Bremen

Bremen, Germany

Not currently recruitingFunding unknown
Works count
1,562
Citation count
17,720
H-index
58
i10-index
461

About

1562 publications and 17,719 citations recorded on OpenAlex.

Research interests

Computer Science
Formal Methods in Verification
VLSI and Analog Circuit Testing
Embedded Systems Design Techniques
Software Testing and Debugging Techniques
Low-power high-performance VLSI design

Publications

  • An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata

    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018 · 10.1109/tcad.2018.2789782

  • Synthesis of quantum circuits for linear nearest neighbor architectures

    Quantum Information Processing · 2010 · 10.1007/s11128-010-0201-2

  • BDD-based synthesis of reversible logic for large functions

    Journal · 2009 · 10.1145/1629911.1629984

  • RevLib: An Online Resource for Reversible Functions and Reversible Circuits

    Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 2008 · 10.1109/ismvl.2008.43

  • Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams

    Journal · 1994 · 10.1145/196244.196444

Current projects

    No projects listed.