Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Associate Professor


  1. 2012
  2. Published

    Describing and optimizing reversible logic using a functional language

    Thomsen, Michael Kirkedal, 2012, Implementation and Application of Functional Languages, IFL 2011: 23rd International Symposium, IFL 2011, Lawrence, Kansas, USA, October 2011, Revised Papers. Gill, A. & Hage, J. (eds.). Springer, p. 148–163 16 p. (Lecture notes in computer science, Vol. 7257).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. Published

    Design of Reversible Computing Systems: Logic, Languages, and Circuits

    Thomsen, Michael Kirkedal, 2012, Faculty of Science, University of Copenhagen. 149 p.

    Research output: Book/ReportPh.D. thesis

  4. Published

    Design of reversible logic circuits using standard cells: standard cells and functional programming

    Thomsen, Michael Kirkedal, 2012, Department of Computer Science, University of Copenhagen. 28 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport; No. 2012-03).

    Research output: Book/ReportReport

  5. Published

    Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits

    Burignat, S., Thomsen, Michael Kirkedal, Klimczak, M., Olczak, M. & De Vos, A., 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 112-122 11 p. (Lecture notes in computer science, Vol. 7165).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  6. Published

    Reversible implementation of a discrete integer linear transformation

    De Vos, A., Burignat, S. & Thomsen, Michael Kirkedal, 2012, In: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, p. 25-35 11 p.

    Research output: Contribution to journalConference articlepeer-review

  7. 2010
  8. Published

    Reversible arithmetic logic unit for quantum arithmetic

    Thomsen, Michael Kirkedal, Glück, Robert & Axelsen, H. B., 2010, In: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 p., 382002.

    Research output: Contribution to journalJournal articlepeer-review

  9. 2009
  10. Published

    MicroPower - Towards Low-power Microprocessors with Reversible Computing

    Axelsen, H. B., Glück, Robert, De Vos, A. & Thomsen, Michael Kirkedal, 2009, In: ERCIM News. 79, p. 20-21 2 p.

    Research output: Contribution to journalJournal article

  11. Published

    Parallelization of Reversible Ripple-carry Adders

    Thomsen, Michael Kirkedal & Axelsen, H. B., 2009, In: Parallel Processing Letters. 19, 2, p. 205-222 18 p.

    Research output: Contribution to journalJournal articlepeer-review

  12. 2008
  13. Published

    Optimized Reversible Binary-Coded Decimal Adders

    Thomsen, Michael Kirkedal & Glück, Robert, 2008, In: Journal of Systems Architecture. 54, 7, p. 697-706 9 p.

    Research output: Contribution to journalJournal articlepeer-review

  14. Published

    Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder

    Thomsen, Michael Kirkedal & Axelsen, H. B., 2008, Unconventional Computing: 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, proceedings. Calude, C. S., Costa, J. F., Freund, R., Oswald, M. & Rozenberg, G. (eds.). Springer, p. 228-241 14 p. (Lecture notes in computer science; No. 5204).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

ID: 12085624