Ich konzentriere mich auf die Forschung im Bereich der reversiblen Logik, welche vielversprechende Anwendungen z.B. im Low-Power Design oder für Quantenschaltkreise bietet. Bis heute existiert hierzu noch kein durchgängiger Entwurfsablauf - das muss sich ändern. Dabei betrachte ich insbesondere Aspekte wie Synthese, Verifikation und Diagnose reversibler Schaltungen. Darüber hinaus versuche ich existierende SAT- und SMT-Beweiser zu verbessern sowie sie effizient in Gebieten wie der formalen Hardware Verifikation anzuwenden.
Design Automation for Field-coupled Nanotechnologies
Exact Design of Digital Microfluidic Biochips
Automatic Methods for the Refinement of System Models
Languages, Design Methods, and Tools for Electronic System Design
Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen
Auf dem Weg zum Quantencomputer - Entwurf reversibler Logik
Towards a Design Flow for Reversible Logic
Empowering the Design of Reversible and Quantum Logic with Decision Diagrams
Automatic Design of Microfluidic
Devices: An Overview of Platforms
and Corresponding Design Tasks
An Efficient Nearest Neighbor Design for 2D Quantum Circuits
On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study
Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
Formal Specification Level
SyReC: A Programming Language for Synthesis of Reversible Circuits
SMT-based Stimuli Generation in the SystemC Verification Library
Synthesis of Boolean Functions in Reversible Logic
Ein Entwurfsablauf für Reversible Schaltkreise
Debugging Contradictory Constraints in Constraint-based Random Simulation
SWORD: A SAT like Prover Using Word Level Information
An ant colony based mapping of quantum circuits to nearest neighbor architectures
On the Difficulty of Inserting Trojans in Reversible Computing Architectures
Improving the Designs of Nearest Neighbor Quantum Circuits for 1D and 2D Architectures
Advanced Exact Synthesis of Clifford+T Circuits
Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation
On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
Reversible Circuits: IC/IP Piracy Attacksand Countermeasures
Near Zero-Energy Computation Using Quantum-dot Cellular Automata
Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete
Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements 
Synthesis of optical circuits using binary decision diagrams
Towards a Verification Flow Across Abstraction Levels:
Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers
Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits
Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability
Analyzing Inconsistencies in UML/OCL Models
SyReC: A Hardware Description Language for the Specification and Synthesis of Reversible Circuits
Scalable One-Pass Synthesis for Digital Microfluidic Biochips
QMDDs: Efficient Quantum Function Representation and Manipulation
Embedding of Large Boolean Functions for Reversible Logic
Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures
Special Issue on Reversible Computation
Formale Verifikation von UML-basierten Spezifikationen, Prüfung der Korrektheit von Systementwürfen vor deren Implementierung
Considering Nearest Neighbor Constraints of Quantum Circuits at the Reversible Circuit Level
Trading Off Circuit Lines and Gate Costs in the Synthesis of Reversible Logic
Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits
RevKit: An Open Source Toolkit for the Design of Reversible Circuits
Special Issue on Reversible Computation
RevKit: A Toolkit for Reversible Circuit Design
Synthesis of Quantum Circuits for Linear Nearest Neighbor Architectures
Debugging Reversible Circuits
BDD-Based Synthesis of Reversible Logic 
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
Synthese reversibler Logik
Exact Synthesis of Elementary Quantum Gate Circuits
Exact Multiple Control Toffoli Network Synthesis with SAT Techniques
Building Free Binary Decision Diagrams Using SAT Solvers