Michael Kirkedal Thomsen

Available identifiers

zbMath Open thomsen.michael-kirkedalWikidataQ71006391 ScholiaQ71006391MaRDI QIDQ1796397

List of research outcomes

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	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	2016-11-09	Paper
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics	2016-09-30	Paper
Initial ideas for automatic design and verification of control logic in reversible HDLs (work in progress report)	2016-08-10	Paper
Garbageless reversible implementation of integer linear transformations	2015-11-30	Paper
Garbage-free reversible integer multiplication with constants of the form \(2^{k}\pm 2^{l}\pm 1\)	2015-11-30	Paper
Self-Inverse Functions and Palindromic Circuits	2015-02-20	Paper
Upper bounds for reversible circuits based on Young subgroups	2014-04-17	Paper
White dots do matter: rewriting reversible logic circuits	2013-12-17	Paper
Strength of the reversible, garbage-free \(2^{k } \pm 1\) multiplier	2013-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5389330	2012-04-26	Paper
Reversible arithmetic logic unit for quantum arithmetic	2010-10-11	Paper
Parallelization of reversible ripple-carry adders	2010-09-29	Paper
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder	2008-12-02	Paper

Research outcomes over time

This page was built for person: Michael Kirkedal Thomsen