Michael Kirkedal Thomsen
External Lecturer
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0003-0922-3609
1 - 1 out of 1Page size: 10
- 2016
- Published
Initial ideas for automatic design and verification of control logic in reversible HDLs: work in progress report
Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & 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
ID: 12085624
Most downloads
-
1142
downloads
Design of reversible logic circuits using standard cells: standard cells and functional programming
Research output: Book/Report › Report › Research
Published