Compact Representations for the Design of Quantum Logic

by Niemann, Philipp, Wille, Robert
Published 2017

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2016

Published 2018

Towards a Design Flow for Reversible Logic

by Wille, Robert, Drechsler, Rolf
Published 2010

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

by Seiter, Julia, Wille, Robert, Drechsler, Rolf
Published 2017

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2015

Published 2016

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

by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Published 2018

Exact Design of Digital Microfluidic Biochips

by Keszocze, Oliver, Wille, Robert, Drechsler, Rolf
Published 2019

Introducing Design Automation for Quantum Computing

by Zulehner, Alwin, Wille, Robert
Published 2020

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

Published 2012

Design Automation for Field-coupled Nanotechnologies

by Walter, Marcel, Wille, Robert, Sill Torres, Frank, Drechsler, Rolf
Published 2022

Designing Droplet Microfluidic Networks : A Toolbox for Designers

by Grimmer, Andreas, Wille, Robert
Published 2020