Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

External Lecturer

ORCID: 0000-0003-0922-3609

Publication year:
All
11 - 20 out of 28Page size: 10
  1. 2013
  2. Published

    Cleaning up: garbage-free reversible circuits by design languages

    Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2013, 2012 International Symposium on Electronic System Design (ISED). IEEE, p. 6-10 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Published

    Garbage-free reversible integer multiplication with constants of the form 2k±2l±1

    Axelsen, H. B. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Glück, R. & Yokoyama, T. (eds.). Springer, p. 171-182 12 p. (Lecture notes in computer science, Vol. 7581).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  4. Published

    Garbageless reversible implementation of integer linear transformations

    Burignat, S., Vermeirsch, K., De Vos, A. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Glück, R. & Yokoyama, T. (eds.). Springer, p. 160-170 11 p. (Lecture notes in computer science, Vol. 7581).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  5. Published

    Strength of the reversible, garbage-free 2k ± 1 multiplier

    Rotenberg, E., Cranch, J., Thomsen, Michael Kirkedal & Axelsen, H. B., 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 46-57 12 p. (Lecture notes in computer science, Vol. 7948).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  6. Published

    White dots do matter: rewriting reversible logic circuits

    Soeken, M. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 196-208 13 p. (Lecture notes in computer science, Vol. 7948).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  7. 2012
  8. Published

    A functional language for describing reversible logic

    Thomsen, Michael Kirkedal, 2012, Proceedings of the 2012 Forum on Specification and Design Languages. Morawiec, A. & Hinderscheit, J. (eds.). IEEE, p. 135-142 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  9. Published

    A reversible processor architecture and its reversible logic design

    Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 30-42 13 p. (Lecture notes in computer science, Vol. 7165).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  10. 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 proceeding › Article in proceedings › Research › peer-review

  11. 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/Report › Ph.D. thesis › Research

  12. 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/Report › Report › Research

Previous 1 2 3 Next

ID: 12085624