Torben Ægidius Mogensen

Torben Ægidius Mogensen

Lektor

Medlem af:

    ORCID: 0000-0003-4862-9193

    Udgivelsesår:
    Alle
    1 - 9 ud af 9Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2022
    2. Udgivet

      Hermes: A reversible language for lightweight encryption

      Mogensen, Torben Ægidius, 2022, I: Science of Computer Programming. 215, 26 s., 102746.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    3. 2018
    4. Udgivet

      Reversible Garbage Collection for Reversible Functional Languages

      Mogensen, Torben Ægidius, jul. 2018, I: New Generation Computing. 36, 3, s. 203-232

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    5. 2014
    6. 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    7. Udgivet

      Garbage-free reversible multipliers for arbitrary constants

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    8. 2000
    9. Udgivet

      Glossary for Partial Evaluation and Related Topics

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    10. Udgivet

      Lienar-Time Self-Interpretation of the Pure Lambda Calculus

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    11. 1999
    12. Udgivet

      Tractable Constraints in Finite Semilattices

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    13. 1994
    14. Udgivet

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

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    15. 1992
    16. Udgivet

      Efficient Self-Interpretation in Lambda Calculus

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    ID: 3086