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

High Performance Simulation for Industrial Paint Shop Applications

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

Design Automation for Field-coupled Nanotechnologies

Compact Representations for the Design of Quantum Logic