Publikationer pr. år
Publikationer pr. år
Personlig profil
Kort præsentation
Publikations navn: Michael Kirkedal Thomsen
Eksterne ansættelser
University of Copenhagen
1 mar. 2016 → 28 feb. 2017
University of Bremen
1 dec. 2015 → 28 feb. 2016
University of Bremen
1 dec. 2013 → 30 nov. 2015
Emneord
- Det Natur- og Biovidenskabelige Fakultet
- Reversible Beregninger
- Program transformation
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Michael Kirkedal Thomsen er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 6 Lignende profiler
Publikation
-
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
-
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
-
An automated approach for generating and checking control logic for reversible hardware description language-based designs
Wille, R., Keszocze, O., Othmer, L., Thomsen, M. K. & Drechsler, R., dec. 2017, I: Journal of Low Power Electronics. 13, 4, s. 633-641 9 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
-
Generating and checking control logic in the HDL-based design of reversible circuits
Wille, R., Keszocze, O., Othmer, L., Thomsen, M. K. & Drechsler, R., 2017, 2016 Sixth International Symposium on Embedded Computing and System Design (ISED). IEEE, s. 7-12 6 s. 7977045Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Hardness of deriving invertible sequences from finite state machines
Hierons, R. M., Mousavi, M. R., Thomsen, M. K. & Türker, U. C., 2017, SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (red.). Springer, s. 147-160 14 s. (Lecture notes in computer science, Bind 10139).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Initial ideas for automatic design and verification of control logic in reversible HDLs: work in progress report
Wille, R., Keszocze, O., Othmer, L., Thomsen, M. K. & Drechsler, R., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (red.). Springer, s. 160-166 7 s. (Lecture notes in computer science, Bind 9720).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Designing garbage-free reversible implementations of the integer cosine transform
De Vos, A., Burignat, S., Glück, R., Mogensen, T. Æ., Axelsen, H. B., Thomsen, M. K., Rotenberg, E. & Yokoyama, T., 1 okt. 2014, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 s., 11.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Upper bounds for reversible circuits based on Young subgroups
Abdessaied, N., Soeken, M., Thomsen, M. K. & Drechsler, R., 2014, I: Information Processing Letters. 114, 6, s. 282-286 5 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Aktiviteter
- 2 Foredrag og mundtlige bidrag
-
Reversible Functional Programming Languages
Thomsen, M. K. (Andet)
11 jul. 2017Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag
-
Programming in Reversible Computing and its application to speculative execution
Thomsen, M. K. (Andet)
11 maj 2017Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag