| 2026 | RC | Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation. | Joachim Tilsted Kristensen, Triera Gashi, Michael Kirkedal Thomsen |
| 2026 | VEHITS | Providing Secure Information Exchange for Transportation Management in a Decentralised Platform. | David Gray Marchant, Tim Clausing, Victor Tvrdy, Arne Lamm, Wonhee Lee, Falk Bethke, Oliver Steensen-Bech Haagh, Michael Kirkedal Thomsen, Kamer Kaya, Cansu Tanrikulu |
| 2024 | RC | Jeopardy: An Invertible Functional Programming Language. | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
| 2024 | RC | Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. | Lars-Bo Husted Vadgaard, Maja Hanne Kirkeby, Ken Friis Larsen, Michael Kirkedal Thomsen |
| 2023 | RC | Tail Recursion Transformation for Invertible Functions. | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
| 2018 | RC | \mathsf CoreFun : A Typed Functional Reversible Core Language. | Petur Andrias Hjgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
| 2018 | RC | Encryption and Reversible Computations - Work-in-progress Paper. | Dominik Tborsk, Ken Friis Larsen, Michael Kirkedal Thomsen |
| 2017 | SOFSEM | Hardness of Deriving Invertible Sequences from Finite State Machines. | Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Trker |
| 2016 | RC | Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report. | Robert Wille, Oliver Keszcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler |
| 2015 | RC | Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics. | Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken |
| 2013 | RC | Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier. | Eva Rotenberg, James Cranch, Michael Kirkedal Thomsen, Holger Bock Axelsen |
| 2013 | RC | White Dots do Matter: Rewriting Reversible Logic Circuits. | Mathias Soeken, Michael Kirkedal Thomsen |
| 2012 | FDL | A functional language for describing reversible logic. | Michael Kirkedal Thomsen |
| 2012 | RC | Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 | Holger Bock Axelsen, Michael Kirkedal Thomsen |
| 2012 | RC | Garbageless Reversible Implementation of Integer Linear Transformations. | Stphane Burignat, Kenneth Vermeirsch, Alexis De Vos, Michael Kirkedal Thomsen |
| 2011 | RC | Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits. | Stphane Burignat, Michael Kirkedal Thomsen, Michal Klimczak, Mariusz Olczak, Alexis De Vos |
| 2011 | RC | A Reversible Processor Architecture and Its Reversible Logic Design. | Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glck |
| 2008 | UC | Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder. | Michael Kirkedal Thomsen, Holger Bock Axelsen |