Torben Ægidius Mogensen

Research output

Research output per year 1992 1992 1998 1999 2000 2014 2018 2018

• 23 Article in proceedings
• 8 Journal article
• 6 Book chapter
• 5 Book
• 2 More
  • 2 Anthology

Research output per year

Research output per year

Search results

• 2018

  Data structures and dynamic memory management in reversible languages

  Cservenka, M. H., Glück, R., Haulund, T. & Mogensen, T. Æ., 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

  • Data structures 100%
  • Data storage equipment 73%
  • Object oriented programming 46%
  • Computer programming languages 36%
  3 Citations (Scopus)

• Garbage-Free Reversible Multiplication and Division

  Mogensen, T. Æ., 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 proceeding › Article in proceedings › Research › peer-review

  • Division 100%
  • Multiplication 83%
  • Circuit Design 76%
  • Multiplier 68%
  • Output 38%
  1 Citation (Scopus)

• Reversible Garbage Collection for Reversible Functional Languages

  Mogensen, T. A., 1 Jul 2018, In: New Generation Computing. 36, 3, p. 203-232

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Garbage Collection 100%
  • Data structures 49%
  • Pattern matching 45%
  • Language 43%
  • Managers 34%
  2 Citations (Scopus)
• 2017

  Implementing reversible object-oriented language features on reversible machines

  Haulund, T., Mogensen, T. Æ. & Glück, R., 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 proceeding › Article in proceedings › Research › peer-review

  • Polymorphism 100%
  • Object oriented programming 91%
  • Computer hardware 46%
  8 Citations (Scopus)
• 2016

  RSSA: a reversible SSA form

  Mogensen, T. Æ., 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 proceeding › Article in proceedings › Research › peer-review

  • programming language 100%
  1 Citation (Scopus)
• 2015

  Garbage collection for reversible functional languages

  Mogensen, T. Æ., 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

  6 Citations (Scopus)

• Supercompilation for datatypes

  Mogensen, T. Æ., 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
• 2014

  Designing garbage-free reversible implementations of the integer cosine transform

  De Vos, A., Burignat, S., Glück, R., Mogensen, T. Æ., Axelsen, H. B., Thomsen, M. K., Rotenberg, E. & Yokoyama, T., 1 Oct 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

  • Cosine transforms 100%
  • Inverse transforms 83%
  • Linear transformations 83%
  • Computer hardware 38%
  • Networks (circuits) 36%
  1 Citation (Scopus)

• Garbage-free reversible multipliers for arbitrary constants

  Mogensen, T. Æ., 1 Oct 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

  • Transistors 100%
  • Costs 67%
  • Networks (circuits) 48%
  1 Citation (Scopus)

• Reference counting for reversible languages

  Mogensen, T. Æ., 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

  6 Citations (Scopus)
• 2013

  A comparison of well-quasi orders on trees

  Mogensen, T. Æ., 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

  • Computational complexity 100%
  1 Citation (Scopus)

  61 Downloads (Pure)

• Garbage-free reversible constant multipliers for arbitrary integers

  Mogensen, T. Æ., 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

  4 Citations (Scopus)
• 2012

  Partial evaluation of Janus part 2: assertions and procedures

  Mogensen, T. Æ., 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 Citations (Scopus)
• 2011

  Introduction to compiler design

  Mogensen, T. Æ., 2011, Springer. 204 p.

  Research output: Book/Report › Book › Education
• 2010

  Den digitale revolution: fortællinger fra datalogiens verden

  Naur, P., Vinter, B., Hansen, K., Mogensen, T. Æ., Erleben, K., Pisinger, D., Nielsen, M., Kringelbach, M., Pedersen, E. W., Blume, P., Helles, R., Andersen, T. O. (ed.), Bansler, J. 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

  211 Downloads (Pure)

• Planet map generation by tetrahedral subdivision

  Mogensen, T. Æ., 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 proceeding › Article in proceedings › Research › peer-review

  • Planets 100%
  4625 Downloads (Pure)
• 2009

  Troll, a Language for specifying Dice-rolls

  Mogensen, T. Æ., 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 proceeding › Article in proceedings › Research › peer-review

  • Internet 100%
  1 Citation (Scopus)

  3904 Downloads (Pure)
• 2008

  Basics of Compiler Design

  Mogensen, T. Æ., 2008, Extended ed. Lulu.com. 277 p.

  Research output: Book/Report › Book › Education

• Semi-Inversion of Functional Parameters

  Mogensen, T. Æ., 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

  4 Citations (Scopus)
• 2006

  Report on an Implementation of a Semi-Inverter

  Mogensen, T. Æ., 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 proceeding › Article in proceedings › Research › peer-review
• 2005

  Report on an Implementation of a Semi-Inverter

  Mogensen, T. Æ., 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 proceeding › Article in proceedings › Research

• Semi-Inversion of Guarded Equations

  Mogensen, T. Æ., 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

  10 Citations (Scopus)
• 2003

  Linear Types for Cashflow Reengineering

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

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

  1 Citation (Scopus)
• 2002

  Roll: A Language for Specifying Die-Rolls

  Mogensen, T. Æ., 2002, publisher. Springer, p. 15

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

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

  Mogensen, T. Æ., 2001, publisher. Springer, p. 205-213

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

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

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

  Research output: Book/Report › Book › Research

• Glossary for Partial Evaluation and Related Topics

  Mogensen, T. Æ., 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368

  Research output: Contribution to journal › Journal article › Research › peer-review

  13 Citations (Scopus)

• Lienar-Time Self-Interpretation of the Pure Lambda Calculus

  Mogensen, T. Æ., 2000, In: Higher-Order and Symbolic Computation. Vol.13 (3), p. 217-237

  Research output: Contribution to journal › Journal article › Research › peer-review

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

  Mogensen, T. Æ., 2000, publisher. Springer, p. 128-142

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

  Basics of Compiler Design, Kursusbog 5 Dat1E

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

  Research output: Book/Report › Book › Education

• Basics of Compiler Design, Kususbog 6 til Dat1E

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

  Research output: Book/Report › Book › Education

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

  Mogensen, T. Æ., 1999, publisher. p. 19-24

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

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

  Hatcliff, J., Mogensen, T. Æ. & Thiemann, P., 1999, Springer.

  Research output: Book/Report › Anthology › Research › peer-review

• Tractable Constraints in Finite Semilattices

  Rehof, N. J. & Mogensen, T. Æ., 1999, In: Science of Computer Programming. Vol.35, no.2-3, November, p. 191-221

  Research output: Contribution to journal › Journal article › Research › peer-review

  32 Citations (Scopus)
• 1998

  Inherited Limits

  Mogensen, T. Æ., 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 proceeding › Book chapter › Research

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

  Mogensen, T. Æ., 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 proceeding › Book chapter › Research

• Partial evaluation Concepts and Applications

  Mogensen, T. Æ., 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 proceeding › Book chapter › Research

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

  Mogensen, T. Æ., 1998, publisher. Springer, p. 112-122

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

  Partial evaluation: introduction what is partial evaluation?

  Mogensen, T. Æ. & 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 proceeding › Book chapter › Research › peer-review
• 1995

  Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

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

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

  13 Citations (Scopus)
• 1994

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

  Mogensen, T. Æ., 1994, In: Information Processing Letters.

  Research output: Contribution to journal › Journal article › Research › peer-review

  6 Citations (Scopus)
• 1992

  Efficient Self-Interpretation in Lambda Calculus

  Mogensen, T. Æ., 1992, In: Journal of Functional Programming. 2(3), p. 345-364

  Research output: Contribution to journal › Journal article › Research › peer-review

  60 Citations (Scopus)

• Logimix: a self-applicable partial evaluator for Prolog.

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

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

• Self-applicable Partial Evaluation for Pure Lambda Calculus

  Mogensen, T. Æ., 1992, publisher. p. 116-121

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