Ansatte – Københavns Universitet

Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Adjunkt


  1. 2018
  2. Udgivet

    CoreFun : A typed functional reversible core language. / Jacobsen, Petur Andrias Højgaard; Kaarsgaard, Robin; Thomsen, Michael Kirkedal.

    Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, 2018. s. 304-321.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. Udgivet

    Encryption and reversible computations : Work-in-progress paper. / Táborský, Dominik; Larsen, Ken Friis; Thomsen, Michael Kirkedal.

    Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, 2018. s. 331-338.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  4. 2017
  5. Udgivet

    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.

    I: Journal of Low Power Electronics, Bind 13, Nr. 4, 12.2017, s. 633-641.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  6. Udgivet

    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. s. 7-12 7977045.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. Udgivet

    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. red. / Bernhard Steffen; Christel Baier; Mark van den Brand; Johann Eder; Mike Hinchey; Tiziana Margaria. Springer, 2017. s. 147-160.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  8. 2016
  9. Udgivet

    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. red. / Simon Devitt; Ivan Lanese. Springer, 2016. s. 160-166.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  10. 2014
  11. Udgivet

    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.

    I: A C M Journal on Emerging Technologies in Computing Systems, Bind 11, Nr. 2, 11, 2014.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  12. Udgivet

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

    I: Information Processing Letters, Bind 114, Nr. 6, 2014, s. 282-286.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  13. 2013
  14. Udgivet

    Cleaning up : garbage-free reversible circuits by design languages. / Thomsen, Michael Kirkedal; Axelsen, Holger Bock; Glück, Robert.

    2012 International Symposium on Electronic System Design (ISED). IEEE, 2013. s. 6-10.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  15. Udgivet

    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. red. / Robert Glück; Tetsuo Yokoyama. Springer, 2013. s. 171-182.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Forrige 1 2 3 Næste

ID: 12085624