Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder. - Michael Kirkedal Thomsen; Holger Bock Axelsen (UC, 2008)

Optimized reversible binary-coded decimal adders. - Michael Kirkedal Thomsen; Robert Glück (J. Syst. Archit., 2008)

MicroPower: Towards Low-Power Microprocessors with Reversible Computing. - Holger Bock Axelsen; Robert Glück; Alexis De Vos; Michael Kirkedal Thomsen (ERCIM News, 2009)

Parallelization of Reversible Ripple-Carry Adders. - Michael Kirkedal Thomsen; Holger Bock Axelsen (Parallel Process. Lett., 2009)

Describing and Optimising Reversible Logic Using a Functional Language. - Michael Kirkedal Thomsen (IFL, 2011)

Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits. - Stéphane Burignat; Michael Kirkedal Thomsen; Michal Klimczak; Mariusz Olczak; Alexis De Vos (RC, 2011)

A Reversible Processor Architecture and Its Reversible Logic Design. - Michael Kirkedal Thomsen; Holger Bock Axelsen; Robert Glück (RC, 2011)

A functional language for describing reversible logic. - Michael Kirkedal Thomsen (FDL, 2012)

Cleaning Up: Garbage-Free Reversible Circuits by Design Languages. - Michael Kirkedal Thomsen; Holger Bock Axelsen; Robert Glück (ISED, 2012)

Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1. - Holger Bock Axelsen; Michael Kirkedal Thomsen (RC, 2012)

Garbageless Reversible Implementation of Integer Linear Transformations. - Stéphane Burignat; Kenneth Vermeirsch; Alexis De Vos; Michael Kirkedal Thomsen (RC, 2012)

Reversible Implementation of a Discrete Integer Linear Transformation. - Alexis De Vos; Stéphane Burignat; Michael Kirkedal Thomsen (J. Multiple Valued Log. Soft Comput., 2012)

Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier. - Eva Rotenberg; James Cranch; Michael Kirkedal Thomsen; Holger Bock Axelsen (RC, 2013)

White Dots do Matter: Rewriting Reversible Logic Circuits. - Mathias Soeken; Michael Kirkedal Thomsen (RC, 2013)

Upper bounds for reversible circuits based on Young subgroups. - Nabila Abdessaied; Mathias Soeken; Michael Kirkedal Thomsen; Rolf Drechsler (Inf. Process. Lett., 2014)

Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform. - Alexis De Vos; Stéphane Burignat; Robert Glück; Torben Ægidius Mogensen; Holger Bock Axelsen; Michael Kirkedal Thomsen; Eva Rotenberg; Tetsuo Yokoyama (ACM J. Emerg. Technol. Comput. Syst., 2014)

Interpretation and programming of the reversible functional language RFUN. - Michael Kirkedal Thomsen; Holger Bock Axelsen (IFL, 2015)

Execution Tracing of C Code for Formal Analysis (Extended Abstract). - Heinz Riener; Michael Kirkedal Thomsen; Görschwin Fey (MBMV, 2015)

Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics. - Michael Kirkedal Thomsen; Robin Kaarsgaard; Mathias Soeken (RC, 2015)

Self-Inverse Functions and Palindromic Circuits. - Mathias Soeken; Michael Kirkedal Thomsen; Gerhard W. Dueck; D. Michael Miller (CoRR, 2015)

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 (ISED, 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 (RC, 2016)

Hardness of Deriving Invertible Sequences from Finite State Machines. - Robert M. Hierons; Mohammad Reza Mousavi 001; Michael Kirkedal Thomsen; Uraz Cengiz Türker (SOFSEM, 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)

Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9). - Michael Kirkedal Thomsen; Kazutaka Matsuda; Mohammad Reza Mousavi 001 (NII Shonan Meet. Rep., 2017)

mathsf CoreFun : A Typed Functional Reversible Core Language. - Petur Andrias Højgaard Jacobsen; Robin Kaarsgaard; Michael Kirkedal Thomsen (RC, 2018)

Encryption and Reversible Computations - Work-in-progress Paper. - Dominik Táborský; Ken Friis Larsen; Michael Kirkedal Thomsen (RC, 2018)

Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation. - Markus Schordan; Tomas Oppelstrup; Michael Kirkedal Thomsen; Robert Glück (Selected Results of the COST Action IC1405, 2020)

Branching execution symmetry in Jeopardy by available implicit arguments analysis. - Joachim Tilsted Kristensen; Robin Kaarsgaard; Michael Kirkedal Thomsen (CoRR, 2022)

Tail Recursion Transformation for Invertible Functions. - Joachim Tilsted Kristensen; Robin Kaarsgaard; Michael Kirkedal Thomsen (RC, 2023)

pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation. - Triera Gashi; Sophie Adeline Solheim Bosio; Joachim Tilsted Kristensen; Michael Kirkedal Thomsen (CoRR, 2023)

Design of Reversible Computing Systems; Large Logic, Languages, and Circuits. - Michael Kirkedal Thomsen (CoRR, 2023)

Jeopardy: An Invertible Functional Programming Language. - Joachim Tilsted Kristensen; Robin Kaarsgaard; Michael Kirkedal Thomsen (RC, 2024)

Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. - Lars-Bo Husted Vadgaard; Maja Hanne Kirkeby; Ken Friis Larsen; Michael Kirkedal Thomsen (RC, 2024)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs. - Ján Perhác; Samuel Novotný; Sergej Chodarev; Joachim Tilsted Kristensen; Lars Tveito; Oleks Shturmov; Michael Kirkedal Thomsen (ThEdu@CADE, 2024)