Michael Kirkedal Thomsen

Publikation

Publikationer pr. år 1991 2012 2013 2018

• 15 Konferencebidrag i proceedings
• 7 Tidsskriftartikel
• 2 Konferenceartikel
• 1 Rapport
• 1 Mere
  • 1 Ph.d.-afhandling

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2018

  CoreFun: A typed functional reversible core language

  Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, M. K., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Functional programming 100%
  • High level languages 93%
  • Sugars 91%
  • Syntactics 77%
  • Semantics 51%
  4 Citationer (Scopus)

• Encryption and reversible computations: Work-in-progress paper

  Táborský, D., Larsen, K. F. & Thomsen, M. K., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Cryptography 100%
  • Side channel attack 37%
  2 Citationer (Scopus)
• 2017

  An automated approach for generating and checking control logic for reversible hardware description language-based designs

  Wille, R., Keszocze, O., Othmer, L., Thomsen, M. K. & Drechsler, R., dec. 2017, I: Journal of Low Power Electronics. 13, 4, s. 633-641 9 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  • Computer hardware description languages 100%
  • Flow control 68%
  • Networks (circuits) 26%
  • Semantics 16%

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

  Wille, R., Keszocze, O., Othmer, L., Thomsen, M. K. & 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Computer hardware description languages 100%
  • Flow control 68%
  • Networks (circuits) 52%
  • Semantics 16%

• Hardness of deriving invertible sequences from finite state machines

  Hierons, R. M., Mousavi, M. R., Thomsen, M. K. & 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Finite automata 100%
  • Hardness 72%
  • Computational complexity 37%
  • Specifications 29%
• 2016

  Initial ideas for automatic design and verification of control logic in reversible HDLs: work in progress report

  Wille, R., Keszocze, O., Othmer, L., Thomsen, M. K. & 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Flow control 100%
  • Semantics 35%
  • Networks (circuits) 28%
  1 Citationer (Scopus)
• 2014

  Designing garbage-free reversible implementations of the integer cosine transform

  De Vos, A., Burignat, S., Glück, R., Mogensen, T. Æ., Axelsen, H. B., Thomsen, M. K., Rotenberg, E. & Yokoyama, T., 1 okt. 2014, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 s., 11.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Cosine transforms 100%
  • Inverse transforms 83%
  • Linear transformations 83%
  • Computer hardware 38%
  • Networks (circuits) 36%
  1 Citationer (Scopus)

• Upper bounds for reversible circuits based on Young subgroups

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Libraries 100%
  • Subgroup 91%
  • Upper bound 89%
  • Networks (circuits) 75%
  • Polarity 57%
  10 Citationer (Scopus)
• 2013

  Garbage-free reversible integer multiplication with constants of the form 2^k±2^l±1

  Axelsen, H. B. & Thomsen, M. K., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Networks (circuits) 100%
  • Logic circuits 69%

• Garbageless reversible implementation of integer linear transformations

  Burignat, S., Vermeirsch, K., De Vos, A. & Thomsen, M. K., 2013, Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Glück, R. & Yokoyama, T. (red.). Springer, s. 160-170 11 s. (Lecture notes in computer science, Bind 7581).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Linear transformations 100%
  • Inverse transforms 50%
  • Encapsulation 44%
  • Networks (circuits) 43%
  • Computer hardware 23%
  5 Citationer (Scopus)

• Strength of the reversible, garbage-free 2^k ± 1 multiplier

  Rotenberg, E., Cranch, J., Thomsen, M. K. & 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. (red.). Springer, s. 46-57 12 s. (Lecture notes in computer science, Bind 7948).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Multiplier 100%
  • Cascade 67%
  • Multiplication 52%
  • Table 14%
  • Unknown 10%

• White dots do matter: rewriting reversible logic circuits

  Soeken, M. & Thomsen, M. K., 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (red.). Springer, s. 196-208 13 s. (Lecture notes in computer science, Bind 7948).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Logic circuits 100%
  • Networks (circuits) 48%
  • Quantum electronics 46%
  • Computer aided design 24%
  • Data structures 24%
  17 Citationer (Scopus)
• 2012

  A functional language for describing reversible logic

  Thomsen, M. K., 2012, Proceedings of the 2012 Forum on Specification and Design Languages. Morawiec, A. & Hinderscheit, J. (red.). IEEE, s. 135-142 8 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Logic circuits 100%
  • High level languages 54%
  • Networks (circuits) 48%
  • Adders 47%
  • Wire 32%
  20 Citationer (Scopus)

• A reversible processor architecture and its reversible logic design

  Thomsen, M. K., Axelsen, H. B. & Glück, R., 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (red.). Springer, s. 30-42 13 s. (Lecture notes in computer science, Bind 7165).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Logic design 100%
  • Computer programming languages 23%
  14 Citationer (Scopus)

• Cleaning up: garbage-free reversible circuits by design languages

  Thomsen, M. K., Axelsen, H. B. & Glück, R., 1 jan. 2012, 2012 International Symposium on Electronic System Design (ISED). IEEE, s. 6-10 5 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Logic circuits 100%
  • Cleaning 82%
  • Computer programming languages 79%
  • Networks (circuits) 48%
  1 Citationer (Scopus)

• Describing and optimizing reversible logic using a functional language

  Thomsen, M. K., 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. (red.). Springer, s. 148–163 16 s. (Lecture notes in computer science, Bind 7257).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Logic circuits 100%
  • Networks (circuits) 96%
  • Semantics 59%
  7 Citationer (Scopus)

• Design of Reversible Computing Systems: Logic, Languages, and Circuits

  Carøe, M. K., 2012, Faculty of Science, University of Copenhagen. 149 s.

  Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling

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

  Thomsen, M. K., 2012, Department of Computer Science, University of Copenhagen. 28 s. (Koebenhavns Universitet. Datalogisk Institut. Rapport; Nr. 2012-03).

  Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  1102 Downloads (Pure)

• Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits

  Burignat, S., Thomsen, M. K., Klimczak, M., Olczak, M. & De Vos, A., 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (red.). Springer, s. 112-122 11 s. (Lecture notes in computer science, Bind 7165).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Transistors 100%
  • Networks (circuits) 64%
  • Field programmable gate arrays (FPGA) 47%
  • Digital circuits 32%
  5 Citationer (Scopus)

• Reversible implementation of a discrete integer linear transformation

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

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  • Linear transformations 100%
  • Linear transformation 81%
  • Haar Wavelet 51%
  • Information Processing 49%
  • Hardware 48%
  9 Citationer (Scopus)
• 2010

  Reversible arithmetic logic unit for quantum arithmetic

  Thomsen, M. K., Glück, R. & Axelsen, H. B., 24 sep. 2010, I: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 s., 382002.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • arithmetic and logic units 100%
  • Logic 47%
  • Unit 41%
  • garbage 30%
  • Shape Design 27%
  67 Citationer (Scopus)
• 2009

  MicroPower - Towards Low-power Microprocessors with Reversible Computing

  Axelsen, H. B., Glück, R., De Vos, A. & Thomsen, M. K., 2009, I: ERCIM News. 79, s. 20-21 2 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling

  • Microprocessor chips 100%
  • Electric power utilization 54%
  • Hearing aids 48%
  • Computer science 37%
  • Heat losses 36%

• Parallelization of Reversible Ripple-carry Adders

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Ripple 100%
  • Parallelization 85%
  • Adders 75%
  • Logic 54%
  • Quantum Computing 23%
  16 Citationer (Scopus)
• 2008

  Optimized reversible binary-coded decimal adders

  Thomsen, M. K. & Glück, R., 2008, I: Journal of Systems Architecture. 54, 7, s. 697-706 9 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Adders 100%
  • Logic Synthesis 30%
  • Logic circuits 26%
  • Networks (circuits) 18%
  • Delay circuits 15%
  43 Citationer (Scopus)

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

  Thomsen, M. K. & 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. (red.). Springer, s. 228-241 14 s. (Lecture notes in computer science; Nr. 5204).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Adders 100%
  • Delay circuits 18%
  • Logic circuits 14%
  • Networks (circuits) 14%
  • Transistors 11%
  3 Citationer (Scopus)
• 1991

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

  Nielsen, O. H., Ahnfelt-Rønne, I., Thomsen, M. K., Kissmeyer, A. M. & Langholz, E., mar. 1991, I: Prostaglandins, Leukotrienes & Essential Fatty Acids. 42, 3, s. 181-4 4 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • SR 2640 100%
  • Leukotriene E4 64%
  • Leukotriene D4 61%
  • Leukotriene 58%
  • Leukotrienes 53%
  12 Citationer (Scopus)