Torben Ægidius Mogensen

Torben Ægidius Mogensen

Associate Professor

Member of:

    ORCID: 0000-0003-4862-9193

    Publication year:
    All
    41 - 50 out of 54Page size: 10
    Sort by: Title
    1. 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

    2. Published

      Reversible in-place carry-lookahead addition with few ancillae

      Mogensen, Torben Ægidius, 2019, Reversible Computation: 11th International Conference, RC 2019, Proceedings. Thomsen, M. K. & Soeken, M. (eds.). Springer, p. 224-237 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11497 LNCS).

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

    3. Published

      Roll: A Language for Specifying Die-Rolls

      Mogensen, Torben Ægidius, 2002, publisher. Springer, p. 15

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

    4. Published

      Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

      Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, p. 39-44

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

    5. Published

      Self-applicable Partial Evaluation for Pure Lambda Calculus

      Mogensen, Torben Ægidius, 1992, publisher. p. 116-121

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

    6. Published

      Semi-Inversion of Functional Parameters

      Mogensen, Torben Ægidius, 2008, PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. Glück, R. & de Moor, O. (eds.). Association for Computing Machinery, p. 21-29 9 p.

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

    7. Published

      Semi-Inversion of Guarded Equations

      Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 ed. Berlin: Springer, p. 189-204 16 p.

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

    8. Published

      Software

      Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, p. 1-5

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

    9. Published

      Software and reversible systems: A survey of recent activities

      Mezzina, C. A., Schlatte, R., Glück, Robert, Haulund, T., Hoey, J., Holm Cservenka, M., Lanese, I., Mogensen, Torben Ægidius, Siljak, H., Schultz, U. P. & Ulidowski, I., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 41-59 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

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

    10. Published

      Supercompilation for datatypes

      Mogensen, Torben Ægidius, 2015, Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 232-247 16 p. (Lecture notes in computer science, Vol. 8974).

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

    Previous 1 2 3 4 5 6 Next

    ID: 3086