Ich beschäftige mich mit Quantenschaltungen und reversibler Logik. Dabei untersuche ich Datenstrukturen, mit deren Hilfe sich auch größere Funktionen effektiv repräsentieren lassen und die gleichzeitig zur Synthese zugehöriger Schaltungen genutzt werden können.
Empowering the Design of Reversible and Quantum Logic with Decision Diagrams
Template-based mapping of reversible circuits to IBM quantum computers
An Improved Heuristic Technique for Nearest Neighbor Realization of Quantum Circuits in 2D Architecture
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
Near Zero-Energy Computation Using Quantum-dot Cellular Automata
On the complexity of design tasks for Digital Microfluidic Biochips
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
QMDDs: Efficient Quantum Function Representation and Manipulation