Research output per year
Research output per year
Personal profile
Short presentation
Publication name: Michael Kirkedal Thomsen
External positions
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
Keywords
- Faculty of Science
- Reversible Computation
- Domain-specific languages
- Program transformation
- Program analysis
- Computer architecture
- Semantics
Fingerprint
Dive into the research topics where Michael Kirkedal Thomsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
-
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, p. 304-321 (Lecture notes in computer science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › 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, p. 331-338 (Lecture notes in computer science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › 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, In: Journal of Low Power Electronics. 13, 4, p. 633-641 9 p.Research output: Contribution to journal › Conference article › Research › 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, p. 7-12 6 p. 7977045Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › 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. (eds.). Springer, p. 147-160 14 p. (Lecture notes in computer science, Vol. 10139).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › 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. (eds.). Springer, p. 160-166 7 p. (Lecture notes in computer science, Vol. 9720).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › 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 Oct 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 p., 11.Research output: Contribution to journal › Journal article › Research › peer-review
-
Upper bounds for reversible circuits based on Young subgroups
Abdessaied, N., Soeken, M., Thomsen, M. K. & Drechsler, R., 2014, In: Information Processing Letters. 114, 6, p. 282-286 5 p.Research output: Contribution to journal › Journal article › Research › peer-review
Activities
- 2 Lecture and oral contribution
-
Reversible Functional Programming Languages
Thomsen, M. K. (Other)
11 Jul 2017Activity: Talk or presentation types › Lecture and oral contribution
-
Programming in Reversible Computing and its application to speculative execution
Thomsen, M. K. (Other)
11 May 2017Activity: Talk or presentation types › Lecture and oral contribution