Michael Kirkedal Thomsen
Associate Professor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0003-0922-3609
1 - 3 out of 3Page size: 10
- 2017
- Published
An automated approach for generating and checking control logic for reversible hardware description language-based designs
Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & 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
- Published
Generating and checking control logic in the HDL-based design of reversible circuits
Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & 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
- Published
Hardness of deriving invertible sequences from finite state machines
Hierons, R. M., Mousavi, M. R., Thomsen, Michael Kirkedal & 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
ID: 12085624
Most downloads
-
1167
downloads
Design of reversible logic circuits using standard cells: standard cells and functional programming
Research output: Book/Report › Report › Research
Published -
14
downloads
Reversible languages and incremental state saving in optimistic parallel discrete event simulation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published