Michael Kirkedal Thomsen
Michael Kirkedal Thomsen
Assistant Professor, DIKU, Department of Computer Science, 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
942010
Optimized reversible binary-coded decimal adders
MK Thomsen, R Glück
Journal of Systems Architecture 54 (7), 697-706, 2008
482008
A reversible processor architecture and its reversible logic design
MK Thomsen, HB Axelsen, R Glück
International Workshop on Reversible Computation, 30-42, 2011
322011
White dots do matter: rewriting reversible logic circuits
M Soeken, MK Thomsen
International Conference on Reversible Computation, 196-208, 2013
262013
A functional language for describing reversible logic
MK Thomsen
Proceeding of the 2012 Forum on Specification and Design Languages, 135-142, 2012
252012
Reversible implementation of a discrete linear transformation
A De Vos, S Burignat, M Thomsen
2nd Workshop on Reversible Computation (RC 2010), 107-110, 2010
202010
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
172014
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
152015
Garbageless reversible implementation of integer linear transformations
S Burignat, K Vermeirsch, A De Vos, MK Thomsen
International Workshop on Reversible Computation, 160-170, 2012
122012
Design of Reversible Logic Circuits using Standard Cells
MK Thomsen
University of Copenhagen, Copenhagen, 2012
122012
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
112013
Describing and optimising reversible logic using a functional language
MK Thomsen
International Symposium on Implementation and Application of Functional …, 2011
102011
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
Parallel optimization of a reversible (quantum) ripple-carry adder
MK Thomsen, HB Axelsen
Unconventional Computing, 228-241, 2008
72008
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
62015
Towards designing a reversible processor architecture
M Thomsen, R Gluck, H Axelsen
Proceedings of the Reversible Computation, 2009
62009
: A Typed Functional Reversible Core Language
PAH Jacobsen, R Kaarsgaard, MK Thomsen
International Conference on Reversible Computation, 304-321, 2018
52018
Interpretation and programming of the reversible functional language
MK Thomsen, HB Axelsen
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
52015
The system can't perform the operation now. Try again later.
Articles 1–20