default search action
Michael Kirkedal Thomsen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c21]Lars-Bo Husted Vadgaard
, Maja Hanne Kirkeby
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. RC 2024: 77-93 - [c20]Joachim Tilsted Kristensen
Jeopardy: An Invertible Functional Programming Language. RC 2024: 124-141 - 2023
- [c19]Joachim Tilsted Kristensen
Tail Recursion Transformation for Invertible Functions. RC 2023: 73-88 - [i8]Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen:
Tail recursion transformation for invertible functions. CoRR abs/2302.10049 (2023) - [i7]Triera Gashi, Sophie Adeline Solheim Bosio, Joachim Tilsted Kristensen, Michael Kirkedal Thomsen:
pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation. CoRR abs/2309.04696 (2023) - [i6]Michael Kirkedal Thomsen:
Design of Reversible Computing Systems; Large Logic, Languages, and Circuits. CoRR abs/2309.11832 (2023) - 2022
- [i5]Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen:
Jeopardy: An Invertible Functional Programming Language. CoRR abs/2209.02422 (2022) - [i4]Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen:
Branching execution symmetry in Jeopardy by available implicit arguments analysis. CoRR abs/2212.03161 (2022) - 2020
- [p1]Markus Schordan, Tomas Oppelstrup, Michael Kirkedal Thomsen, Robert Glück
Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation. Selected Results of the COST Action IC1405 2020: 187-207
2010 – 2019
- 2019
- [e1]Michael Kirkedal Thomsen, Mathias Soeken:
Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings. Lecture Notes in Computer Science 11497, Springer 2019, ISBN 978-3-030-21499-9 [contents] - 2018
- [c18]Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard
\mathsf CoreFun : A Typed Functional Reversible Core Language. RC 2018: 304-321 - [c17]Dominik Táborský, Ken Friis Larsen
Encryption and Reversible Computations - Work-in-progress Paper. RC 2018: 331-338 - 2017
- [j6]Robert Wille, Oliver Keszöcze
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs. J. Low Power Electron. 13(4): 633-641 (2017) - [c16]Robert M. Hierons
Hardness of Deriving Invertible Sequences from Finite State Machines. SOFSEM 2017: 147-160 - [i3]Michael Kirkedal Thomsen, Kazutaka Matsuda, Mohammad Reza Mousavi:
Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9). NII Shonan Meet. Rep. 2017 (2017) - 2016
- [c15]Robert Wille, Oliver Keszöcze
Generating and checking control logic in the HDL-based design of reversible circuits. ISED 2016: 7-12 - [c14]Robert Wille
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report. RC 2016: 160-166 - 2015
- [c13]Michael Kirkedal Thomsen, Holger Bock Axelsen:
Interpretation and programming of the reversible functional language RFUN. IFL 2015: 8:1-8:13 - [c12]Heinz Riener, Michael Kirkedal Thomsen, Görschwin Fey:
Execution Tracing of C Code for Formal Analysis (Extended Abstract). MBMV 2015: 160-164 - [c11]Michael Kirkedal Thomsen, Robin Kaarsgaard
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics. RC 2015: 200-215 - [i2]Mathias Soeken, Michael Kirkedal Thomsen, Gerhard W. Dueck, D. Michael Miller:
Self-Inverse Functions and Palindromic Circuits. CoRR abs/1502.05825 (2015) - 2014
- [j5]Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler
Upper bounds for reversible circuits based on Young subgroups. Inf. Process. Lett. 114(6): 282-286 (2014) - [j4]Alexis De Vos, Stéphane Burignat, Robert Glück
Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform. ACM J. Emerg. Technol. Comput. Syst. 11(2): 11:1-11:15 (2014) - 2013
- [c10]Eva Rotenberg, James Cranch, Michael Kirkedal Thomsen, Holger Bock Axelsen:
Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier. RC 2013: 46-57 - [c9]Mathias Soeken
White Dots do Matter: Rewriting Reversible Logic Circuits. RC 2013: 196-208 - 2012
- [j3]Alexis De Vos, Stéphane Burignat, Michael Kirkedal Thomsen:
Reversible Implementation of a Discrete Integer Linear Transformation. J. Multiple Valued Log. Soft Comput. 18(1): 25-35 (2012) - [c8]Michael Kirkedal Thomsen:
A functional language for describing reversible logic. FDL 2012: 135-142 - [c7]Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
Cleaning Up: Garbage-Free Reversible Circuits by Design Languages. ISED 2012: 6-10 - [c6]Stéphane Burignat, Kenneth Vermeirsch, Alexis De Vos, Michael Kirkedal Thomsen:
Garbageless Reversible Implementation of Integer Linear Transformations. RC 2012: 160-170 - [c5]Holger Bock Axelsen, Michael Kirkedal Thomsen:
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1. RC 2012: 171-182 - 2011
- [c4]Michael Kirkedal Thomsen:
Describing and Optimising Reversible Logic Using a Functional Language. IFL 2011: 148-163 - [c3]Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
A Reversible Processor Architecture and Its Reversible Logic Design. RC 2011: 30-42 - [c2]Stéphane Burignat, Michael Kirkedal Thomsen, Michal Klimczak, Mariusz Olczak, Alexis De Vos:
Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits. RC 2011: 112-122
2000 – 2009
- 2009
- [j2]Michael Kirkedal Thomsen, Holger Bock Axelsen:
Parallelization of Reversible Ripple-Carry Adders. Parallel Process. Lett. 19(2): 205-222 (2009) - [i1]Holger Bock Axelsen, Robert Glück, Alexis De Vos, Michael Kirkedal Thomsen:
MicroPower: Towards Low-Power Microprocessors with Reversible Computing. ERCIM News 2009(79) (2009) - 2008
- [j1]Michael Kirkedal Thomsen, Robert Glück
Optimized reversible binary-coded decimal adders. J. Syst. Archit. 54(7): 697-706 (2008) - [c1]Michael Kirkedal Thomsen, Holger Bock Axelsen:
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder. UC 2008: 228-241
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-05 21:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: