Login / Signup
Lars Othmer
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 3
Top Topics
Markov Chain
Hardware Description Language
Intelligent Control
Multi Valued
Top Venues
ISED
RC
J. Low Power Electron.
</>
Publications
</>
Robert Wille
,
Oliver Keszöcze
,
Lars Othmer
,
Michael Kirkedal Thomsen
,
Rolf Drechsler
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs.
J. Low Power Electron.
13 (4) (2017)
Robert Wille
,
Oliver Keszöcze
,
Lars Othmer
,
Michael Kirkedal Thomsen
,
Rolf Drechsler
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report.
RC
(2016)
Robert Wille
,
Oliver Keszöcze
,
Lars Othmer
,
Michael Kirkedal Thomsen
,
Rolf Drechsler
Generating and checking control logic in the HDL-based design of reversible circuits.
ISED
(2016)