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
- 2020
- Published
Reversible languages and incremental state saving in optimistic parallel discrete event simulation
Schordan, M., Oppelstrup, T., Thomsen, Michael Kirkedal & Glück, Robert, 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 187-207 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 12085624
Most downloads
-
1136
downloads
Design of reversible logic circuits using standard cells: standard cells and functional programming
Research output: Book/Report › Report › Research
Published