Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Lektor

ORCID: 0000-0003-0922-3609

Udgivelsesår:
Alle
1 - 9 ud af 9Pr. side: 10
Sortering: Udgivelsesdato
  1. 2023
  2. Udgivet

    Branching execution symmetry in Jeopardy by available implicit arguments analysis

    Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, I: NIKT: Norsk IKT-konferanse for forskning og utdanning. 2022, 1, s. 1-14

    Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

  3. 2017
  4. 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 tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

  5. 2014
  6. 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  7. 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  8. 2012
  9. Udgivet

    Reversible implementation of a discrete integer linear transformation

    De Vos, A., Burignat, S. & Thomsen, Michael Kirkedal, 2012, I: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, s. 25-35 11 s.

    Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

  10. 2010
  11. Udgivet

    Reversible arithmetic logic unit for quantum arithmetic

    Thomsen, Michael Kirkedal, Glück, Robert & Axelsen, H. B., 2010, I: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 s., 382002.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  12. 2009
  13. Udgivet

    Parallelization of Reversible Ripple-carry Adders

    Thomsen, Michael Kirkedal & Axelsen, H. B., 2009, I: Parallel Processing Letters. 19, 2, s. 205-222 18 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  14. 2008
  15. Udgivet

    Optimized Reversible Binary-Coded Decimal Adders

    Thomsen, Michael Kirkedal & Glück, Robert, 2008, I: Journal of Systems Architecture. 54, 7, s. 697-706 9 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  16. 1991
  17. Udgivet

    Effect of the leukotriene LTD4/LTE4 antagonist, SR 2640, in ulcerative colitis: an open clinical study

    Nielsen, Ole Haagen, Ahnfelt-Rønne, I., Thomsen, Michael Kirkedal, Kissmeyer, A. M. & Langholz, Ebbe, mar. 1991, I: Prostaglandins, Leukotrienes & Essential Fatty Acids. 42, 3, s. 181-4 4 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

ID: 12085624