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.
