Robert Wille

· 13 obras en el catálogo

Obras

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

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

Automatic Methods for the Refinement of System Models

Designing Droplet Microfluidic Networks

Design Automation for Field-Coupled Nanotechnologies

CCompact Representations for the Design of Quantum Logic

Compact Representations for the Design of Quantum Logic

HHigh Performance Simulation for Industrial Paint Shop Applic

High Performance Simulation for Industrial Paint Shop Applications

EEinführung in Die Designautomatisierung Für Quantencomputer

Einführung in Die Designautomatisierung Für Quantencomputer

EEfficient Implementation of Quantum Circuit Simulation with

Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

NNoise-Aware Quantum Circuit Simulation with Decision Diagram

Noise-Aware Quantum Circuit Simulation with Decision Diagrams