Concepedia

Michael Kirkedal Thomsen

MK

7

Publications

236

Citations

7

H-Index

2008

Active since

Affiliations

University of Copenhagen(Current)

Michael Kirkedal Thomsen is an author at University of Copenhagen specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer ScienceComputer EngineeringComputer ArchitectureCircuit DesignCircuit ComplexityLanguageSemanticsLinguisticsVlsi Design

Publications per year

2008–2015

7

Publications

7

Reversible arithmetic logic unit for quantum arithmetic

Michael Kirkedal Thomsen, Robert Glück, Holger Bock Axelsen · Journal of Physics A Mathematical and Theoretical · 2010 · 95 citations

Optimized reversible binary-coded decimal adders

Michael Kirkedal Thomsen, Robert Glück · Journal of Systems Architecture · 2008 · 46 citations

Engineering, Vlsi Architecture, Computer Engineering +5

Interpretation and programming of the reversible functional language RFUN

Michael Kirkedal Thomsen, Holger Bock Axelsen · 2015 · 21 citations

PARALLELIZATION OF REVERSIBLE RIPPLE-CARRY ADDERS

Michael Kirkedal Thomsen, Holger Bock Axelsen · Parallel Processing Letters · 2009 · 20 citations

Hardware Security, Logic Synthesis, Engineering +13

A functional language for describing reversible logic

Michael Kirkedal Thomsen · Forum on specification and Design Languages · 2012 · 20 citations

Circuit Complexity, Reversible Logic, Engineering +21

Rows per page

1–5 of 7