Publikationer pr. år
Publikationer pr. år
Personlig profil
Kort præsentation
Publikations navn: Michael Kirkedal Thomsen
Eksterne ansættelser
Postdoc, University of Copenhagen
1 mar. 2016 → 28 feb. 2017
Postdoc, University of Bremen
1 dec. 2015 → 28 feb. 2016
Marie Curie Fellow, University of Bremen
1 dec. 2013 → 30 nov. 2015
Emneord
- Det Natur- og Biovidenskabelige Fakultet
- Reversible Beregninger
- Program transformation
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware
Vadgaard, L. B. H., Kirkeby, M. H., Larsen, K. F. & Thomsen, M. K., 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 › peer review
-
Jeopardy: An Invertible Functional Programming Language
Kristensen, J. T., Kaarsgaard, R. & Thomsen, M. K., 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 › peer review
Fil6 Downloads (Pure) -
Branching execution symmetry in Jeopardy by available implicit arguments analysis
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, M. K., 2023, I: NIKT: Norsk IKT-konferanse for forskning og utdanning. 2022, 1, s. 1-14Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgangFil8 Downloads (Pure) -
Tail recursion transformation for invertible functions
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, M. K., 2023, Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings. Springer, s. 73–88 (Lecture Notes in Computer Science, Bind 13960).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Fil9 Downloads (Pure) -
Reversible languages and incremental state saving in optimistic parallel discrete event simulation
Schordan, M., Oppelstrup, T., Thomsen, M. K. & Glück, R., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (red.). Springer VS, s. 187-207 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil6 Citationer (Scopus)17 Downloads (Pure) -
Preface
Thomsen, M. K. & Soeken, M., 2019, Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Springer, s. v (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning
-
CoreFun: A typed functional reversible core language
Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, M. K., 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 304-321 (Lecture notes in computer science, Bind 11106).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
15 Citationer (Scopus) -
Encryption and reversible computations: Work-in-progress paper
Táborský, D., Larsen, K. F. & Thomsen, M. K., 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 331-338 (Lecture notes in computer science, Bind 11106).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
6 Citationer (Scopus)
Aktiviteter
- 2 Foredrag og mundtlige bidrag
-
Reversible Functional Programming Languages
Michael Kirkedal Thomsen (Andet)
11 jul. 2017Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag
-
Programming in Reversible Computing and its application to speculative execution
Michael Kirkedal Thomsen (Andet)
11 maj 2017Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag