2026 Rolf Drechsler: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	67	2184	2117	92	89	1105	18927

Research.com Recognitions

2025 - Research.com Computer Science in Germany Leader Award
2023 - Research.com Computer Science in Germany Leader Award
2022 - Research.com Computer Science in Germany Leader Award
2015 - IEEE Fellow For contributions to test and verification of electronic circuits and systems

Overview

Rolf Drechsler is affiliated with the University of Bremen in Germany. Their research spans multiple areas within computer science and engineering, with a focus on topics related to electronic circuits, formal verification, and computing architectures.

The scientist's publication record includes numerous papers appearing in recognized journals and conferences. Recent papers include:

RISC-V based virtual prototype: An extensible and configurable platform for the system-level (2020), published in Journal of Systems Architecture
RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal (2021), published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Advanced exact synthesis of Clifford+T circuits (2020), published in Quantum Information Processing
The MicroRV32 framework: An accessible and configurable open source RISC-V cross-level platform for education and research (2022), published in Journal of Systems Architecture
IMAGIN: Library of IMPLY and MAGIC NOR-Based Approximate Adders for In-Memory Computing (2022), published in IEEE Journal on Exploratory Solid-State Computational Devices and Circuits

Frequent co-authors collaborating with Drechsler include:

Vladimir Herdt
Chandan Kumar Jha
Kamalika Datta
Sören Tempel
Daniel Große

The scientist has published extensively in the following venues:

arXiv (Cornell University)
Zenodo (CERN European Organization for Nuclear Research)
Journal of Systems Architecture
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ACM Transactions on Design Automation of Electronic Systems

Drechsler's work primarily falls within the broader fields of Computer Science and Engineering. More specific subfields of study include:

Electrical and Electronic Engineering
Artificial Intelligence
Hardware and Architecture
Computational Theory and Mathematics
Software

Their main research topics encompass:

Formal Methods in Verification
Embedded Systems Design Techniques
Advanced Memory and Neural Computing
Ferroelectric and Negative Capacitance Devices
Radiation Effects in Electronics
VLSI and Analog Circuit Testing
Quantum Computing Algorithms and Architecture

In 2015, Rolf Drechsler was named an IEEE Fellow for contributions to test and verification of electronic circuits and systems.

Best Publications

RevLib: An Online Resource for Reversible Functions and Reversible Circuits

R. Wille;D. Grosse;L. Teuber;G.W. Dueck

562
Citations
BDD-based synthesis of reversible logic for large functions

Robert Wille;Rolf Drechsler

406
Citations
Binary Decision Diagrams: Theory and Implementation

Bernd Becker;Rolf Drechsler

310
Citations
Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams

R. Drechsler;A. Sarabi;M. Theobald;B. Becker

288
Citations
Synthesis of quantum circuits for linear nearest neighbor architectures

Mehdi Saeedi;Robert Wille;Rolf Drechsler

234
Citations
Advanced Formal Verification

Rolf Drechsler

232
Citations
Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques

D. Grosse;R. Wille;G.W. Dueck;R. Drechsler

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

Frank Sill Torres;Robert Wille;Philipp Niemann;Rolf Drechsler

217
Citations
Binary decision diagrams in theory and practice

Rolf Drechsler;Detlef Sieling

191
Citations
Verifying UML/OCL models using Boolean satisfiability

Mathias Soeken;Robert Wille;Mirco Kuhlmann;Martin Gogolla

190
Citations
Genetic algorithm for variable ordering of OBDDs

R. Drechsler;B. Becker;N. Gockel

185
Citations
RTL-Datapath Verification using Integer Linear Programming

Raik Brinkmann;Rolf Drechsler

172
Citations
Multi-objective Optimisation Based on Relation Favour

Nicole Drechsler;Rolf Drechsler;Bernd Becker

150
Citations
Robust multi-objective optimization in high dimensional spaces

André Sülflow;Nicole Drechsler;Rolf Drechsler

146
Citations
QMDDs: Efficient Quantum Function Representation and Manipulation

Philipp Niemann;Robert Wille;David Michael Miller;Mitchell A. Thornton

140
Citations
Synthesis of reversible circuits with minimal lines for large functions

Mathias Soeken;Robert Wille;Christoph Hilken;Nils Przigoda

138
Citations
Implementing a multiple-valued decision diagram package

D.M. Miller;R. Drechsler

135
Citations
Fast exact minimization of BDDs

Rolf Drechsler;Nicole Drechsler;Wolfgang Günther

133
Citations
Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits

Robert Wille;Oliver Keszocze;Marcel Walter;Patrick Rohrs

130
Citations
RevKit: A Toolkit for Reversible Circuit Design

Mathias Soeken;Stefan Frehse;Robert Wille;Rolf Drechsler

128
Citations
Fast OFDD-based minimization of fixed polarity Reed-Muller expressions

R. Drechsler;M. Theobald;B. Becker

127
Citations
Applications of Evolutionary Computing - EvoWorkshops 2004: EvoBio, EvoComNet, EvoHOT, EvoIASP, EvoMUSART, EvoSTOC, Coimbra, Portugal

Günther R. Raidl;Stefano Cagnoni;Jürgen Branke;David Wolfe Corne

7
Citations

Frequent Co-Authors

Robert Wille Technical University of Munich

Bernd Becker University of Freiburg

Marek Perkowski Portland State University

Jürgen Branke University of Warwick

Roderick Bloem Graz University of Technology

Krishnendu Chakrabarty Arizona State University

Pierre-Emmanuel Gaillardon University of Utah

Ramesh Karri New York University

Ulf Schlichtmann Technical University of Munich

Anthony Brabazon University College Dublin

External Links

Wikipedia of Rolf Drechsler Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science in the USA also opens doors to several related online degrees and diverse career paths. With technology and science fields rapidly evolving, students often look for flexible and accelerated programs. Those aiming for a fast-track option can consider pursuing an accelerated computer science degree online. These programs are designed for motivated learners who want to quickly gain qualifications and enter the job market.

If your interests intersect with sustainability, you might wonder what can you get with an environmental science degree. This pathway can lead to roles in research, policy, and environmental management. Similarly, those fascinated by the blend of technology and the environment may choose an environmental engineering bachelor's degree online, preparing them for careers in green technology, compliance, or consultation.

Engineering disciplines also offer strong career prospects for tech-minded students. Pursuing an online degree for mechanical engineering can lead to roles in manufacturing, robotics, and product design. No matter your specific interest, studying computer science in the USA can complement these degrees, broadening your professional horizons.