Designing Droplet Microfluidic Networks : A Toolbox for Designers

by Grimmer, Andreas, Wille, Robert
Published 2020

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 2016

Published 2018

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

Introducing Design Automation for Quantum Computing

by Zulehner, Alwin, Wille, Robert
Published 2020

Design Automation for Field-coupled Nanotechnologies

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

Exact Design of Digital Microfluidic Biochips

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

Towards a Design Flow for Reversible Logic

by Wille, Robert, Drechsler, Rolf
Published 2010