Michael Kirkedal Thomsen
Associate Professor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0003-0922-3609
Publication name: Michael Kirkedal Thomsen
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