Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Associate Professor

ORCID: 0000-0003-0922-3609

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

    Interpretation and programming of the reversible functional language RFUN

    Thomsen, Michael Kirkedal & Axelsen, H. B., 14 Sep 2015, Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2015. Association for Computing Machinery, Inc., 13 p. 8. (ACM International Conference Proceeding Series, Vol. 14-16-September-2015).

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

  3. 2014
  4. Published

    Designing garbage-free reversible implementations of the integer cosine transform

    De Vos, A., Burignat, S., Glück, Robert, Mogensen, Torben Ægidius, Axelsen, H. B., Thomsen, Michael Kirkedal, Rotenberg, E. & Yokoyama, T., 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 p., 11.

    Research output: Contribution to journal › Journal article › Research › peer-review

  5. Published

    Upper bounds for reversible circuits based on Young subgroups

    Abdessaied, N., Soeken, M., Thomsen, Michael Kirkedal & Drechsler, R., 2014, In: Information Processing Letters. 114, 6, p. 282-286 5 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  6. 2013
  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 2012
  13. 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

  14. 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

Previous 1 2 3 4 Next

ID: 12085624