Michael Kirkedal Thomsen

Cited by

	All	Since 2020
Citations	647	208
h-index	14	8
i10-index	18	7

2008200920102011201220132014201520162017201820192020202120222023202420256 5 13 36 57 35 56 33 73 31 41 23 28 31 35 59 54 1

Public access

View all

5 articles

9 articles

available

not available

Based on funding mandates

Co-authors

Holger Bock AxelsenEdlund A/SVerified email at edlund.dk
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
Robin KaarsgaardAssistant Professor at University of Southern DenmarkVerified email at imada.sdu.dk
Mathias SoekenMicrosoftVerified email at epfl.ch
Alexis De VosUniversiteit GentVerified email at elis.UGent.be
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyVerified email at uni-bremen.de
Robert WilleTechnical University of Munich and SCCH GmbHVerified email at tum.de
Joachim Tilsted KristensenDoctorial Research Fellow. Programming Technology. University of Oslo.Verified email at ifi.uio.no
Oliver KeszöczeFriedrich-Alexander-Univeristät Erlangen-Nürnberg (FAU)Verified email at fau.de
Eva RotenbergAssociate Professor, DTU Compute, DenmarkVerified email at dtu.dk
Nabila AbdessaiedUniversity of BremenVerified email at informatik.uni-bremen.de
Ken Friis LarsenAssociate professor, Department of Computer Science, University of CopenhagenVerified email at diku.dk
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Markus SchordanGoogleVerified email at google.com
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
Uraz Cengiz TurkerLecturer at the school of Computing and Communications, Lancaster University, UKVerified email at lancaster.ac.uk
Tetsuo YokoyamaDepartment of Electronics and Communication TechnologyVerified email at acm.org
David Michael MillerProfessor Emeritus of Computer Science, University of VictoriaVerified email at uvic.ca
Gerhard W DueckProfessor of Computer Science, University of New BrunswickVerified email at unb.ca
Goerschwin FeyHamburg University of TechnologyVerified email at tuhh.de

Michael Kirkedal Thomsen

Associate Professor, University of Oslo and external lecture University of Copenhagen

Verified email at acm.org - Homepage

Programming languages Program transformation Information and computations Energy consumption


Title Sort by citations Sort by year Sort by 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	137	2010
Optimized reversible binary-coded decimal adders MK Thomsen, R Glück Journal of Systems Architecture 54 (7), 697-706, 2008	62	2008
A reversible processor architecture and its reversible logic design MK Thomsen, HB Axelsen, R Glück Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium …, 2012	51	2012
White Dots do Matter: Rewriting Reversible Logic Circuits M Soeken, MK Thomsen Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013	45	2013
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	43	2015
A functional language for describing reversible logic MK Thomsen Proceeding of the 2012 Forum on Specification and Design Languages, 135-142, 2012	29	2012
: a typed functional reversible core language PAH Jacobsen, R Kaarsgaard, MK Thomsen International Conference on Reversible Computation, 304-321, 2018	27	2018
Parallelization of Reversible Ripple-Carry Adders MK Thomsen, HB Axelsen Parallel Processing Letters 19 (2), 205-222, 2009	26	2009
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	25	2014
Reversible implementation of a discrete linear transformation A De Vos, S Burignat, M Thomsen 2nd Workshop on Reversible Computation (RC 2010), 107-110, 2010	23	2010
Time dependent effects of two absorption enhancers on the nasal absorption of growth hormone in rabbits C Vermehren, HS Hansen, MK Thomsen International journal of pharmaceutics 128 (1-2), 239-250, 1996	16	1996
Garbageless reversible implementation of integer linear transformations S Burignat, K Vermeirsch, A De Vos, MK Thomsen Reversible Computation: 4th International Workshop, RC 2012, Copenhagen …, 2013	15	2013
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	14	2013
Design of Reversible Logic Circuits Using Standard Cells-Standard Cells and Functional Programming MK Thomsen DIKU, 2012	14	2012
Reversible languages and incremental state saving in optimistic parallel discrete event simulation M Schordan, T Oppelstrup, MK Thomsen, R Glück Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020	12	2020
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics MK Thomsen, R Kaarsgaard, M Soeken Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015	12	2015
Describing and optimising reversible logic using a functional language MK Thomsen International Symposium on Implementation and Application of Functional …, 2011	11	2011
MicroPower: towards low-power microprocessors with reversible computing HB Axelsen, R Glück, A De Vos, MK Thomsen ERCIM NEWS, 20, 2009	10	2009
Towards designing a reversible processor architecture M Thomsen, R Gluck, H Axelsen Proceedings of the Reversible Computation, 2009	9	2009
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	8	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors