Michael Kirkedal Thomsen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Exploring the energy overhead of reversible programs executed on irreversible hardware	2024-11-13	Paper
Jeopardy: an invertible functional programming language	2024-11-13	Paper
Tail recursion transformation for invertible functions Reversible Computation	2024-01-11	Paper
\(\mathsf{CoreFun}\): a typed functional reversible core language	2018-10-17	Paper
Encryption and reversible computations. Work-in-progress paper	2018-10-17	Paper
Describing and Optimising Reversible Logic Using a Functional Language Implementation and Application of Functional Languages	2016-11-09	Paper
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics Reversible Computation	2016-09-30	Paper
Initial ideas for automatic design and verification of control logic in reversible HDLs (work in progress report) Reversible Computation	2016-08-10	Paper
Garbageless reversible implementation of integer linear transformations Reversible Computation	2015-11-30	Paper
Garbage-free reversible integer multiplication with constants of the form \(2^{k}\pm 2^{l}\pm 1\) Reversible Computation	2015-11-30	Paper
Self-Inverse Functions and Palindromic Circuits	2015-02-20	Paper
Upper bounds for reversible circuits based on Young subgroups Information Processing Letters	2014-04-17	Paper
White dots do matter: rewriting reversible logic circuits Reversible Computation	2013-12-17	Paper
Strength of the reversible, garbage-free \(2^{k } \pm 1\) multiplier Reversible Computation	2013-12-17	Paper
scientific article; zbMATH DE number 6028107 (Why is no real title available?)	2012-04-26	Paper
Reversible arithmetic logic unit for quantum arithmetic Journal of Physics A: Mathematical and Theoretical	2010-10-11	Paper
Parallelization of reversible ripple-carry adders Parallel Processing Letters	2010-09-29	Paper
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder Unconventional Computing	2008-12-02	Paper

Research outcomes over time

This page was built for person: Michael Kirkedal Thomsen