Michael Kirkedal Thomsen
Michael Kirkedal Thomsen

Adjunkt


  1. 2018
  2. Udgivet

    CoreFun: A typed functional reversible core language

    Jacobsen, P. A. H., Kaarsgaard, Robin & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 304-321 (Lecture notes in computer science, Bind 11106).

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

  3. Udgivet

    Encryption and reversible computations: Work-in-progress paper

    Táborský, D., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 331-338 (Lecture notes in computer science, Bind 11106).

    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, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., dec. 2017, I : Journal of Low Power Electronics. 13, 4, s. 633-641 9 s.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  6. Udgivet

    Generating and checking control logic in the HDL-based design of reversible circuits

    Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., 2017, 2016 Sixth International Symposium on Embedded Computing and System Design (ISED). IEEE, s. 7-12 6 s. 7977045

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

  7. Udgivet

    Hardness of deriving invertible sequences from finite state machines

    Hierons, R. M., Mousavi, M. R., Thomsen, Michael Kirkedal & Türker, U. C., 2017, 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. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (red.). Springer, s. 147-160 14 s. (Lecture notes in computer science, Bind 10139).

    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, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (red.). Springer, s. 160-166 7 s. (Lecture notes in computer science, Bind 9720).

    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, A., Burignat, S., Glück, Robert, Mogensen, Torben Ægidius, Axelsen, H. B., Thomsen, Michael Kirkedal, Rotenberg, E. & Yokoyama, T., 2014, I : A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 s., 11.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  12. Udgivet

    Upper bounds for reversible circuits based on Young subgroups

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  13. 2013
  14. Udgivet

    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, s. 6-10 5 s.

    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, 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. (red.). Springer, s. 171-182 12 s. (Lecture notes in computer science, Bind 7581).

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

Forrige 1 2 3 Næste

ID: 12085624