Towards a Design Flow for Reversible Logic

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Design Automation for Field-coupled Nanotechnologies

Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

Designing Droplet Microfluidic Networks: A Toolbox for Designers

Introducing Design Automation for Quantum Computing

Noise-Aware Quantum Circuit Simulation with Decision Diagrams

Compact Representations for the Design of Quantum Logic