Reversible and Quantum Circuits : Optimization and Complexity Analysis

by Abdessaied, Nabila, Drechsler, Rolf
Published 2016

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

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

Formal System Verification : State-of the-Art and Future Trends

Published 2018

Exact Design of Digital Microfluidic Biochips

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

Natural Language Processing for Electronic Design Automation

Published 2020

Enhanced Virtual Prototyping for Heterogeneous Systems

by Hassan, Muhammad, Große, Daniel, Drechsler, Rolf
Published 2023

Formal Verification of Structurally Complex Multipliers

by Mahzoon, Alireza, Große, Daniel, Drechsler, Rolf
Published 2023

Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test

by Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf
Published 2019

Design Automation for Field-coupled Nanotechnologies

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

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

Published 2016