Michael Kirkedal Thomsen

• Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal (2023). Tail recursion transformation for invertible functions. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13960, s. 73–88. doi: 10.1007/978-3-031-38100-3_6.
• Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Kirkedal Thomsen, Michael (2022). Branching execution symmetry in Jeopardy by available implicit arguments analysis. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743.
• Abdessaied, Nabila; Soeken, Mathias; Kirkedal Thomsen, Michael & Drechsler, Rolf (2014). Upper bounds for reversible circuits based on Young subgroups. Information Processing Letters. ISSN 0020-0190. s. 282–286. doi: 10.1016/j.ipl.2014.01.003.
• Rotenberg, Eva; Cranch, James; Kirkedal Thomsen, Michael & Axelsen, Holger Bock (2013). Strength of the Reversible, Garbage-Free 2k +- 1 Multiplier. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7948, s. 46–57. doi: 10.1007/978-3-642-38986-3_5.
• Axelsen, Holger Bock & Kirkedal Thomsen, Michael (2013). Garbage-Free Integer Multiplication with Constants. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7581, s. 171–182. doi: 10.1007/978-3-642-36315-3_14.
• Soeken, Mathias & Kirkedal Thomsen, Michael (2013). White Dots do Matter: Rewriting Reversible Logic Circuits. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7948, s. 196–208. doi: 10.1007/978-3-642-38986-3_16.
• Kirkedal Thomsen, Michael; Axelsen, Holger Bock & Glück, Robert (2012). A Reversible Processor Architecture and its Reversible Logic Design. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7165, s. 30–42. doi: 10.1007/978-3-642-29517-1_3.
• Kirkedal Thomsen, Michael (2012). A Functional Language for Describing Reversible Logic. Forum on Specification and Design Languages. ISSN 1636-9874. s. 135–142.
• Burignat, Stéphane; Kirkedal Thomsen, Michael; Klimczak, Michal; Olczak, Mariusz & De Vos, Alexis (2012). Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7165, s. 112–122. doi: 10.1007/978-3-642-29517-1.
• De Vos, Alexis; Burignat, Stéphane & Kirkedal Thomsen, Michael (2012). Reversible Implementation of a Discrete Integer Linear Transform. Journal of Multiple-Valued Logic and Soft Computing. ISSN 1542-3980. 18(1), s. 25–35.
• Thomsen, Michael Kirkedal (2012). Describing and Optimizing Reversible Logic using a Functional Language. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7257, s. 148–163. doi: 10.1007/978-3-642-34407-7_10.
• Kirkedal Thomsen, Michael; Glück, Robert & Axelsen, Holger Bock (2010). Reversible arithmetic logic unit for quantum arithmetic. Journal of Physics A: Mathematical and Theoretical. ISSN 1751-8113. doi: 10.1088/1751-8113/43/38/382002.
• Kirkedal Thomsen, Michael & Axelsen, Holger Bock (2009). Parallelization of Reversible Ripple-carry Adders. Parallel Processing Letters. ISSN 0129-6264. 19(1), s. 205–222. doi: 10.1142/S0129626409000171.
• Kirkedal Thomsen, Michael & Axelsen, Holger Bock (2008). Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 5204, s. 229–242. doi: 10.1007/978-3-540-85194-3_19.
• Kirkedal Thomsen, Michael & Glück, Robert (2008). Optimized reversible binary-coded decimal adders. Journal of systems architecture. ISSN 1383-7621. 54(7), s. 697–706. doi: 10.1016/j.sysarc.2007.12.006.

Se alle arbeider i Cristin

• Kirkedal Thomsen, Michael & Soeken, Mathias (2019). Reversible Computation, 11th International Conference, RC 2019, Proceedings. Springer Berlin/Heidelberg. ISBN 978-3-030-21500-2. 247 s.

Se alle arbeider i Cristin

• Kristensen, Joachim Tilsted; Vadgaard, Lars-Bo; Thomsen, Michael Kirkedal & Kirkeby, Maja Hanne (2023). Semi-Inversion with Sum Types.
• Thomsen, Michael Kirkedal (2023). Information in a lossy world, How physics define our models of computation.
• Thomsen, Michael Kirkedal (2023). Leveraging Energy-Aware Programming (LEAP).
• Thomsen, Michael Kirkedal (2023). Reversible computations in a lossy world.
• Thomsen, Michael Kirkedal (2023). Quantum Computing for Computer Scientists - decipher the hype.
• Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal (2023). Unification as a means of completing partial data structures.
• Kirkedal Thomsen, Michael (2022). Maritime cyber security.
• Kirkedal Thomsen, Michael (2022). Reversible Computations, Energy, and Functional Programming.
• Kirkedal Thomsen, Michael (2022). Introduction to the Technical Session and the Identity Architecture.
• Kirkedal Thomsen, Michael (2022). Identity Management and Security in the Maritime Connectivity Platform.
• Kristensen, Joachim Tilsted; Kirkedal Thomsen, Michael & Kaarsgaard, Robin (2022). Jeopardy: An Invertible Functional Programming Language.

Se alle arbeider i Cristin