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
    1. 2011
    2. Published

      Introduction to compiler design

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

      Research output: Book/Report › Book › Education

    3. 2012
    4. Published

      Partial evaluation of Janus part 2: assertions and procedures

      Mogensen, Torben Ægidius, 2012, Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 289-301 13 p. (Lecture notes in computer science, Vol. 7162).

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

    5. 2013
    6. 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

    7. Published

      Garbage-free reversible constant multipliers for arbitrary integers

      Mogensen, Torben Ægidius, 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 70-83 14 p. (Lecture notes in computer science, Vol. 7948).

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

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

      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

    11. Published

      Reference counting for reversible languages

      Mogensen, Torben Ægidius, 2014, Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings. Yamashita, S. & Minato, S. (eds.). Springer, p. 82-94 13 p. (Lecture notes in computer science, Vol. 8507).

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

    12. 2015
    13. Published

      Garbage collection for reversible functional languages

      Mogensen, Torben Ægidius, 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 79-94 16 p. (Lecture notes in computer science, Vol. 9138).

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

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

    15. 2016
    16. Published

      Programming (Computers)

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

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

    Previous 1 2 3 4 5 6 Next

    ID: 3086