Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Associate Professor

ORCID: 0000-0003-0922-3609

Publication year:
All
11 - 20 out of 31Page size: 10
Sort by: 1st author
  1. Published

    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, In: Prostaglandins, Leukotrienes & Essential Fatty Acids. 42, 3, p. 181-4 4 p.

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

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

  3. Published

    Reversible languages and incremental state saving in optimistic parallel discrete event simulation

    Schordan, M., Oppelstrup, T., Thomsen, Michael Kirkedal & Glück, Robert, 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 187-207 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

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

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

  5. Published

    Design of reversible logic circuits using standard cells: standard cells and functional programming

    Thomsen, Michael Kirkedal, 2012, Department of Computer Science, University of Copenhagen. 28 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport; No. 2012-03).

    Research output: Book/Report › Report › Research

  6. Published

    Reversible arithmetic logic unit for quantum arithmetic

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

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

  7. Published

    Parallelization of Reversible Ripple-carry Adders

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

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

  8. Published

    Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder

    Thomsen, Michael Kirkedal & Axelsen, H. B., 2008, Unconventional Computing: 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, proceedings. Calude, C. S., Costa, J. F., Freund, R., Oswald, M. & Rozenberg, G. (eds.). Springer, p. 228-241 14 p. (Lecture notes in computer science; No. 5204).

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

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

  10. Published

    Describing and optimizing reversible logic using a functional language

    Thomsen, Michael Kirkedal, 2012, Implementation and Application of Functional Languages, IFL 2011: 23rd International Symposium, IFL 2011, Lawrence, Kansas, USA, October 2011, Revised Papers. Gill, A. & Hage, J. (eds.). Springer, p. 148–163 16 p. (Lecture notes in computer science, Vol. 7257).

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

Previous 1 2 3 4 Next

ID: 12085624