Michael Kirkedal Thomsen
Orcid: 0000-0003-0922-3609
According to our database1,
Michael Kirkedal Thomsen
authored at least 34 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware.
Proceedings of the Reversible Computation - 16th International Conference, 2024
Proceedings of the Reversible Computation - 16th International Conference, 2024
2023
CoRR, 2023
pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation.
CoRR, 2023
Proceedings of the Reversible Computation - 15th International Conference, 2023
2022
CoRR, 2022
2020
Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation.
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
2018
Proceedings of the Reversible Computation - 10th International Conference, 2018
Proceedings of the Reversible Computation - 10th International Conference, 2018
2017
Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9).
NII Shonan Meet. Rep., 2017
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs.
J. Low Power Electron., 2017
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017
2016
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report.
Proceedings of the Reversible Computation - 8th International Conference, 2016
Generating and checking control logic in the HDL-based design of reversible circuits.
Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 2016
2015
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics.
Proceedings of the Reversible Computation - 7th International Conference, 2015
Execution Tracing of C Code for Formal Analysis (Extended Abstract).
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015
Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015
2014
ACM J. Emerg. Technol. Comput. Syst., 2014
Inf. Process. Lett., 2014
2013
Proceedings of the Reversible Computation - 5th International Conference, 2013
Proceedings of the Reversible Computation - 5th International Conference, 2013
2012
J. Multiple Valued Log. Soft Comput., 2012
Proceedings of the Reversible Computation, 4th International Workshop, 2012
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2<sup> <i>k</i> </sup>±2<sup> <i>l</i> </sup>±1.
Proceedings of the Reversible Computation, 4th International Workshop, 2012
Proceedings of the International Symposium on Electronic System Design, 2012
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012
2011
Proceedings of the Reversible Computation - Third International Workshop, 2011
Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits.
Proceedings of the Reversible Computation - Third International Workshop, 2011
Proceedings of the Implementation and Application of Functional Languages, 2011
2009
ERCIM News, 2009
2008
Proceedings of the Unconventional Computing, 7th International Conference, 2008