Towards a Design Flow for Reversible Logic

Exact Design of Digital Microfluidic Biochips

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

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