Michael Kirkedal Thomsen

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