Torben Ægidius Mogensen

Torben Ægidius Mogensen

Associate Professor

Member of:

    ORCID: 0000-0003-4862-9193

    Publication year:
    All
    31 - 40 out of 54Page size: 10
    Sort by: Title
    1. Published

      Lienar-Time Self-Interpretation of the Pure Lambda Calculus

      Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (3), p. 217-237

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

    2. Published

      Introduction to compiler design

      Mogensen, Torben Ægidius, 2011, Springer. 204 p.

      Research output: Book/Report › Book › Education

    3. Published

      Inherited Limits

      Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, p. 1-12

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

    4. Published

      Implementing reversible object-oriented language features on reversible machines

      Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).

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

    5. Published

      Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)

      Mogensen, Torben Ægidius, Jan 2019, Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer VS, p. 243-251 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11964 LNCS).

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

    6. Published

      Hermes: A reversible language for lightweight encryption

      Mogensen, Torben Ægidius, 2022, In: Science of Computer Programming. 215, 26 p., 102746.

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

    7. Published

      Hermes: A Language for Light-Weight Encryption

      Mogensen, Torben Ægidius, 2020, Reversible Computation - 12th International Conference, RC 2020, Proceedings. Lanese, I. & Rawski, M. (eds.). Springer, p. 93-110 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12227 LNCS).

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

    8. Published

      Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

      Mogensen, Torben Ægidius, 1999, publisher. p. 19-24

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

    9. Published

      Glossary for Partial Evaluation and Related Topics

      Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368

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

    10. Published

      Garbage-free reversible multipliers for arbitrary constants

      Mogensen, Torben Ægidius, 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 18 p., 12.

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

    Previous 1 2 3 4 5 6 Next

    ID: 3086