Staff – University of Copenhagen

Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Assistant professor

  • Algorithms and Programming Languages (APL)

    Universitetsparken 5, 2100 København Ø

    Phone: +45 35 33 61 54

  1. 2017
  2. Published

    Hardness of deriving invertible sequences from finite state machines. / Hierons, Robert M.; Mousavi, Mohammad Reza; Thomsen, Michael Kirkedal; Türker, Uraz Cengiz.

    SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. ed. / Bernhard Steffen; Christel Baier; Mark van den Brand; Johann Eder; Mike Hinchey; Tiziana Margaria. Springer, 2017. p. 147-160.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

  3. Published

    An automated approach for generating and checking control logic for reversible hardware description language-based designs. / Wille, Robert; Keszocze, Oliver; Othmer, Lars; Thomsen, Michael Kirkedal; Drechsler, Rolf.

    In: Journal of Low Power Electronics, Vol. 13, No. 4, 12.2017, p. 633-641.

    Research output: Contribution to journalConference article

  4. Published

    Generating and checking control logic in the HDL-based design of reversible circuits. / Wille, Robert; Keszocze, Oliver; Othmer, Lars; Thomsen, Michael Kirkedal; Drechsler, Rolf.

    2016 Sixth International Symposium on Embedded Computing and System Design (ISED). IEEE, 2017. p. 7-12 7977045.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

  5. 2016
  6. Published

    Initial ideas for automatic design and verification of control logic in reversible HDLs : work in progress report. / Wille, Robert; Keszocze, Oliver; Othmer, Lars; Thomsen, Michael Kirkedal; Drechsler, Rolf.

    Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. ed. / Simon Devitt; Ivan Lanese. Springer, 2016. p. 160-166.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

  7. 2014
  8. Published

    Upper bounds for reversible circuits based on Young subgroups. / Abdessaied, Nabila; Soeken, Mathias; Thomsen, Michael Kirkedal; Drechsler, Rolf.

    In: Information Processing Letters, Vol. 114, No. 6, 2014, p. 282-286.

    Research output: Contribution to journalJournal article

  9. Published

    Designing garbage-free reversible implementations of the integer cosine transform. / De Vos, Alexis; Burignat, Stéphane; Glück, Robert; Mogensen, Torben Ægidius; Axelsen, Holger Bock; Thomsen, Michael Kirkedal; Rotenberg, Eva; Yokoyama, Tetsuo.

    In: A C M Journal on Emerging Technologies in Computing Systems, Vol. 11, No. 2, 11, 2014.

    Research output: Contribution to journalJournal article

  10. 2013
  11. Published

    Garbage-free reversible integer multiplication with constants of the form 2k±2l±1. / Axelsen, Holger Bock; Thomsen, Michael Kirkedal.

    Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. ed. / Robert Glück; Tetsuo Yokoyama. Springer, 2013. p. 171-182.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

  12. Published

    Garbageless reversible implementation of integer linear transformations. / Burignat, Stéphane; Vermeirsch, Kenneth; De Vos, Alexis; Thomsen, Michael Kirkedal.

    Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. ed. / Robert Glück; Tetsuo Yokoyama. Springer, 2013. p. 160-170.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

  13. Published

    Strength of the reversible, garbage-free 2k ± 1 multiplier. / Rotenberg, Eva; Cranch, James; Thomsen, Michael Kirkedal; Axelsen, Holger Bock.

    Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. ed. / Gerhard W. Dueck; D. Michael Miller. Springer, 2013. p. 46-57.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

  14. Published

    White dots do matter : rewriting reversible logic circuits. / Soeken, Mathias; Thomsen, Michael Kirkedal.

    Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. ed. / Gerhard W. Dueck; D. Michael Miller. Springer, 2013. p. 196-208.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

Previous 1 2 3 Next

ID: 12085624