Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

Towards a Design Flow for Reversible Logic

Designing Droplet Microfluidic Networks: A Toolbox for Designers

Introducing Design Automation for Quantum Computing

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

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

Compact Representations for the Design of Quantum Logic