Lars Othmer

According to our database, Lars Othmer authored at least 3 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler

J. Low Power Electron., 2017

2016

Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report.

Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler

Proceedings of the Reversible Computation - 8th International Conference, 2016

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

Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler

Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 2016