Robert Wille – författare

Exact Design of Digital Microfluidic Biochips

Designing Droplet Microfluidic Networks

A Toolbox for Designers

Designing Droplet Microfluidic Networks

A Toolbox for Designers

Introducing Design Automation for Quantum Computing

Introducing Design Automation for Quantum Computing

High Performance Simulation for Industrial Paint Shop Applications

High Performance Simulation for Industrial Paint Shop Applications

Design Automation for Field-coupled Nanotechnologies

Design Automation for Field-coupled Nanotechnologies

Einführung in die Entwurfsautomatisierung für Quantencomputer

Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

Noise-Aware Quantum Circuit Simulation with Decision Diagrams

Noise-Aware Quantum Circuit Simulation with Decision Diagrams

Design Automation Tools and Software for Quantum Computing

Inside the Munich Quantum Toolkit

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2015

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2016

Compact Representations for the Design of Quantum Logic

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

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2015

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2016

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

Exact Design of Digital Microfluidic Biochips

Reversible Computation

Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers

Towards a Design Flow for Reversible Logic