Michael Kirkedal Thomsen

dblp:73/3598 · DBLP profile ↗
← Back
17ranked-venue papers
4as first author
5since 2021 · last 2026
0000-0003-0922-3609ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 12 · 2 first-author · 4 since 2021Applied, interdisciplinary, general and emerging computing · 11 · 1 first-author · 4 since 2021Systems, architecture and hardware · 2 · 1 first-authorArtificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1
YearPublicationVenuePosition
2026 Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation
Joachim Tilsted Kristensen, Triera Gashi, Michael Kirkedal Thomsen
RC3
2026 Providing Secure Information Exchange for Transportation Management in a Decentralised Platform
abstract
454
David Gray Marchant, Tim Clausing, Victor Tvrdy, Arne Lamm, Falk Bethke, Oliver Steensen-Bech Haagh, Michael Kirkedal Thomsen, Kamer Kaya, Cansu Tanrikulu
VEHITS8
2024 Jeopardy: An Invertible Functional Programming Language
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
RC3
2024 Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware
Lars-Bo Husted Vadgaard, Maja H. Kirkeby, Ken Friis Larsen, Michael Kirkedal Thomsen
RC4
2023 Tail Recursion Transformation for Invertible Functions
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
RC3
2018 \mathsf CoreFun : A Typed Functional Reversible Core Language
Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen
RC3
2018 Encryption and Reversible Computations - Work-in-progress Paper
Dominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen
RC3
2017 Hardness of Deriving Invertible Sequences from Finite State Machines
Robert M. Hierons, Mohammad Reza Mousavi 0001, Michael Kirkedal Thomsen, Uraz Cengiz Türker
SOFSEM3
2016 Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report
Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
RC4
2015 Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics
Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken
RC1
2014 Upper bounds for reversible circuits based on Young subgroups
Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler
Inf. Process. Lett.3
2014 Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform
abstract
Discrete linear transformations are important tools in information processing. Many such transforms are injective and therefore prime candidates for a physically reversible implementation into hardware. We present here reversible integer cosine transformations on n input integers. The resulting reversible circuit is able to perform both the forward transform and the inverse transform. The detailed structure of such a reversible design strongly depends on the odd prime factors of the determinant of the transform: whether those are of the form 2 k ± 1 or of the form 2 k ± 2 l ± 1 or neither of these forms.
Alexis De Vos, Stéphane Burignat, Robert Glück, Torben Æ. Mogensen, Holger Bock Axelsen, Michael Kirkedal Thomsen, Eva Rotenberg, Tetsuo Yokoyama
ACM J. Emerg. Technol. Comput. Syst.6
2013 Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier
Eva Rotenberg, James Cranch, Michael Kirkedal Thomsen, Holger Bock Axelsen
RC3
2013 White Dots do Matter: Rewriting Reversible Logic Circuits
Mathias Soeken, Michael Kirkedal Thomsen
RC2
2012 A functional language for describing reversible logic
Michael Kirkedal Thomsen
FDL1
2008 Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder
Michael Kirkedal Thomsen, Holger Bock Axelsen
UC1
2008 Optimized reversible binary-coded decimal adders
Michael Kirkedal Thomsen, Robert Glück
J. Syst. Archit.1