EDBT 2026 Demo / reviewers in the wild / expert
Michael Kirkedal Thomsen
dblp:73/3598
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation
Joachim Tilsted Kristensen, Triera Gashi, Michael Kirkedal Thomsen |
RC | 3 |
| 2026 | Providing Secure Information Exchange for Transportation Management in a Decentralised Platformabstract454 David Gray Marchant, Tim Clausing, Victor Tvrdy, Arne Lamm, Falk Bethke, Oliver Steensen-Bech Haagh, Michael Kirkedal Thomsen, Kamer Kaya, Cansu Tanrikulu |
VEHITS | 8 |
| 2024 | Jeopardy: An Invertible Functional Programming Language
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
RC | 3 |
| 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 |
RC | 4 |
| 2023 | Tail Recursion Transformation for Invertible Functions
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
RC | 3 |
| 2018 | \mathsf CoreFun : A Typed Functional Reversible Core Language
Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
RC | 3 |
| 2018 | Encryption and Reversible Computations - Work-in-progress Paper
Dominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen |
RC | 3 |
| 2017 | Hardness of Deriving Invertible Sequences from Finite State Machines
Robert M. Hierons, Mohammad Reza Mousavi 0001, Michael Kirkedal Thomsen, Uraz Cengiz Türker |
SOFSEM | 3 |
| 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 |
RC | 4 |
| 2015 | Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics
Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken |
RC | 1 |
| 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 TransformabstractDiscrete 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 |
RC | 3 |
| 2013 | White Dots do Matter: Rewriting Reversible Logic Circuits
Mathias Soeken, Michael Kirkedal Thomsen |
RC | 2 |
| 2012 | A functional language for describing reversible logic
Michael Kirkedal Thomsen |
FDL | 1 |
| 2008 | Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder
Michael Kirkedal Thomsen, Holger Bock Axelsen |
UC | 1 |
| 2008 | Optimized reversible binary-coded decimal adders
Michael Kirkedal Thomsen, Robert Glück |
J. Syst. Archit. | 1 |