Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Lektor


  1. Udgivet

    A functional language for describing reversible logic

    Thomsen, Michael Kirkedal, 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  2. Udgivet

    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. (red.). Springer, s. 30-42 13 s. (Lecture notes in computer science, Bind 7165).

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

  3. 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 tidsskriftKonferenceartikelfagfællebedømt

  4. 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 tidsskriftKonferenceartikelfagfællebedømt

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

  6. Udgivet

    CoreFun: A typed functional reversible core language

    Jacobsen, P. A. H., Kaarsgaard, R. & 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

  7. Udgivet

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

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

  8. Udgivet

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

    Thomsen, Michael Kirkedal, 2012, Faculty of Science, University of Copenhagen. 149 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

  9. Udgivet

    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 s. (Koebenhavns Universitet. Datalogisk Institut. Rapport; Nr. 2012-03).

    Publikation: Bog/antologi/afhandling/rapportRapport

  10. 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 tidsskriftTidsskriftartikelfagfællebedømt

Forrige 1 2 3 4 Næste

ID: 12085624