Michael Kirkedal Thomsen

Available identifiers

Publication	Date of Publication	Type
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	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 ±2 l ±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
Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier	2013-12-17	Paper
White Dots do Matter: Rewriting Reversible Logic Circuits	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Kirkedal Thomsen