Robert Wille

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

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

Exact Design of Digital Microfluidic Biochips

Introducing Design Automation for Quantum Computing

Designing Droplet Microfluidic Networks: A Toolbox for Designers

Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

Compact Representations for the Design of Quantum Logic

Design Automation Tools and Software for Quantum Computing: Inside the Munich Quantum Toolkit

Noise-Aware Quantum Circuit Simulation with Decision Diagrams

Design Automation for Field-coupled Nanotechnologies

Towards a Design Flow for Reversible Logic