Torben Ægidius Mogensen

Torben Ægidius Mogensen

Associate Professor

Member of:

    ORCID: 0000-0003-4862-9193

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

      A comparison of well-quasi orders on trees

      Mogensen, Torben Ægidius, 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 30-40 11 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

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

    2. Published

      An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244

      Mogensen, Torben Ægidius, 2001, publisher. Springer, p. 205-213

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

    3. Published

      Basics of Compiler Design

      Mogensen, Torben Ægidius, 2008, Extended ed. Lulu.com. 277 p.

      Research output: Book/Report › Book › Education

    4. Published

      Basics of Compiler Design, Kursusbog 5 Dat1E

      Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 p.

      Research output: Book/Report › Book › Education

    5. Published

      Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition

      Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 p.

      Research output: Book/Report › Book › Research

    6. Published

      Basics of Compiler Design, Kususbog 6 til Dat1E

      Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 p.

      Research output: Book/Report › Book › Education

    7. Published

      Data structures and dynamic memory management in reversible languages

      Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).

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

    8. Published

      Den digitale revolution: fortællinger fra datalogiens verden

      Naur, P., Vinter, B., Hansen, Klaus, Mogensen, Torben Ægidius, Erleben, Kenny, Pisinger, D., Nielsen, Mads, Kringelbach, M., Pedersen, E. W., Blume, P., Helles, Rasmus, Andersen, Tariq Osman (ed.), Bansler, Jørgen P. (ed.), Clausen, H. R. (ed.), Jensen, I. H. (ed.) & Zachariasen, M. (ed.), 2010, København: Datalogisk Institut. 156 p.

      Research output: Book/Report › Anthology › Communication

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

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

    Previous 1 2 3 4 5 6 Next

    ID: 3086