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