Torben Ægidius Mogensen

Torben Ægidius Mogensen

Associate Professor

Member of:

    ORCID: 0000-0003-4862-9193

    Publication year:
    All
    1 - 9 out of 9Page size: 10
    1. 2022
    2. 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

    3. 2018
    4. Published

      Reversible Garbage Collection for Reversible Functional Languages

      Mogensen, Torben Ægidius, Jul 2018, In: New Generation Computing. 36, 3, p. 203-232

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

    5. 2014
    6. Published

      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, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 p., 11.

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

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

    8. 2000
    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

      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

    11. 1999
    12. Published

      Tractable Constraints in Finite Semilattices

      Rehof, N. J. & Mogensen, Torben Ægidius, 1999, In: Science of Computer Programming. Vol.35, no.2-3, November, p. 191-221

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

    13. 1994
    14. Published

      Worm-2dpdas: An extension to 2dpdas that can be simulated in linear time

      Mogensen, Torben Ægidius, 1994, In: Information Processing Letters.

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

    15. 1992
    16. Published

      Efficient Self-Interpretation in Lambda Calculus

      Mogensen, Torben Ægidius, 1992, In: Journal of Functional Programming. 2(3), p. 345-364

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

    ID: 3086