Michael Kirkedal Thomsen

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 15

Top Topics

Denotational Semantics

Finite State Machines

Programming Language

Top Venues

Inf. Process. Lett.

Publications

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Jeopardy: An Invertible Functional Programming Language. RC (2024)
Lars-Bo Husted Vadgaard, Maja Hanne Kirkeby, Ken Friis Larsen, Michael Kirkedal Thomsen
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. RC (2024)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Tail Recursion Transformation for Invertible Functions. RC (2023)
Michael Kirkedal Thomsen
Design of Reversible Computing Systems; Large Logic, Languages, and Circuits. CoRR (2023)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Tail recursion transformation for invertible functions. CoRR (2023)
Triera Gashi, Sophie Adeline Solheim Bosio, Joachim Tilsted Kristensen, Michael Kirkedal Thomsen
pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation. CoRR (2023)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Branching execution symmetry in Jeopardy by available implicit arguments analysis. CoRR (2022)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Jeopardy: An Invertible Functional Programming Language. CoRR (2022)
Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen
\mathsf CoreFun : A Typed Functional Reversible Core Language. RC (2018)
Dominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen
Encryption and Reversible Computations - Work-in-progress Paper. RC (2018)
Michael Kirkedal Thomsen, Kazutaka Matsuda, Mohammad Reza Mousavi
Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9). NII Shonan Meet. Rep. 2017 (2017)
Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs. J. Low Power Electron. 13 (4) (2017)
Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker
Hardness of Deriving Invertible Sequences from Finite State Machines. SOFSEM (2017)
Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report. RC (2016)
Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
Generating and checking control logic in the HDL-based design of reversible circuits. ISED (2016)
Heinz Riener, Michael Kirkedal Thomsen, Görschwin Fey
Execution Tracing of C Code for Formal Analysis (Extended Abstract). MBMV (2015)
Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics. RC (2015)
Mathias Soeken, Michael Kirkedal Thomsen, Gerhard W. Dueck, D. Michael Miller
Self-Inverse Functions and Palindromic Circuits. CoRR (2015)
Michael Kirkedal Thomsen, Holger Bock Axelsen
Interpretation and programming of the reversible functional language RFUN. IFL (2015)
Alexis De Vos, Stéphane Burignat, Robert Glück, Torben Ægidius Mogensen, Holger Bock Axelsen, Michael Kirkedal Thomsen, Eva Rotenberg, Tetsuo Yokoyama
Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform. ACM J. Emerg. Technol. Comput. Syst. 11 (2) (2014)
Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler
Upper bounds for reversible circuits based on Young subgroups. Inf. Process. Lett. 114 (6) (2014)
Eva Rotenberg, James Cranch, Michael Kirkedal Thomsen, Holger Bock Axelsen
Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier. RC (2013)
Mathias Soeken, Michael Kirkedal Thomsen
White Dots do Matter: Rewriting Reversible Logic Circuits. RC (2013)
Alexis De Vos, Stéphane Burignat, Michael Kirkedal Thomsen
Reversible Implementation of a Discrete Integer Linear Transformation. J. Multiple Valued Log. Soft Comput. 18 (1) (2012)
Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
Cleaning Up: Garbage-Free Reversible Circuits by Design Languages. ISED (2012)
Michael Kirkedal Thomsen
A functional language for describing reversible logic. FDL (2012)
Stéphane Burignat, Kenneth Vermeirsch, Alexis De Vos, Michael Kirkedal Thomsen
Garbageless Reversible Implementation of Integer Linear Transformations. RC (2012)
Holger Bock Axelsen, Michael Kirkedal Thomsen
±1. RC (2012)
Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
A Reversible Processor Architecture and Its Reversible Logic Design. RC (2011)
Stéphane Burignat, Michael Kirkedal Thomsen, Michal Klimczak, Mariusz Olczak, Alexis De Vos
Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits. RC (2011)
Michael Kirkedal Thomsen
Describing and Optimising Reversible Logic Using a Functional Language. IFL (2011)
Holger Bock Axelsen, Robert Glück, Alexis De Vos, Michael Kirkedal Thomsen
MicroPower: Towards Low-Power Microprocessors with Reversible Computing. ERCIM News 2009 (79) (2009)
Michael Kirkedal Thomsen, Holger Bock Axelsen
Parallelization of Reversible Ripple-Carry Adders. Parallel Process. Lett. 19 (2) (2009)
Michael Kirkedal Thomsen, Holger Bock Axelsen
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder. UC (2008)
Michael Kirkedal Thomsen, Robert Glück
Optimized reversible binary-coded decimal adders. J. Syst. Archit. 54 (7) (2008)