Terminology. - Torben Æ. Mogensen; Carsten Kehler Holst (New Gener. Comput., 1988)

Separating Binding Times in Language Specifications. - Torben Æ. Mogensen (FPCA, 1989)

Binding Time Analysis for Polymorphically Typed Higher Order Languages. - Torben Æ. Mogensen (TAPSOFT, Vol.2, 1989)

A Backwards Analysis for Compile-time Garbage Collection. - Thomas P. Jensen; Torben Æ. Mogensen (ESOP, 1990)

A Self-Applicable Partial Evaluator for the Lambda Calculus. - Neil D. Jones; Carsten K. Gomard; Anders Bondorf; Olivier Danvy; Torben Æ. Mogensen (ICCL, 1990)

Logimix: A Self-Applicable Partial Evaluator for Prolog. - Torben Æ. Mogensen; Anders Bondorf (LOPSTR, 1992)

Self-applicable Partial Evaluation for Pure Lambda Calculus. - Torben Æ. Mogensen (PEPM, 1992)

Efficient Self-Interpretations in lambda Calculus. - Torben Æ. Mogensen (J. Funct. Program., 1992)

Constructor Spezialization. - Torben Æ. Mogensen (PEPM, 1993)

WORM-2DPDAs: An Extension to 2DPDAs that can be Simulated in Linear Time. - Torben Æ. Mogensen (Inf. Process. Lett., 1994)

Self-applicable Online Partial Evaluation of Pure Lambda Calculus. - Torben Æ. Mogensen (PEPM, 1995)

Evolution of Partial Evaluators: Removing Inherited Limits. - Torben Æ. Mogensen (Dagstuhl Seminar on Partial Evaluation, 1996)

A Semantics-Based Determinacy Analysis for Prolog with Cut. - Torben Æ. Mogensen (Ershov Memorial Conference, 1996)

Types for 0, 1 or Many Uses. - Torben Æ. Mogensen (Implementation of Functional Languages, 1997)

Partial Evaluation: Concepts and Applications. - Torben Æ. Mogensen (Partial Evaluation, 1998)

Inherited Limits. - Torben Æ. Mogensen (ACM Comput. Surv., 1998)

Gödelization in the Untyped lambda-Calculus. - Torben Æ. Mogensen (PEPM, 1999)

Tractable Constraints in Finite Semilattices. - Jakob Rehof; Torben Æ. Mogensen (Sci. Comput. Program., 1999)

Linear-Time Self-Interpretation of the Pure Lambda Calculus. - Torben Æ. Mogensen (High. Order Symb. Comput., 2000)

Glossary for Partial Evaluation and Related Topics. - Torben Æ. Mogensen (High. Order Symb. Comput., 2000)

An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus. - Torben Æ. Mogensen (Ershov Memorial Conference, 2001)

Linear Types for Cashflow Reengineering. - Torben Æ. Mogensen (Ershov Memorial Conference, 2003)

Roll : A Language for Specifying Die-Rolls. - Torben Æ. Mogensen (PADL, 2003)

Semi-inversion of Guarded Equations. - Torben Æ. Mogensen (GPCE, 2005)

Report on an Implementation of a Semi-inverter. - Torben Æ. Mogensen (Ershov Memorial Conference, 2006)

Semi-inversion of functional parameters. - Torben Æ. Mogensen (PEPM, 2008)

Planet Map Generation by Tetrahedral Subdivision. - Torben Æ. Mogensen (Ershov Memorial Conference, 2009)

Troll, a language for specifying dice-rolls. - Torben Æ. Mogensen (SAC, 2009)

Partial Evaluation of Janus Part 2: Assertions and Procedures. - Torben Æ. Mogensen (Ershov Memorial Conference, 2011)

Partial evaluation of the reversible language janus. - Torben Æ. Mogensen (PEPM, 2011)

Introduction to Compiler Design. - Torben Ægidius Mogensen (Springer, 2011)

Garbage-Free Reversible Constant Multipliers for Arbitrary Integers. - Torben Æ. Mogensen (RC, 2013)

A Comparison of Well-Quasi Orders on Trees. - Torben Æ. Mogensen (Festschrift for Dave Schmidt, 2013)

Supercompilation for Datatypes. - Torben Ægidius Mogensen (Ershov Memorial Conference, 2014)

Reference Counting for Reversible Languages. - Torben Ægidius Mogensen (RC, 2014)

Garbage-Free Reversible Multipliers for Arbitrary Constants. - Torben Ægidius Mogensen (ACM J. Emerg. Technol. Comput. Syst., 2014)

Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform. - Alexis De Vos; Stéphane Burignat; Robert Glück; Torben Ægidius Mogensen; Holger Bock Axelsen; Michael Kirkedal Thomsen; Eva Rotenberg; Tetsuo Yokoyama (ACM J. Emerg. Technol. Comput. Syst., 2014)

RSSA: A Reversible SSA Form. - Torben Ægidius Mogensen (Ershov Memorial Conference, 2015)

Garbage Collection for Reversible Functional Languages. - Torben Ægidius Mogensen (RC, 2015)

Implementing Reversible Object-Oriented Language Features on Reversible Machines. - Tue Haulund; Torben Ægidius Mogensen; Robert Glück (RC, 2017)

Introduction to Compiler Design, Second Edition - Torben Ægidius Mogensen (Springer, 2017)

Data Structures and Dynamic Memory Management in Reversible Languages. - Martin Holm Cservenka; Robert Glück; Tue Haulund; Torben Ægidius Mogensen (RC, 2018)

Garbage-Free Reversible Multiplication and Division. - Torben Ægidius Mogensen (RC, 2018)

Reversible Garbage Collection for Reversible Functional Languages. - Torben Ægidius Mogensen (New Gener. Comput., 2018)

Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress). - Torben Ægidius Mogensen (Ershov Informatics Conference, 2019)

Reversible In-Place Carry-Lookahead Addition with Few Ancillae. - Torben Ægidius Mogensen (RC, 2019)

Hermes: A Language for Light-Weight Encryption. - Torben Ægidius Mogensen (RC, 2020)

Software and Reversible Systems: A Survey of Recent Activities. - Claudio Antares Mezzina; Rudolf Schlatte; Robert Glück; Tue Haulund; James Hoey; Martin Holm Cservenka; Ivan Lanese; Torben Æ. Mogensen; Harun Siljak; Ulrik Pagh Schultz; Irek Ulidowski (Selected Results of the COST Action IC1405, 2020)

Reversible Functional Array Programming. - Torben Ægidius Mogensen (RC, 2021)

Fast Control for Reversible Processors. - Torben Ægidius Mogensen (RC, 2022)

Hermes: A reversible language for lightweight encryption. - Torben Ægidius Mogensen (Sci. Comput. Program., 2022)

Programming Language Design and Implementation - Torben Ægidius Mogensen (Springer, 2022)

Introduction to Compiler Design, Third Edition - Torben Ægidius Mogensen (Springer, 2024)

Generation of Zoomable maps with Rivers and Fjords. - Torben Æ. Mogensen; Emil N. Isenbecker (CoRR, 2025)