Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Lektor

ORCID: 0000-0003-0922-3609

Udgivelsesår:
Alle
1 - 2 ud af 2Pr. side: 10
Sortering: Udgivelsesdato
  1. 2024
  2. Udgivet

    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. (red.). Springer VS, s. 77-93 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14680 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  3. Udgivet

    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. (red.). Springer, s. 124-141 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14680 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

ID: 12085624