H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 59 Citations 12,411 660 World Ranking 1633 National Ranking 62

Research.com Recognitions

Awards & Achievements

2015 - IEEE Fellow For contributions to test and verification of electronic circuits and systems

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algorithm
  • Artificial intelligence

Rolf Drechsler mainly investigates Algorithm, Boolean function, Theoretical computer science, Logic synthesis and Binary decision diagram. His Algorithm study combines topics from a wide range of disciplines, such as Upper and lower bounds, Quantum computer, Quantum gate and Data structure. His research in Boolean function tackles topics such as Representation which are related to areas like Generalization, Influence diagram and Decision tree.

He has included themes like Boolean circuit, Hardware description language and Sequential logic in his Theoretical computer science study. The various areas that he examines in his Logic synthesis study include Toffoli gate, Electronic design automation, Electronic circuit and Computer engineering. His Binary decision diagram study combines topics in areas such as Variable, Discrete mathematics, Exact algorithm, Minification and Quantum logic.

His most cited work include:

  • RevLib: An Online Resource for Reversible Functions and Reversible Circuits (315 citations)
  • BDD-based synthesis of reversible logic for large functions (268 citations)
  • Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams (176 citations)

What are the main themes of his work throughout his whole career to date?

His primary areas of study are Algorithm, Theoretical computer science, Boolean function, Electronic circuit and Formal verification. The concepts of his Algorithm study are interwoven with issues in Automatic test pattern generation and Minification. His biological study spans a wide range of topics, including Representation, Kronecker delta and Data structure.

His Electronic circuit research is multidisciplinary, incorporating elements of Quantum, Quantum computer, Electronic engineering and Computer engineering. His Formal verification research includes themes of Model checking and Formal methods. His Logic synthesis research is included under the broader classification of Logic gate.

He most often published in these fields:

  • Algorithm (26.79%)
  • Theoretical computer science (18.40%)
  • Boolean function (17.69%)

What were the highlights of his more recent work (between 2016-2021)?

  • Electronic circuit (13.91%)
  • Computer engineering (9.92%)
  • Embedded system (7.77%)

In recent papers he was focusing on the following fields of study:

Rolf Drechsler mainly focuses on Electronic circuit, Computer engineering, Embedded system, Programming language and Logic gate. His research in Electronic circuit intersects with topics in CMOS, Quantum, Binary decision diagram, Computation and Topology. His research in Computer engineering focuses on subjects like Field, which are connected to Electronic design automation.

In his work, Formal verification is strongly intertwined with Correctness, which is a subfield of Embedded system. Logic synthesis is the focus of his Logic gate research. His SystemC research is multidisciplinary, incorporating perspectives in Electronic system-level design and verification and Debugging.

Between 2016 and 2021, his most popular works were:

  • An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata (43 citations)
  • Exact routing for micro-electrode-dot-array digital microfluidic biochips (27 citations)
  • Improved synthesis of Clifford+T quantum functionality (21 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algorithm
  • Artificial intelligence

His scientific interests lie mostly in Electronic circuit, Computer engineering, Logic gate, SystemC and Embedded system. His Electronic circuit research incorporates elements of Electronic engineering, CMOS, Electronic design automation, Binary decision diagram and Integrated circuit. Rolf Drechsler has researched Computer engineering in several fields, including Routing and Field.

His Logic gate research is multidisciplinary, relying on both Quantum computer, Adder and Cellular automaton. His Quantum computer research includes elements of Algorithm, Theoretical computer science, Influence diagram and Qubit. His SystemC study also includes fields such as

  • Design space exploration which intersects with area such as Interrupt,
  • Use case that intertwine with fields like Debugging.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Top Publications

RevLib: An Online Resource for Reversible Functions and Reversible Circuits

R. Wille;D. Grosse;L. Teuber;G.W. Dueck.
international symposium on multiple valued logic (2008)

403 Citations

BDD-based synthesis of reversible logic for large functions

Robert Wille;Rolf Drechsler.
design automation conference (2009)

368 Citations

Binary Decision Diagrams: Theory and Implementation

Bernd Becker;Rolf Drechsler.
(2013)

290 Citations

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

R. Drechsler;A. Sarabi;M. Theobald;B. Becker.
design automation conference (1994)

279 Citations

Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques

D. Grosse;R. Wille;G.W. Dueck;R. Drechsler.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2009)

199 Citations

Advanced Formal Verification

Rolf Drechsler.
(2004)

181 Citations

Genetic algorithm for variable ordering of OBDDs

R. Drechsler;B. Becker;N. Gockel.
IEE Proceedings - Computers and Digital Techniques (1996)

176 Citations

Verifying UML/OCL models using Boolean satisfiability

Mathias Soeken;Robert Wille;Mirco Kuhlmann;Martin Gogolla.
design, automation, and test in europe (2010)

173 Citations

RTL-Datapath Verification using Integer Linear Programming

Raik Brinkmann;Rolf Drechsler.
asia and south pacific design automation conference (2002)

170 Citations

Binary decision diagrams in theory and practice

Rolf Drechsler;Detlef Sieling.
International Journal on Software Tools for Technology Transfer (2001)

168 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

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

Contact us

Top Scientists Citing Rolf Drechsler

Robert Wille

Robert Wille

Johannes Kepler University of Linz

Publications: 122

Bernd Becker

Bernd Becker

University of Freiburg

Publications: 70

Tsutomu Sasao

Tsutomu Sasao

Meiji University

Publications: 55

Marek Perkowski

Marek Perkowski

Portland State University

Publications: 50

Masahiro Fujita

Masahiro Fujita

University of Tokyo

Publications: 49

Krishnendu Chakrabarty

Krishnendu Chakrabarty

Duke University

Publications: 37

Frederic T. Chong

Frederic T. Chong

University of Chicago

Publications: 24

Jaakko Astola

Jaakko Astola

Tampere University

Publications: 22

Sudhakar M. Reddy

Sudhakar M. Reddy

University of Iowa

Publications: 22

Tsung-Yi Ho

Tsung-Yi Ho

National Tsing Hua University

Publications: 19

Roderick Bloem

Roderick Bloem

Graz University of Technology

Publications: 19

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 19

Carlos A. Coello Coello

Carlos A. Coello Coello

CINVESTAV

Publications: 16

Randal E. Bryant

Randal E. Bryant

Carnegie Mellon University

Publications: 16

Igor L. Markov

Igor L. Markov

Facebook (United States)

Publications: 16

Something went wrong. Please try again later.