Torben Ægidius Mogensen

Torben Ægidius Mogensen

Associate Professor


  1. 2019
  2. Published

    Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)

    Mogensen, Torben Ægidius, Jan 2019, Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer VS, p. 243-251 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11964 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. 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 proceedingArticle in proceedingsResearchpeer-review

  4. 2018
  5. Published

    Garbage-Free Reversible Multiplication and Division

    Mogensen, Torben Ægidius, 22 Aug 2018, Reversible Computetion: 10th International Conference, RC 2018 Leicester, UK, September 12–14, 2018 Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 253-268 (Lecture Notes in Computer Science, Vol. 11106).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  6. 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 journalJournal articleResearchpeer-review

  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 proceedingArticle in proceedingsResearchpeer-review

  8. 2017
  9. Published

    Implementing reversible object-oriented language features on reversible machines

    Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  10. 2016
  11. Published

    RSSA: a reversible SSA form

    Mogensen, Torben Ægidius, 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (eds.). Springer, p. 203-217 15 p. (Lecture notes in computer science, Vol. 9609).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

  15. 2014
  16. 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 journalJournal articleResearchpeer-review

  17. 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 journalJournal articleResearchpeer-review

  18. 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 proceedingArticle in proceedingsResearchpeer-review

  19. 2013
  20. 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 proceedingArticle in proceedingsResearch

  21. 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 proceedingArticle in proceedingsResearchpeer-review

  22. 2012
  23. 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 proceedingArticle in proceedingsResearchpeer-review

  24. 2011
  25. Published

    Introduction to compiler design

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

    Research output: Book/ReportBookEducation

  26. 2010
  27. Published

    Den digitale revolution: fortællinger fra datalogiens verden

    Naur, P., Vinter, Brian, Hansen, K., Mogensen, Torben Ægidius, Erleben, Kenny, Pisinger, D., Nielsen, Mads, Kringelbach, M., Pedersen, E. W., Blume, Peter, 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/ReportAnthologyCommunication

  28. Published

    Planet map generation by tetrahedral subdivision

    Mogensen, Torben Ægidius, 2010, Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 306-318 13 p. (Lecture notes in computer science, Vol. 5947).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  29. 2009
  30. Published

    Troll, a Language for specifying Dice-rolls

    Mogensen, Torben Ægidius, 2009, Proceedings of the 2009 ACM symposium on Applied Computing: Programming Language Track. Association for Computing Machinery, p. 1910-1915 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  31. 2008
  32. Published

    Basics of Compiler Design

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

    Research output: Book/ReportBookEducation

  33. 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 proceedingArticle in proceedingsResearchpeer-review

  34. 2006
  35. Published

    Report on an Implementation of a Semi-Inverter

    Mogensen, Torben Ægidius, 2006, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 322-334 13 p. (Lecture notes in computer science; No. 4378).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  36. 2005
  37. Published

    Report on an Implementation of a Semi-Inverter

    Mogensen, Torben Ægidius, 2005, Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software.. 05/07 ed. Museum Tusculanum, p. 54-62 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  38. 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 proceedingBook chapterResearch

  39. 2003
  40. Published

    Linear Types for Cashflow Reengineering

    Mogensen, Torben Ægidius, 2003, PSI\ ' 03. Lecture Notes. 2890 ed. Berlin: Springer, p. 13-21

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  41. 2002
  42. Published

    Roll: A Language for Specifying Die-Rolls

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

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  43. 2001
  44. 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 proceedingArticle in proceedingsResearchpeer-review

  45. 2000
  46. 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/ReportBookResearch

  47. 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 journalJournal articleResearchpeer-review

  48. 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 journalJournal articleResearchpeer-review

  49. Published

    Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

    Mogensen, Torben Ægidius, 2000, publisher. Springer, p. 128-142

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  50. 1999
  51. Published

    Basics of Compiler Design, Kursusbog 5 Dat1E

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

    Research output: Book/ReportBookEducation

  52. Published

    Basics of Compiler Design, Kususbog 6 til Dat1E

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

    Research output: Book/ReportBookEducation

  53. Published

    Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

    Mogensen, Torben Ægidius, 1999, publisher. p. 19-24

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  54. Published

    Partial Evaluation, Practice and Theory, Lecture Notes in Computer Science, Vol. 1706

    Hatcliff, J., Mogensen, Torben Ægidius & Thiemann, P., 1999, Springer.

    Research output: Book/ReportAnthologyResearchpeer-review

  55. 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 journalJournal articleResearchpeer-review

  56. 1998
  57. Published

    Inherited Limits

    Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, p. 1-12

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  58. Published

    Normalization for a Subset of Scheme using Type Predicates (Summary)

    Mogensen, Torben Ægidius, 1998, Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Aarhus: BRICS Notes Series NS-98-1, p. 35-36

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  59. Published

    Partial evaluation Concepts and Applications

    Mogensen, Torben Ægidius, 1998, Lecture Notes for the 1998 DIKU International Summer School on Partial Evaluation: Practice and Theory Volume 1: Practice and Experience using Partial Evaluators. Datalogisk Institut, Københavns Universitet, p. 1-19

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  60. Published

    Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467

    Mogensen, Torben Ægidius, 1998, publisher. Springer, p. 112-122

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  61. 1997
  62. Published

    Partial evaluation: introduction what is partial evaluation?

    Mogensen, Torben Ægidius & Sestoft, P., 1997, Encyclopedia of computer science and technology. Kent, A. & Williams, J. G. (eds.). Suppl. 22 ed. New York: Marcel Dekker, Vol. 37. p. 247-279 33 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  63. 1995
  64. 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 proceedingArticle in proceedingsResearchpeer-review

  65. 1994
  66. 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 journalJournal articleResearchpeer-review

  67. 1992
  68. 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 journalJournal articleResearchpeer-review

  69. Published

    Logimix: a self-applicable partial evaluator for Prolog.

    Mogensen, Torben Ægidius & Bondorf, A., 1992, publisher. p. 214-227

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  70. Published

    Self-applicable Partial Evaluation for Pure Lambda Calculus

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

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

ID: 3086