Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Associate Professor

ORCID: 0000-0003-0922-3609

Publication year:
All
1 - 2 out of 2Page size: 10
  1. 2024
  2. Published

    Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware

    Nielsen, Lars-Bo Vadgaard, Kirkeby, M. H., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer VS, p. 77-93 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Published

    Jeopardy: An Invertible Functional Programming Language

    Kristensen, Joachim Tilsted, Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer, p. 124-141 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

ID: 12085624