Robert Wille
13 works on record
Works
Towards a design flow for reversible logic
Languages, Design Methods, and Tools for Electronic System Design
Exact Design of Digital Microfluidic Biochips
Introducing Design Automation for Quantum Computing
Automatic Methods for the Refinement of System Models
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Designing Droplet Microfluidic Networks
Compact Representations for the Design of Quantum Logic
High Performance Simulation for Industrial Paint Shop Applications
Design Automation for Field-Coupled Nanotechnologies
Einführung in Die Designautomatisierung Für Quantencomputer
Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams
Noise-Aware Quantum Circuit Simulation with Decision Diagrams