Follow
Michael Kirkedal Thomsen
Michael Kirkedal Thomsen
Associate Professor, University of Oslo and University of Copenhagen
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
Reversible arithmetic logic unit for quantum arithmetic
MK Thomsen, R Glück, HB Axelsen
Journal of Physics A: Mathematical and Theoretical 43 (38), 382002, 2010
1102010
Optimized reversible binary-coded decimal adders
MK Thomsen, R Glück
Journal of Systems Architecture 54 (7), 697-706, 2008
552008
White Dots do Matter: Rewriting Reversible Logic Circuits
M Soeken, MK Thomsen
International Conference on Reversible Computation, 196-208, 2013
382013
A reversible processor architecture and its reversible logic design
MK Thomsen, HB Axelsen, R Glück
International Workshop on Reversible Computation, 30-42, 2011
382011
Interpretation and programming of the reversible functional language RFUN
MK Thomsen, HB Axelsen
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
262015
A functional language for describing reversible logic
MK Thomsen
Proceeding of the 2012 Forum on Specification and Design Languages, 135-142, 2012
262012
Reversible implementation of a discrete linear transformation
A De Vos, S Burignat, M Thomsen
2nd Workshop on Reversible Computation (RC 2010), 107-110, 2010
212010
Parallelization of Reversible Ripple-Carry Adders
MK Thomsen, HB Axelsen
Parallel Processing Letters 19 (2), 205-222, 2009
202009
Upper bounds for reversible circuits based on Young subgroups
N Abdessaied, M Soeken, MK Thomsen, R Drechsler
Information Processing Letters 114 (6), 282-286, 2014
182014
Design of Reversible Logic Circuits using Standard Cells
MK Thomsen
University of Copenhagen, Copenhagen, 2012
162012
Garbage-free reversible integer multiplication with constants of the form 2 k±2 l±1
HB Axelsen, MK Thomsen
Reversible Computation 7581, 171-182, 2013
132013
Garbageless reversible implementation of integer linear transformations
S Burignat, K Vermeirsch, AD Vos, MK Thomsen
International Workshop on Reversible Computation, 160-170, 2012
132012
: A Typed Functional Reversible Core Language
PAH Jacobsen, R Kaarsgaard, MK Thomsen
International Conference on Reversible Computation, 304-321, 2018
102018
Describing and optimising reversible logic using a functional language
MK Thomsen
International Symposium on Implementation and Application of Functional …, 2011
102011
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
MK Thomsen, R Kaarsgaard, M Soeken
International Conference on Reversible Computation, 200-215, 2015
82015
MicroPower: towards low-power microprocessors with reversible computing
HB Axelsen, R Glück, A De Vos, MK Thomsen
ERCIM NEWS, 20, 2009
82009
Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits
S Burignat, MK Thomsen, M Klimczak, M Olczak, A De Vos
Lecture Notes in Computer Science, 2012
72012
Towards designing a reversible processor architecture
M Thomsen, R Gluck, H Axelsen
Proceedings of the Reversible Computation, 2009
72009
Reversible languages and incremental state saving in optimistic parallel discrete event simulation
M Schordan, T Oppelstrup, MK Thomsen, R Glück
International Conference on Reversible Computation, 187-207, 2020
62020
Parallel optimization of a reversible (quantum) ripple-carry adder
MK Thomsen, HB Axelsen
Unconventional Computing, 228-241, 2008
62008
The system can't perform the operation now. Try again later.
Articles 1–20