Lars Othmer

An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs

Robert Wille, Rolf Drechsler, Oliver Keszöcze, 2017, J. Low Power Electron..

Generating and checking control logic in the HDL-based design of reversible circuits

Robert Wille, Rolf Drechsler, Oliver Keszöcze, 2016, 2016 Sixth International Symposium on Embedded Computing and System Design (ISED).