Reversible and Quantum Circuits : Optimization and Complexity Analysis

by Abdessaied, Nabila, Drechsler, Rolf
Published 2016

Advanced Logic Synthesis

Published 2018

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

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

Recent Findings in Boolean Techniques : Selected Papers from the 14th International Workshop on Boolean Problems

Published 2021

Exact Design of Digital Microfluidic Biochips

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

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

Published 2018

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

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

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes : Better Early than Never

by Pieper, Pascal, Drechsler, Rolf
Published 2024

Natural Language Processing for Electronic Design Automation

Published 2020

In-Memory Computing : Synthesis and Optimization

by Shirinzadeh, Saeideh, Drechsler, Rolf
Published 2020

Enhanced Virtual Prototyping for Heterogeneous Systems

by Hassan, Muhammad, 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

Formal Verification of Structurally Complex Multipliers

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

Information Storage : A Multidisciplinary Perspective

Published 2020

Design Automation for Field-coupled Nanotechnologies

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

Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques

by Huhn, Sebastian, Drechsler, Rolf
Published 2021

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

Published 2016

Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems

Published 2020

Enhanced Virtual Prototyping : Featuring RISC-V Case Studies

by Herdt, Vladimir, Große, Daniel, Drechsler, Rolf
Published 2021

Formal Modeling and Verification of Cyber-Physical Systems : 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Published 2015